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