Pages that link to "Item:Q3138018"
From MaRDI portal
The following pages link to Every real closed field has an integer part (Q3138018):
Displaying 24 items.
- Infinitesimals are too small for countably infinite fair lotteries (Q484949) (← links)
- Limit computable integer parts (Q647341) (← links)
- Cyclic 2-structures and spaces of orderings of power series fields in two variables (Q655386) (← links)
- Embedding Henselian fields into power series (Q853908) (← links)
- The Skolem-Bang theorems in ordered fields with an IP (Q934030) (← links)
- Embedding ordered fields in formal power series fields (Q1602685) (← links)
- Algebraic properties of rings of generalized power series (Q1602848) (← links)
- Lengths of developments in \(K((G))\) (Q1726002) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Ordered fields dense in their real closure and definable convex valuations (Q2121257) (← links)
- Lengths of roots of polynomials in a Hahn field (Q2246819) (← links)
- Towers of complements to valuation rings and truncation closed embeddings of valued fields (Q2270113) (← links)
- Well Quasi-orderings and Roots of Polynomials in a Hahn Field (Q3295148) (← links)
- Arithmetization of the field of reals with exponentiation extended abstract (Q3514637) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- Defining integer-valued functions in rings of continuous definable functions over a topological field (Q4988824) (← links)
- SURREAL ORDERED EXPONENTIAL FIELDS (Q5015725) (← links)
- On Rayner structures (Q5037582) (← links)
- ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD (Q5042946) (← links)
- The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small (Q5388756) (← links)
- Exponential fields and Conway’s omega-map (Q5889243) (← links)
- Logarithmic-exponential series (Q5942884) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)
- A factorisation theory for generalised power series and omnific integers (Q6204522) (← links)
