Complete theories - MaRDI portal

Cited In (66)

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

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)