Pages that link to "Item:Q5770887"
From MaRDI portal
The following pages link to A system of axiomatic set theory—Part I (Q5770887):
Displayed 14 items.
- Axiomatics of set theory without element relation (Q768277) (← links)
- Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen (Q1211512) (← links)
- A finite approximation to models of set theory (Q1217706) (← links)
- Elimination of bound variables in logic with an arbitrary quantifier (Q1223274) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- The GOEDEL program (Q1945913) (← links)
- An axiomatic set theory (Q2539038) (← links)
- Verallgemeinerte Kontinuumshypothese und Auswahlaxiom (Q2651887) (← links)
- Inception of Quine's ontology (Q3160444) (← links)
- Bernays and Set Theory (Q3616429) (← links)
- Developing arithmetic in set theory without infinity: some historical remarks (Q3786464) (← links)
- The Empty Set, The Singleton, and the Ordered Pair (Q4650301) (← links)
- Why Sets? (Q5452179) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)