scientific article; zbMATH DE number 3382339

zbMath0242.02054MaRDI QIDQ5652669

Publication date: 1972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other classical first-order model theory (03C68) Model theory (03Cxx)

Related Items

Expansions of the real field with power functions, Graphs determined by their finite induced subgraphs, P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\), Sets Definable Over Finite Fields: Their Zeta-Functions, Ind- and pro-definable sets, Unnamed Item, The field of reals with a predicate for the powers of two, The Countable Henkin Principle, Amalgamation and Elimination of Quantifiers for Theories of Fields, A Class of Differential Fields with Minimal Differential Closures, IN MEMORIAM: GERALD E. SACKS, 1933–2019, Compactification of varieties, Properties of Elementary Embeddability in Model Theory, A conjecture of Shelah, Differential and difference algebra, Modeloids. I, Elementary extensions, ommission of types, and homogeneous models, Generic automorphisms of fields, On variants of \(o\)-minimality, Null- and Positivstellensätze for generalized real closed fields, Some model theory for Henselian valued fields, Constrained extensions of differential fields, Rings of real-valued continuous functions. II, Layered tropical mathematics, Criterion for strong constructivizability of a homogeneous model, On \(\aleph_0\)-categorical nilrings, On the real spectrum of a ring and its application to semialgebraic geometry, Effective uniform bounding in partial differential fields, Towards a general theory of formally p-adic fields, An essay on model theory, Сompanions of (n1, n2)-Jonsson theory, Approximation properties and existential completeness for ring morphisms, Infinite groups, Degree-theoretic bounds on the morley rank, Categorical Horn classes. I, The Mordell-Lang conjecture for function fields, Closed asymptotic couples, On the prime model property, Kernels in tropical geometry and a Jordan–Hölder theorem, Strong minimality and the \(j\)-function, O-stable theories, TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS, Theories of linear order, The differential closure of a differential field, On models with variable universe, Differentially closed fields, Model-completeness and elimination of quantifiers for subdirect products of structures, The Manin-Mumford conjecture and the model theory of difference fields, Ranks and definability in superstable theories, The theory of differentially closed fields in logics with cardinal quantifiers, Formal language properties of hybrid systems with strong resets, Effective dimension, The model theory of differential fields revisited, \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures, On k-homogeneous posets and graphs, On model complete differential fields, Profinite structures interpretable in fields, \(\aleph_0\)-categorical stable groups, \(\eta_\alpha\)-Strukturen, The theory of closed ordered differential fields with \(m\) commuting derivations, \(\aleph_0\)-categoricity and stability of rings, A theorem on absolute indiscernibles, Some model-theoretic aspects of torsion theories, Totally categorical groups and rings, Ordered Rings Over Which Output Sets are Recursively Enumerable Sets, Problemi di decidibilita in logica topologica, Model Complete Theories with a Distinguished Substructure, Commutative Regular Rings with Integral Closure, On universal Horn classes categorical in some infinite power, Commutative Regular Rings without Prime Model Extensions, Some model theory for generalized trees, Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic, In conjunction with qualitative probability, Computable isomorphisms, degree spectra of relations, and Scott families, Model completion of Lie differential fields, Quantifier elimination on some pseudo-algebraically closed valued fields, \(JSp\)-cosemanticness of \(R\)-modules, Elimination of quantifiers in algebraic structures, Valued Fields withKCommuting Derivations, Definable Sets in Ordered Structures. I, Extended order-generic queries, On the size of congruence lattices for models of theories with definability of congruences, Rings of finite representation type and modules of finite Morley rank, Model theory of partial differential fields: From commuting to noncommuting derivations, On some classes of Hilbertian fields, From Probability Measures to Each Lévy Triplet and Back, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols, Relative elimination of quantifiers for Henselian valued fields, A survey of basic stability theory, with particular emphasis on orthogonality and regular types