A relative consistency proof

DOI10.2307/2267646MaRDI QIDQ5825661zbMATH OpenOpenAlexFDO

Authors Joseph 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

Cites work

• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• New Foundations for Mathematical Logic
• On Zermelo's and Von Neumann's Axioms for Set Theory

Cited in

(8)

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

This page was built for publication: A relative consistency proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5825661)