Pages that link to "Item:Q330194"
From MaRDI portal
The following pages link to Structures associated with real closed fields and the axiom of choice (Q330194):
Displaying 6 items.
- Limit computable integer parts (Q647341) (← links)
- Existence and uniqueness of the real closure of an ordered field without Zorn's lemma (Q1176709) (← links)
- Real closed exponential fields (Q3168567) (← links)
- Tout corps réel clos possède une partie entière. (Every real closed field has an integer part) (Q3991888) (← links)
- An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092) (← links)
- Real closed fields and models of Peano arithmetic (Q5190186) (← links)