Pages that link to "Item:Q4916549"
From MaRDI portal
The following pages link to Pointwise definable models of set theory (Q4916549):
Displaying 19 items.
- Algebraicity and implicit definability in set theory (Q306841) (← links)
- Non-pointed strongly protomodular theories (Q702197) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- Typicality à la Russell in set theory (Q2153829) (← links)
- DEFINABILITY OF SATISFACTION IN OUTER MODELS (Q2976379) (← links)
- f-Model Generated by P-Set (Q3145186) (← links)
- Universal models and definability (Q3225519) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- (Q4936678) (← links)
- When does every definable nonempty set have a definable element? (Q5108871) (← links)
- TOWARDS A THEORY OF DEFINABLE SETS (Q5122018) (← links)
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES (Q5222524) (← links)
- Concrete Models of Set Theory (Q5602087) (← links)
- On the Axiom of Canonicity (Q6107281) (← links)
- VARIETIES OF CLASS-THEORETIC POTENTIALISM (Q6131234) (← links)
- A classical way forward for the regularity and normalization problems (Q6180117) (← links)
- Strong reducibilities and set theory (Q6652035) (← links)