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

DOI10.2307/2275518zbMath0829.03004OpenAlexW2164077872MaRDI QIDQ4836052

No author found.

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)

Related Items (7)

Frege's theorem in a constructive setting ⋮ Zermelo and Set Theory ⋮ The Mathematical Import of Zermelo's Well-Ordering Theorem ⋮ Sets and classes as many ⋮ Zermelo and Set Theory ⋮ Closed structure ⋮ A NEGLECTED RESOLUTION OF RUSSELL’S PARADOX OF PROPOSITIONS

Cites Work

• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
• Unnamed Item

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