The following pages link to Forcing and Models of Arithmetic (Q4041570):
Displayed 6 items.
- Undefinability of truth and nonstandard models (Q598273) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- Partially definable forcing and bounded arithmetic (Q2257103) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)