The following pages link to Nonstandard definability (Q913793):
Displaying 13 items.
- Condensable models of set theory (Q2144608) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- Models of weak theories of truth (Q2402953) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- An addition to Rosser's theorem (Q4879914) (← links)
- DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)
- MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- Compositional truth with propositional tautologies and quantifier-free correctness (Q6139242) (← links)
- Pathologies in satisfaction classes (Q6179830) (← links)
- Varieties of truth definitions (Q6565567) (← links)
- Saturation properties for compositional truth with propositional correctness (Q6652033) (← links)
