The Classical and the ω-Complete Arithmetic

Andrzej Grzegorczyk, A. M., & Ryll-Nardzewski, C. (1958). The Classical and the ω-Complete Arithmetic.

Type

Unclassified

Intellectual base

Unclassified

Year

1958

DOI

10.2307/2964398

Link

https://doi.org/10.2307/2964398

Cited by

1 citation across 1 artifact.

Domain-specific

• Ω-complete theory
  • Omega-completeness is a metatheoretic closure property and must be distinguished from semantic completeness, syntactic completeness and omega-consistency; its implication quantifies externally over all natural numerals.

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:62cb94bc7bf8 · see in the full table