Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined
From MaRDI portal
Publication:4836052
DOI10.2307/2275518zbMath0829.03004MaRDI QIDQ4836052
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
Related Items
Frege's theorem in a constructive setting, The Mathematical Import of Zermelo's Well-Ordering Theorem, Zermelo and Set Theory, A NEGLECTED RESOLUTION OF RUSSELL’S PARADOX OF PROPOSITIONS, Zermelo and Set Theory, Sets and classes as many, Closed structure
Cites Work