The following pages link to Zermelo and Set Theory (Q5717235):
Displaying 24 items.
- A theory of infinitary relations extending Zermelo's theory of infinitary propositions (Q284223) (← links)
- Worlds and propositions set free (Q488467) (← links)
- Kunen and set theory (Q649598) (← links)
- Unordered pairs in the set theory of Bourbaki 1949 (Q849219) (← links)
- The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 (Q973454) (← links)
- Zermelo, reductionism, and the philosophy of mathematics (Q1317972) (← links)
- Zermelo in the mirror of the Baer correspondence, 1930--1931. (Q1427539) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- Canonical form of Tarski sets in Zermelo-Fraenkel set theory (Q2387851) (← links)
- (Q3084832) (← links)
- Explaining Maximality Through the Hyperuniverse Programme (Q3305411) (← links)
- (Q3581790) (← links)
- (Q4009139) (← links)
- (Q4227563) (← links)
- Zermelo and the Skolem Paradox (Q4508278) (← links)
- HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS (Q4600820) (← links)
- Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined (Q4836052) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)
- The Structure of Z-Related Sets (Q5326400) (← links)
- On Zermelo's and Von Neumann's Axioms for Set Theory (Q5788307) (← links)
- Types for Proofs and Programs (Q5897610) (← links)
- A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC (Q6041339) (← links)
- Hobson’s Conception of Definable Numbers (Q6043023) (← links)
