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