The following pages link to (Q4724592):
Displaying 19 items.
- On a question of Abraham Robinson (Q312327) (← links)
- Recursive analysis of singular ordinary differential equations (Q638473) (← links)
- An elementary based sufficient condition for sums of \(2m\)th powers of polynomials over non-archimedean real closed fields (Q803206) (← links)
- Positive elimination in valued fields (Q884991) (← links)
- Quotients of semi-algebraic spaces (Q1104368) (← links)
- Existence and uniqueness of the real closure of an ordered field without Zorn's lemma (Q1176709) (← links)
- Algebraic number fields elementarily determined by their absolute Galois group (Q1182655) (← links)
- Continuous valuations (Q1319324) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- A gallery of constant-negative-curvature surfaces (Q1343660) (← links)
- On semianalytic subsets of rigid analytic varieties (Q1904122) (← links)
- Semi-algebraic decision complexity, the real spectrum, and degree (Q1916424) (← links)
- Smooth approximations by continuous choice-functions (Q2100427) (← links)
- On decidability and axiomatizability of some ordered structures (Q2318170) (← links)
- Two situations with unit-cost: ordered abelian semi-groups and some commutative rings (Q2387423) (← links)
- Model companion and model completion of theories of rings (Q2391092) (← links)
- A generalization of von Neumann regularity (Q2488273) (← links)
- Compactification of varieties (Q2644723) (← links)
- About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces (Q2833343) (← links)