Pages that link to "Item:Q3991888"
From MaRDI portal
The following pages link to Tout corps réel clos possède une partie entière. (Every real closed field has an integer part) (Q3991888):
Displaying 4 items.
- Structures associated with real closed fields and the axiom of choice (Q330194) (← links)
- Limit computable integer parts (Q647341) (← links)
- Every real closed field has an integer part (Q3138018) (← 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)