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

DOI10.2307/2275518zbMATH Open0829.03004OpenAlexW2164077872MaRDI QIDQ4836052FDOQ4836052

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

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

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)

Cites Work

• Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Title not available (Why is that?)

Cited In (8)

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

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)