Pages that link to "Item:Q5190186"
From MaRDI portal
The following pages link to Real closed fields and models of Peano arithmetic (Q5190186):
Displayed 9 items.
- Representing Scott sets in algebraic settings (Q494652) (← links)
- Limit computable integer parts (Q647341) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- On the value group of a model of Peano arithmetic (Q2363347) (← links)
- Corrigendum to: “Real closed fields and models of arithmetic” (Q2892688) (← links)
- Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
- A construction of real closed fields (Q5258477) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)