Model Theory
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Reducible Theories and Amalgamations of Models
- A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains
- Study of a division-like property
- Multi-experiment parameter identifiability of ODEs and model theory
- The externally definable Ramsey property and fixed points on type spaces
- A note on prime models in weakly o-minimal structures
- Model-theory of vector-spaces over unspecified fields
- Enriching a predicate and tame expansions of the integers
- Height bounds, Nullstellensatz and primality
- On theory of regular languages with the Kleene star operation
- A survey of homogeneous structures
- Tropical spectrahedra
- scientific article; zbMATH DE number 1554144 (Why is no real title available?)
- Orthogonal definable subspaces of Hilbert spaces: an application of Goldblatt's method
- The tropical analogue of the Helton-Nie conjecture is true
- Categoricity of computable infinitary theories
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- Stable finiteness of monoid algebras and surjunctivity
- Extensions of Hilbert's tenth problem: definability and decidability in number theory
- scientific article; zbMATH DE number 663782 (Why is no real title available?)
- A theory of pairs for non-valuational structures
- Distance structures for generalized metric spaces
- On decidability and axiomatizability of some ordered structures
- Finite undecidability in NIP fields
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
- Valued fields, metastable groups
- Sato-Tate theorem for families and low-lying zeros of automorphic \(L\)-functions. Appendix A by Robert Kottwitz, and Appendix B by Raf Cluckers, Julia Gordon and Immanuel Halupczok.
- Tractability conditions for numeric CSPs
- Generic expansions of countable models
- Quantifier elimination over finite fields using Gröbner bases
- Regular bi-interpretability of Chevalley groups over local rings
- Inconsistency as qualified truth: a probability logic approach
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- A proof of the first Kac-Weisfeiler conjecture in large characteristics. With an appendix by Akaki Tikaradze
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- Metabelian groups: full-rank presentations, randomness and Diophantine problems
- On the relationship between differential algebra and tropical differential algebraic geometry
- Algebraic \(\overline{\mathbb Q}\)-groups as abstract groups
- Logically-geometrical similarity for algebras and models with the same identities
- Discrete metric spaces: structure, enumeration, and 0-1 laws
- Definable relations in finite-dimensional subspace lattices with involution
- Rationality as conformity
- Generic types and generic elements in divisible rigid groups
- On Cartan's equivalence problem
- Layered tropical mathematics
- Existential monadic second order logic on random rooted trees
- Structure and enumeration theorems for hereditary properties in finite relational languages
- On non-compact \(p\)-adic definable groups
- Countable locally 2-arc-transitive bipartite graphs
- On \(\Sigma\)-rigid presentations of the real order
- On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras
- On genericity and weight in the free group
- Incidence systems on Cartesian powers of algebraic curves
- An upper cardinal bound on absolute E-rings
- Logic in representations of groups
- The computable embedding problem
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- Geometric view on homogeneous groups
- Model theory
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals
- Quantum measurements from a logical point of view
- scientific article; zbMATH DE number 5296405 (Why is no real title available?)
- \(\infty\)-constructible subsemigroups of \(M_2(\mathbb{C})\)
- scientific article; zbMATH DE number 914513 (Why is no real title available?)
- A characterization of quasihomogeneous bivariate polynomials
- scientific article; zbMATH DE number 7378350 (Why is no real title available?)
- Seshadri constants and related conjectures over characteristic zero fields
- THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
- On metric types that are definable in an o-minimal structure
- An essay on model theory
- A course in model theory
- Multiplicative valued difference fields
- Some presentations of the real number field
- Hyperbolicity and cubulability are preserved under elementary equivalence
- A Jordan-Hölder theorem for differential algebraic groups
- 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
- Variations of rigidity for ordered theories
- Algebraic closures in divisible rigid groups
- Categorical properties of the complex numbers
- The theory of the exponential differential equations of semiabelian varieties
- The partial ordering on the automorphism group of the countable generic partial order
- Free groups of interval exchange transformations are rare
- Punctually presented structures I: Closure theorems
- Classes of algebraic structures
- A step towards absolute versions of metamathematical results
- Embedding the prime model of real exponentiation into o‐minimal exponential fields
- On the uniqueness of some girth eight algebraically defined graphs
- The property of being a model complete theory is preserved by Cartesian extensions
- Computable dimension for ordered fields
- Reduction of database independence to dividing in atomless Boolean algebras
- A theory of infinitary relations extending Zermelo's theory of infinitary propositions
- Isotypical equivalence of periodic abelian groups
- Algorithms yield upper bounds in differential algebra
- Coherency properties for monoids of transformations and partitions
- scientific article; zbMATH DE number 1531887 (Why is no real title available?)
- Stable group theory and approximate subgroups
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)
