Pages that link to "Item:Q5119907"
From MaRDI portal
The following pages link to The classification of countable models of set theory (Q5119907):
Displaying 14 items.
- Countable structures \(\Sigma \)-definable over classical continuous number systems (Q957779) (← links)
- Complexity ranks of countable models (Q998136) (← links)
- The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\) (Q1105592) (← links)
- Countable models and unions of theories (Q1821096) (← links)
- Equivalence of generics (Q2155500) (← links)
- A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable (Q2813681) (← links)
- Representing Sets of Ordinals as Countable Unions of Sets in the Core Model (Q3199411) (← links)
- (Q3676125) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- A CLASS OF MODELS FOR SKALA'S SET THEORY (Q4295239) (← links)
- Counting models of set theory (Q4548834) (← links)
- (Q5420780) (← links)
- (Q5472862) (← links)
- MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS (Q5879190) (← links)
