The following pages link to The metatheory of sets (Q2366366):
Displaying 7 items.
- The simple consistency of naive set theory using metavaluations (Q484104) (← links)
- Sets and supersets (Q513990) (← links)
- A theory of hyperfinite sets (Q2433742) (← links)
- Logic of paradoxes in classical set theories (Q2441742) (← links)
- Set Theory Extracted from Cantor's Theological Ontology (Q3820597) (← links)
- (Q4698613) (← links)
- New set-theoretic axioms derived from a lean metamathematics (Q4836050) (← links)