Pages that link to "Item:Q787962"
From MaRDI portal
The following pages link to Elimination of quantifiers in algebraic structures (Q787962):
Displaying 34 items.
- On VC-minimal fields and dp-smallness (Q403395) (← links)
- Topological differential fields (Q636296) (← links)
- Real closed rings. II. Model theory (Q793009) (← links)
- A valuation ring analogue of von Neumann regularity (Q866563) (← links)
- The complexity of linear problems in fields (Q1103602) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Substructures and uniform elimination for p-adic fields (Q1109764) (← links)
- Saturation and stability in the theory of computation over the reals (Q1304539) (← links)
- Cell decompositions of \(C\)-minimal structures (Q1315832) (← links)
- Isomorphism theorem for BSS recursively enumerable sets over real closed fields (Q1575912) (← links)
- Some aspects of studying an optimization or decision problem in different computational models (Q1848391) (← links)
- Immediately algebraically closed fields (Q2039715) (← links)
- Model companion and model completion of theories of rings (Q2391092) (← links)
- A generalization of von Neumann regularity (Q2488273) (← links)
- Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués). (Q2575102) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369) (← links)
- Ordered Rings Over Which Output Sets are Recursively Enumerable Sets (Q3203015) (← links)
- Definable sets in algebraically closed valued fields: elimination of imaginaries (Q3413792) (← links)
- Valued Fields with<i>K</i>Commuting Derivations (Q3422853) (← links)
- Henselianity and the Denef-Pas language (Q3630584) (← links)
- Elimination of quantifiers for ordered valuation rings (Q3762295) (← links)
- Amalgamation and Elimination of Quantifiers for Theories of Fields (Q3877658) (← links)
- Superstable differential fields (Q4008749) (← links)
- A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field (Q4180416) (← links)
- Model theory and diophantine geometry (Q4372628) (← links)
- A version of <i>o</i>-minimality for the <i>p</i>-adics (Q4382461) (← links)
- Prototypes for definable subsets of algebraically closed valued fields (Q4382462) (← links)
- Weakly o-minimal structures and real closed fields (Q4505928) (← links)
- Élimination des quantificateurs dans des paires de corps (Q4842632) (← links)
- Canonical forms for definable subsets of algebraically closed and real closed valued fields (Q4858820) (← links)
- Definable V-topologies, Henselianity and NIP (Q5118049) (← links)
- Lectures on the Model Theory of Valued Fields (Q5256623) (← links)
- DP-MINIMAL VALUED FIELDS (Q5738195) (← links)
