The following pages link to Complete theories (Q766973):
Displaying 50 items.
- Transformation of fractions into simple fractions in divisive meadows (Q301374) (← links)
- The algebra and model theory of tame valued fields (Q323734) (← links)
- Some results of algebraic geometry over Henselian rank one valued fields (Q508431) (← links)
- Tropical plane geometric constructions: a transfer technique in tropical geometry (Q533385) (← links)
- Topological differential fields (Q636296) (← links)
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- Real closed rings. II. Model theory (Q793009) (← links)
- On diophantine equations over the ring of all algebraic integers (Q793094) (← links)
- An example in the model theory of Abelian lattice-ordered groups (Q800393) (← links)
- Positive elimination in valued fields (Q884991) (← links)
- Decidable and undecidable MV-algebras (Q1057270) (← links)
- Paradigms of truth detection (Q1117917) (← links)
- Integral-valued rational functions on valued fields (Q1191481) (← links)
- Abraham Robinson 1918-1974 (Q1231902) (← links)
- Model-companions and definability in existentially complete structures (Q1254309) (← links)
- Modellvollständigkeit der Mittelpunktsgeometrie und der Theorie der Vektorgruppen (Q1259584) (← links)
- Cell decompositions of \(C\)-minimal structures (Q1315832) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Hypercomputation by definition (Q1434375) (← links)
- Some general techniques on linear preserver problems (Q1583717) (← links)
- Embedding ordered fields in formal power series fields (Q1602685) (← links)
- On stably pointed varieties and generically stable groups in ACVF (Q1625593) (← links)
- Positive Jonsson theories (Q1653552) (← links)
- On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments (Q1795337) (← links)
- Some model theory for generalized trees (Q1825187) (← links)
- Places of algebraic function fields in arbitrary characteristic (Q1886580) (← links)
- The elementary theory of \(e\)-free PAC domains (Q1977485) (← links)
- Quantifier elimination for quasi-real closed fields (Q2019416) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Polynomial approximation of Berkovich spaces and definable types (Q2448334) (← links)
- On the proof of elimination of imaginaries in algebraically closed valued fields (Q2656206) (← links)
- About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces (Q2833343) (← links)
- On subgroups of semi-abelian varieties defined by difference equations (Q2960443) (← links)
- STRONGLY MINIMAL REDUCTS OF VALUED FIELDS (Q3188327) (← links)
- Elementary Properties of Ordered Abelian Groups (Q3274978) (← links)
- GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS (Q3396194) (← links)
- Valued Fields with<i>K</i>Commuting Derivations (Q3422853) (← links)
- Definable Sets in Ordered Structures. I (Q3812217) (← links)
- Models of complete theories (Q3848967) (← links)
- Topological Examples of Projective Modules (Q3885838) (← links)
- Existentially Complete Abelian Lattice-Ordered Groups (Q3939856) (← links)
- Recent results in the theory of constant reductions (Q4017061) (← links)
- Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings (Q4382917) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- (Q4698278) (← links)
- Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups (Q5108872) (← links)
- A geometric model of an arbitrary differentially closed field of characteristic zero (Q5141765) (← links)
- Model Theory in Algebra, Analysis and Arithmetic: A Preface (Q5256620) (← links)
- Lectures on the Model Theory of Valued Fields (Q5256623) (← links)
- Further results on infinite valued predicate logic (Q5332213) (← links)
