Complete theories
From MaRDI portal
Cited in
(66)- On the representation of Herbrand functions in algebraically closed fields
- Verallgemeinerte formal \(\mathfrak p\)-adische Körper
- Analytic nullstellensätze and the model theory of valued fields
- Valued quantum B-algebras
- A geometric model of an arbitrary differentially closed field of characteristic zero
- DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE
- Specialisations and algebraically closed fields
- Persistence and Herbrand expansions
- Andrzej Mostowski and the notion of a model
- Polynomial approximation of Berkovich spaces and definable types
- Verallgemeinerte formal \(\mathfrak p\)-adische Körper
- A.D. Taimanov and model theory in Kazakhstan
- Models of complete theories
- Syntactical Transforms
- scientific article; zbMATH DE number 755463 (Why is no real title available?)
- GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS
- Lectures on the model theory of valued fields
- Places of algebraic function fields in arbitrary characteristic
- Density of composite places in function fields and applications to real holomorphy rings
- Elimination of quantifiers in algebraic structures
- Modellvollständigkeit der Mittelpunktsgeometrie und der Theorie der Vektorgruppen
- Positive elimination in valued fields
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
- Real closed rings. II. Model theory
- Pseudo-C-Archimedean and pseudo-finite cyclically ordered groups
- On stably pointed varieties and generically stable groups in ACVF
- Abraham Robinson 1918-1974
- Cell decompositions of \(C\)-minimal structures
- Integral-valued rational functions on valued fields
- Further results on infinite valued predicate logic
- Generalized Archimedean Groups
- Model theory in algebra, analysis and arithmetic: a preface
- About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces
- Topological differential fields
- Definable Sets in Ordered Structures. I
- Positive Jonsson theories
- The elementary theory of \(e\)-free PAC domains
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
- Valued Fields withKCommuting Derivations
- Topological Examples of Projective Modules
- Uniform properties of rigid subanalytic sets
- Some model theory for generalized trees
- On subgroups of semi-abelian varieties defined by difference equations
- Quantifier elimination for quasi-real closed fields
- Transformation of fractions into simple fractions in divisive meadows
- Recent results in the theory of constant reductions
- Model-companions and definability in existentially complete structures
- Hypercomputation by definition
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
- On the proof of elimination of imaginaries in algebraically closed valued fields
- An example in the model theory of Abelian lattice-ordered groups
- Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
- Strongly minimal reducts of valued fields
- Paradigms of truth detection
- Embedding ordered fields in formal power series fields
- The algebra and model theory of tame valued fields
- On diophantine equations over the ring of all algebraic integers
- Elementary Properties of Ordered Abelian Groups
- Some results of algebraic geometry over Henselian rank one valued fields
- Existentially Complete Abelian Lattice-Ordered Groups
- Some general techniques on linear preserver problems
- Tropical plane geometric constructions: a transfer technique in tropical geometry
- Decidable and undecidable MV-algebras
- On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments
- ALGEBRAIC EXPANSIONS OF LOGICS
- Minimal- und Primmodelle
This page was built for publication: Complete theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766973)
