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
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
