The following pages link to Limit computable integer parts (Q647341):
Displaying 4 items.
- Structures associated with real closed fields and the axiom of choice (Q330194) (← links)
- Erratum to: ``Limit computable integer parts'' (Q2339967) (← links)
- Tout corps réel clos possède une partie entière. (Every real closed field has an integer part) (Q3991888) (← links)
- Real closed fields and models of Peano arithmetic (Q5190186) (← links)