The following pages link to Models with the <i>ω</i>-property (Q3822164):
Displaying 5 items.
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- On cofinal submodels and elementary interstices (Q1762352) (← links)
- Arithmetically saturated models of arithmetic (Q1913628) (← links)
- On Extensions of Models of Strong Fragments of Arithmetic (Q4205426) (← links)
- Pathologies in satisfaction classes (Q6179830) (← links)