Pages that link to "Item:Q3237140"
From MaRDI portal
The following pages link to Some proofs of independence in axiomatic set theory (Q3237140):
Displaying 9 items.
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- The universe constructed from a sequence of ordinals (Q1354355) (← links)
- Real set theory (Q1972505) (← links)
- Independence of axiom system of basic algebras (Q2519410) (← links)
- (Q3804686) (← links)
- Extending Independent Sets to Bases and the Axiom of Choice (Q4379629) (← links)
- An Isomorphism Related to Gödel's Fundamental Operations (Q4656545) (← links)
- On the Leibniz–Mycielski axiom in set theory (Q4829349) (← links)