Pages that link to "Item:Q1058509"
From MaRDI portal
The following pages link to Ultrafilters and types on models of arithmetic (Q1058509):
Displaying 13 items.
- On existence of limit models over sequences of types (Q278558) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Models of arithmetic and categories with finiteness conditions (Q1097274) (← links)
- A weakly definable type which is not definable (Q1313603) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Arithmetically saturated models of arithmetic (Q1913628) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- Weakly Definable Types (Q3028989) (← links)
- (Q3343960) (← links)
- A note on standard systems and ultrafilters (Q3617363) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- Automorphism groups of arithmetically saturated models (Q5477630) (← links)