Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined

DOI10.2307/2275518MaRDI QIDQ4836052zbMATHOpenAlexFDO

Authors John L. Bell

Publication date 21 January 1996

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

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

zbMATH Keywords

many-sorted first-order logictype reducing correspondencewell- ordering theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Axiom of choice and related propositions (03E25)

Recommendations

• Zermelo’s Well-Ordering Theorem in Type Theory
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
• Zermelo and Set Theory
• Arithmetic and the theory of types

Cites work

• scientific article; zbMATH DE number 857585 (Why is no real title available?)
• Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
• Hilbert's \(\varepsilon{}\)-operator and classical logic

Cited in

(8)

• Sets and classes as many
• Closed structure
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Zermelo and Set Theory
• Zermelo’s Well-Ordering Theorem in Type Theory
• Frege's theorem in a constructive setting
• Zermelo and Set Theory
• A neglected resolution of Russell's paradox of propositions

This page was built for publication: Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined

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