Graph coloring and reverse mathematics

Schmerl, J. H. (1521). Graph coloring and reverse mathematics.

Type

Unclassified

Intellectual base

Unclassified

Year

1521

DOI

10.1002/1521-3870(200010)46:4

Link

https://doi.org/10.1002/1521-3870(200010)46:4

Cited by

1 citation across 1 artifact.

Domain-specific

• Reverse mathematics
  • … formal language and base theory, coded theorem, candidate subsystem, forward proof, reversal proof, model-theoretic separations, parameter restrictions and exact equivalence claim are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:9e02dbb39e12 · see in the full table