Pages that link to "Item:Q5190186"
From MaRDI portal
The following pages link to Real closed fields and models of Peano arithmetic (Q5190186):
Displaying 15 items.
- Structures associated with real closed fields and the axiom of choice (Q330194) (← links)
- 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)
- Open induction and the true theory of rationals (Q3773857) (← links)
- Résultats positifs et négatifs sur l'existence d'une partie entière dans les corps ordonnés. (Positive and negative results on the existence of an integral part of ordered fields) (Q3985699) (← links)
- An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092) (← links)
- Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
- Model Completeness for the Real Field with the Weierstrass ℘ Function (Q5228175) (← links)
- A construction of real closed fields (Q5258477) (← links)
- UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)