The Ω-consistency of ramified analysis

DOI10.1007/BF02025804zbMath0106.23801MaRDI QIDQ3292576

Charles Parsons

Publication date: 1962

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137761

zbMATH Keywords

ramified analysisOmega-consistency

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Gentzen reduction revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some concepts concerning formal systems of number theory
• On the Interpretation of Non-Finitist Proofs--Part I

This page was built for publication: The Ω-consistency of ramified analysis