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