On Some Fundamental Concepts of Metamathematics

Tarski, A. (1956). On Some Fundamental Concepts of Metamathematics.

Type

Unclassified

Intellectual base

Unclassified

Year

1956

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Monotonicity of entailment
  • … canonical instance directly demonstrates that for every premise sets Gamma contained in Delta and formula phi, if Gamma entails phi then Delta entails phi under the same consequence relation. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, 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:30dc5b90e925 · see in the full table