Model Theory
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
- Categoricity of computable infinitary theories
- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Approximation for Frobenius algebraic equations in Witt vectors
- The theory of the exponential differential equations of semiabelian varieties
- The partial ordering on the automorphism group of the countable generic partial order
- Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler)
- A guide to classical and modern model theory
- An essay on model theory
- Perfect pseudo-algebraically closed fields are algebraically bounded.
- Existential monadic second order logic on random rooted trees
- On stably pointed varieties and generically stable groups in ACVF
- General non-commutative locally compact locally Hausdorff Stone duality
- Fractional parts of dense additive subgroups of real numbers
- A complete coalition logic of temporal knowledge for multi-agent systems
- Nilpotence and generation in the stable module category
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- Algebraic and o-minimal flows on complex and real tori
- Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure
- Universal invariants for classes of abelian groups
- On deductive interpolation for the weak nilpotent minimum logic
- Divisible rigid groups. Algebraic closedness and elementary theory
- Structure and enumeration theorems for hereditary properties in finite relational languages
- On the uniqueness of some girth eight algebraically defined graphs. II
- On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras
- The Heisenberg group is pan-rational
- On positive local combinatorial dividing-lines in model theory
- Model-completions for abelian lattice-ordered groups with finitely many disjoint elements
- Bipartite algebraic graphs without quadrilaterals
- Interpretable groups in Mann pairs
- Lectures in model theory
- Constants and finite unary relations in qualitative constraint reasoning
- Model theoretic connected components of groups
- Homogeneity in the free group.
- Downward closure of depth in countable Boolean algebras
- Difference equations in Witt vectors
- Tropical totally positive matrices
- Integer-valued difference rational functions over Witt vectors
- Algebraic geometry over algebraic structures. II: Foundations
- A saturation property of structures obtained by forcing with a compact family of random variables
- Real closures of models of weak arithmetic
- Effective dimension of finite semigroups.
- On the virtue of categoricity
- Tropical spectrahedra
- Definable groups in models of Presburger arithmetic
- Definable relations in finite-dimensional subspace lattices with involution
- The tropical analogue of the Helton-Nie conjecture is true
- Finitely generated groups are universal among finitely generated structures
- Ax-Schanuel and strong minimality for the \(j\)-function
- Hyperbolicity and cubulability are preserved under elementary equivalence
- Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
- How to avoid a compact set
- Correspondence, canonicity, and model theory for monotonic modal logics
- Independence and simplicity in Jonsson theories with abstract geometry
- Strongly minimal groups in o-minimal structures
- Subfields of a real closed field of countable codimension
- Two facts on model theory for divisible rigid groups
- On the motivic oscillation index and bound of exponential sums modulo p^m via analytic isomorphisms
- Quantifier-free epistemic term-modal logic with assignment operator
- Elementary subgroups of virtually free groups
- Boosting isomorphic model filtering with invariants
- Quantifier elimination on some pseudo-algebraically closed valued fields
- A boundedness principle for the Hjorth rank
- Independent sets in algebraic hypergraphs
- Structure and regularity for subsets of groups with finite VC-dimension
- Strong eventual consistency of the collaborative editing framework WOOT
- Homogeneity in virtually free groups
- Automata and tame expansions of \((\mathbb{Z}, +)\)
- On expansions of \((\mathbf{Z},+,0)\)
- On decidable categoricity and almost prime models
- On theory of regular languages with the Kleene star operation
- The property of being a model complete theory is preserved by Cartesian extensions
- A model theoretic solution to a problem of László Fuchs
- Lorentzian polynomials
- Infinite lexicographic products
- Applications of algebraic combinatorics to algebraic geometry
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- Isotypeness of models and knowledge bases equivalence
- On non-deterministic quantification
- Craig interpolation in the presence of unreliable connectives
- Indecomposability for differential algebraic groups
- On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory
- A bound for orders in differential Nullstellensatz
- A survey of homogeneous structures
- Pro-aperiodic monoids via saturated models
- Existentially closed de Morgan algebras
- Definable one-dimensional topologies in o-minimal structures
- Prime and homogeneous rings and algebras
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- On holographic structures
- Valued fields, metastable groups
- On decidability and axiomatizability of some ordered structures
- Łukasiewicz logics for cooperative games
- \(\infty\)-constructible subsemigroups of \(M_2(\mathbb{C})\)
- \(\Sigma\)-presentations of the ordering on the reals
- Definability and decidability in infinite algebraic extensions
- On compactness of logics that can express properties of symmetry or connectivity
- Increasing sentences in simple type theory
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Extending partial isometries
This page was built for publication: Model Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779973)
