Publication:5652669
From MaRDI portal
zbMath0242.02054MaRDI QIDQ5652669
Publication date: 1972
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C68: Other classical first-order model theory
03Cxx: Model theory
Related Items
Sets Definable Over Finite Fields: Their Zeta-Functions, A Class of Differential Fields with Minimal Differential Closures, Modeloids. I, The differential closure of a differential field, On model complete differential fields, On the prime model property, Formal language properties of hybrid systems with strong resets, The Mordell-Lang conjecture for function fields, The Manin-Mumford conjecture and the model theory of difference fields, On universal Horn classes categorical in some infinite power, Elimination of quantifiers in algebraic structures, 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, On some classes of Hilbertian fields, Relative elimination of quantifiers for Henselian valued fields, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Graphs determined by their finite induced subgraphs, The field of reals with a predicate for the powers of two, A conjecture of Shelah, Differential and difference algebra, Elementary extensions, ommission of types, and homogeneous models, Some model theory for Henselian valued fields, Rings of real-valued continuous functions. II, Criterion for strong constructivizability of a homogeneous model, On \(\aleph_0\)-categorical nilrings, Towards a general theory of formally p-adic fields, Approximation properties and existential completeness for ring morphisms, Infinite groups, Categorical Horn classes. I, Theories of linear order, On models with variable universe, Differentially closed fields, Model-completeness and elimination of quantifiers for subdirect products of structures, Ranks and definability in superstable theories, Effective dimension, The model theory of differential fields revisited, \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures, \(\aleph_0\)-categorical stable groups, \(\eta_\alpha\)-Strukturen, \(\aleph_0\)-categoricity and stability of rings, A theorem on absolute indiscernibles, Some model-theoretic aspects of torsion theories, Totally categorical groups and rings, Problemi di decidibilita in logica topologica, In conjunction with qualitative probability, Computable isomorphisms, degree spectra of relations, and Scott families, Extended order-generic queries, Expansions of the real field with power functions, P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\), Generic automorphisms of fields, Null- and Positivstellensätze for generalized real closed fields, Constrained extensions of differential fields, An essay on model theory, Some model theory for generalized trees, Model completion of Lie differential fields, On variants of \(o\)-minimality, Closed asymptotic couples, On k-homogeneous posets and graphs, Ind- and pro-definable sets, Profinite structures interpretable in fields, The theory of closed ordered differential fields with \(m\) commuting derivations, Compactification of varieties, Ordered Rings Over Which Output Sets are Recursively Enumerable Sets, Model Complete Theories with a Distinguished Substructure, Valued Fields withKCommuting Derivations, Model theory of partial differential fields: From commuting to noncommuting derivations, On the real spectrum of a ring and its application to semialgebraic geometry, Degree-theoretic bounds on the morley rank, Definable Sets in Ordered Structures. I, Unnamed Item, Amalgamation and Elimination of Quantifiers for Theories of Fields, The theory of differentially closed fields in logics with cardinal quantifiers, Commutative Regular Rings with Integral Closure, Commutative Regular Rings without Prime Model Extensions
