The following pages link to Real closed rings. II. Model theory (Q793009):
Displayed 50 items.
- Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649) (← links)
- Topological differential fields (Q636296) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Positive elimination in valued fields (Q884991) (← links)
- On the Krull dimension of rings of continuous semialgebraic functions (Q888918) (← links)
- Model theory and spectra (Q912088) (← links)
- What is o-minimality? (Q958486) (← links)
- Real strict localizations (Q1077549) (← links)
- Substructures and uniform elimination for p-adic fields (Q1109764) (← links)
- The order structure of the real spectrum of commutative rings (Q1577626) (← links)
- Concerning real-closed ideals in \(\mathcal{R} L\) and SV-frames (Q1738952) (← links)
- On the spectra of rings of semialgebraic functions (Q1956304) (← links)
- SV-rings and SV-porings (Q1959930) (← links)
- Quantifier elimination for quasi-real closed fields (Q2019416) (← links)
- Definability in the group of infinitesimals of a compact Lie group (Q2074012) (← links)
- Residue field domination in real closed valued fields (Q2330500) (← links)
- Imaginaries in real closed valued fields (Q2368915) (← links)
- Tame properties of sets and functions definable in weakly o-minimal structures (Q2449858) (← links)
- Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués). (Q2575102) (← links)
- Interpretable fields in various valued fields (Q2671899) (← links)
- A Ganzstellensatz for Semialgebraic Sets and a Boundedness Criterion for Rational Functions (Q2802166) (← links)
- On the size of the fibers of spectral maps induced by semialgebraic embeddings (Q2830665) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- Positivstellensatz for semi-algebraic sets in real closed valued fields (Q2944800) (← links)
- ON THE SUBSTITUTION THEOREM FOR RINGS OF SEMIALGEBRAIC FUNCTIONS (Q3192313) (← links)
- Model completeness of o-minimal structures expanded by Dedekind cuts (Q3370753) (← links)
- GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS (Q3396194) (← links)
- Valued Fields with<i>K</i>Commuting Derivations (Q3422853) (← links)
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)
- Existentially closed ordered difference fields and rings (Q3566943) (← links)
- Real Closed Valuation Rings (Q3653321) (← links)
- Corps et Anneaux de Rolle (Q3753988) (← links)
- Elimination of quantifiers for ordered valuation rings (Q3762295) (← links)
- A note on definable Skolem functions (Q3813802) (← links)
- Anneaux <i>p</i>-adiquement clos et anneaux de fonctions définissables (Q3984428) (← links)
- A note on valuation definable expansions of fields (Q4212931) (← links)
- An existence theorem for a special ultrafilter when 𝔡 = 𝔠 (Q4283072) (← links)
- Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993 (Q4302362) (← links)
- Weakly o-minimal structures and real closed fields (Q4505928) (← links)
- NUMBER SYSTEMS WITH SIMPLICITY HIERARCHIES: A GENERALIZATION OF CONWAY’S THEORY OF SURREAL NUMBERS II (Q4579810) (← links)
- ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES (Q4600465) (← links)
- The model theory of chain-closed fields (Q4729766) (← links)
- <i>T</i>-convexity and tame extensions (Q4836044) (← links)
- Anneaux de fonctions <i>p</i>-adiques (Q4842625) (← links)
- Canonical forms for definable subsets of algebraically closed and real closed valued fields (Q4858820) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- Pro-definability of spaces of definable types (Q4994917) (← links)
- Real closed valued fields with analytic structure (Q5111613) (← links)
- Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures (Q5153932) (← links)
- MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS (Q5251368) (← links)