A relative consistency proof

DOI10.2307/2267646zbMath0055.00404OpenAlexW2140635086MaRDI QIDQ5825661

J. R. Shoenfield

Publication date: 1954

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267646

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (7)

Predicative foundations of arithmetic ⋮ Satisfaction relations for proper classes: Applications in logic and set theory ⋮ Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Classical predicative logic-enriched type theories ⋮ Predicative logic and formal arithmetic ⋮ Bernays and Set Theory

Cites Work

• New Foundations for Mathematical Logic
• On Zermelo's and Von Neumann's Axioms for Set Theory
• Unnamed Item

This page was built for publication: A relative consistency proof