Model Theory
From MaRDI portal
Publication:4779973
DOI10.1007/b98860zbMath1003.03034OpenAlexW4206725870MaRDI QIDQ4779973
Publication date: 30 October 2002
Published in: Graduate Texts in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98860
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)
Related Items
Algorithms yield upper bounds in differential algebra ⋮ Controlling distribution of prime sequences in discretely ordered principal ideal subrings of ℚ[𝕩] ⋮ Co‐Hopfian virtually free groups and elementary equivalence ⋮ Bertini theorems for differential algebraic geometry ⋮ Ranks, spectra and their dynamics for families of constant expansions of theories ⋮ Between reduced powers and ultrapowers ⋮ NIP ω$\omega$‐categorical structures: The rank 1 case ⋮ A Topological-algebraic Approach to the Compactness Theorem of Classical Logic ⋮ Volumes of definable sets in o-minimal expansions and affine GAGA theorems ⋮ Some structural similarities between uncountable sets, powersets and the universe ⋮ DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP ⋮ DISTALITY RANK ⋮ Krull dimension in set theory ⋮ The model theory of commutative near-vector spaces ⋮ Models of Bounded Arithmetic Theories and Some Related Complexity Questions ⋮ ON MODEL-THEORETIC CONNECTED GROUPS ⋮ Products of classes of finite structures ⋮ Generic types and generic elements in divisible rigid groups ⋮ 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 ⋮ Decidability via the tilting correspondence ⋮ DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES ⋮ THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS ⋮ Definable valuations on ordered fields ⋮ Coloring the distance graphs ⋮ Regular bi-interpretability of Chevalley groups over local rings ⋮ On the Bateman–Horn conjecture for polynomials over large finite fields ⋮ The almost sure theory of finite metric spaces ⋮ Coloring triangles and rectangles ⋮ On the existence of two affine-equivalent frameworks with prescribed edge lengths in Euclidean \(d \)-space ⋮ ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS ⋮ Pseudo finite fields with the Laurent property ⋮ Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ CATEGORICITY OF MODULAR AND SHIMURA CURVES ⋮ Definable Sets in Generic Structures and their Cardinalities ⋮ Height bounds, nullstellensatz and primality ⋮ Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy ⋮ NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY ⋮ Turing computable embeddings ⋮ Applications of Kolmogorov complexity to computable model theory ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ An elementary and constructive solution to Hilbert’s 17th Problem for matrices ⋮ A note on orthogonality and stable embeddedness ⋮ Model theory and the Tannakian formalism ⋮ UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS ⋮ MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES ⋮ Palindromic Characteristic of Committed Graphs and Some Model Theoretic Properties ⋮ Reducible Theories and Amalgamations of Models ⋮ Constraint satisfaction and semilinear expansions of addition over the rationals and the reals ⋮ Integer-valued difference rational functions over Witt vectors ⋮ Existential monadic second order logic on random rooted trees ⋮ On the uniqueness of some girth eight algebraically defined graphs ⋮ Reduction of database independence to dividing in atomless Boolean algebras ⋮ Computable dimension for ordered fields ⋮ A theory of infinitary relations extending Zermelo's theory of infinitary propositions ⋮ Metabelian groups: full-rank presentations, randomness and Diophantine problems ⋮ On modal logics of model-theoretic relations ⋮ On stably pointed varieties and generically stable groups in ACVF ⋮ On the relationship between differential algebra and tropical differential algebraic geometry ⋮ Multi-sorted logic, models, and logical geometry. ⋮ Algebraically closed and existentially closed abelian lattice-ordered groups ⋮ 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 ⋮ Forking and JSJ decompositions in the free group ⋮ The direct summand conjecture for some bigenerated extensions and an asymptotic version of Koh's conjecture ⋮ Counting critical formations on the circle: algebraic-geometric and Morse-theoretic bounds ⋮ Nilpotence and generation in the stable module category ⋮ Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras ⋮ Extending orthogonal subsets of semimodules ⋮ On the auto Igusa-zeta function of an algebraic curve ⋮ Nonpresentability of some structures of analysis in hereditarily finite superstructures ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Algebraic and o-minimal flows on complex and real tori ⋮ The asymptotic couple of the field of logarithmic transseries ⋮ Algebraic logic and logical geometry. Two in one ⋮ Imaginaries in pairs of algebraically closed fields ⋮ Hyperbolic towers and independent generic sets in the theory of free groups. ⋮ Real closed exponential subfields of pseudo-exponential fields ⋮ A regularization approach for estimating the type of a plane curve singularity ⋮ Elementary geometric local-global principles for fields ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure ⋮ Preserving categoricity and complexity of relations ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Universal invariants for classes of abelian groups ⋮ Layered tropical mathematics ⋮ A saturation property of structures obtained by forcing with a compact family of random variables ⋮ On \(\Sigma\)-rigid presentations of the real order ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Superstability and central extensions of algebraic groups ⋮ Invariant measures via inverse limits of finite structures ⋮ The model theory of separably tame valued fields ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ An essay on model theory ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ Divisible rigid groups. Algebraic closedness and elementary theory ⋮ Structure and enumeration theorems for hereditary properties in finite relational languages ⋮ \(C\)-minimal fields, in honor of François Lucas ⋮ Characterization of NIP theories by ordered graph-indiscernibles ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Perfect pseudo-algebraically closed fields are algebraically bounded. ⋮ On the uniqueness of some girth eight algebraically defined graphs. II ⋮ Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) ⋮ Constructible motivic functions and motivic integration ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras ⋮ The Heisenberg group is pan-rational ⋮ \( h\)-vectors of matroids and logarithmic concavity ⋮ Linear model theory for Lipschitz structures ⋮ On positive local combinatorial dividing-lines in model theory ⋮ Representing Scott sets in algebraic settings ⋮ Independence in computable algebra ⋮ Model-completions for abelian lattice-ordered groups with finitely many disjoint elements ⋮ Bipartite algebraic graphs without quadrilaterals ⋮ Generic splitting for special groups ⋮ Algebraic and definable closure in free groups ⋮ Interpretable groups in Mann pairs ⋮ The joy of implications, aka pure Horn formulas: mainly a survey ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Tractability conditions for numeric CSPs ⋮ On algebraic relations between solutions of a generic Painlevé equation ⋮ The complexity of isomorphism for complete theories of linear orders with unary predicates ⋮ Generic expansions of countable models ⋮ Inconsistency as qualified truth: a probability logic approach ⋮ Model theoretic connected components of groups ⋮ Homogeneity in the free group. ⋮ Logic in representations of groups ⋮ Some presentations of the real number field ⋮ A Jordan-Hölder theorem for differential algebraic groups ⋮ The computable embedding problem ⋮ Downward closure of depth in countable Boolean algebras ⋮ Difference equations in Witt vectors ⋮ Independence results for variants of sharply bounded induction ⋮ Vanishing homology ⋮ Distance structures for generalized metric spaces ⋮ Tropical totally positive matrices ⋮ 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 ⋮ Completeness in partial differential algebraic geometry ⋮ Isotyped algebras ⋮ 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 ⋮ Radiality of definable sets ⋮ The partial ordering on the automorphism group of the countable generic partial order ⋮ Distance constraint satisfaction problems ⋮ 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 ⋮ Increasing sentences in simple type theory ⋮ A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ Multiplicative valued difference fields ⋮ Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs ⋮ Stability and sparsity in sets of natural numbers ⋮ 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. ⋮ Free groups of interval exchange transformations are rare ⋮ Extending partial isometries ⋮ Model-theory of vector-spaces over unspecified fields ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Homogeneity in virtually free groups ⋮ Automata and tame expansions of \((\mathbb{Z}, +)\) ⋮ Tropicalization of facets of polytopes ⋮ The countable admissible ordinal equivalence relation ⋮ Real-time computability of real numbers by chemical reaction networks ⋮ Two applications of topology to model theory ⋮ Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ Definably topological dynamics of \(p\)-adic algebraic groups ⋮ Relative D-groups and differential Galois theory in several derivations ⋮ Interpretable fields in various valued fields ⋮ On the quantifier complexity of definable canonical Henselian valuations ⋮ Universal algebraic geometry: syntax and semantics ⋮ On expansions of \((\mathbf{Z},+,0)\) ⋮ Real closures of models of weak arithmetic ⋮ Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models ⋮ Non-Archimedean integrals as limits of complex integrals ⋮ Effective dimension of finite semigroups. ⋮ Infinite quantum permutations ⋮ Quantifier elimination theory and maps which preserve semipositivity ⋮ Lower complexity bounds for interpolation algorithms ⋮ On decidable categoricity and almost prime models ⋮ CONSTRUCTING MANY ATOMIC MODELS IN ℵ1 ⋮ On theory of regular languages with the Kleene star operation ⋮ The property of being a model complete theory is preserved by Cartesian extensions ⋮ Countable locally 2-arc-transitive bipartite graphs ⋮ A model theoretic solution to a problem of László Fuchs ⋮ Lorentzian polynomials ⋮ Diophantine sets of representations ⋮ Polynomial approximation of Berkovich spaces and definable types ⋮ Characterization, definability and separation via saturated models ⋮ Definability and invariance ⋮ On the virtue of categoricity ⋮ Infinite lexicographic products ⋮ Tropical spectrahedra ⋮ Definable groups in models of Presburger arithmetic ⋮ Applications of algebraic combinatorics to algebraic geometry ⋮ Definable relations in finite-dimensional subspace lattices with involution ⋮ The tropical analogue of the Helton-Nie conjecture is true ⋮ 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 ⋮ 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 ⋮ Indecomposability for differential algebraic groups ⋮ Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition ⋮ On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory ⋮ How to avoid a compact set ⋮ A bound for orders in differential Nullstellensatz ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ A survey of homogeneous structures ⋮ A computably stable structure with no Scott family of finitary formulas ⋮ Profinite structures interpretable in fields ⋮ Satisfaction of existential theories in finitely presented groups and some embedding theorems. ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Nonclassifiability of UHF $L^p$-operator algebras ⋮ Pro-aperiodic monoids via saturated models ⋮ Existentially closed de Morgan algebras ⋮ Independence and simplicity in Jonsson theories with abstract geometry ⋮ Definable one-dimensional topologies in o-minimal structures ⋮ Strongly minimal groups in o-minimal structures ⋮ Subfields of a real closed field of countable codimension ⋮ CATEGORICITY IN QUASIMINIMAL PREGEOMETRY CLASSES ⋮ Prime and homogeneous rings and algebras ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) ⋮ Two facts on model theory for divisible rigid groups ⋮ Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction ⋮ Categorical Properties of The Complex Numbers ⋮ On the motivic oscillation index and bound of exponential sums modulo \(p^m\) via analytic isomorphisms ⋮ On holographic structures ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Valued fields, metastable groups ⋮ On decidability and axiomatizability of some ordered structures ⋮ Łukasiewicz logics for cooperative games ⋮ The degrees of categorical theories with recursive models ⋮ Elementary subgroups of virtually free groups ⋮ Boosting isomorphic model filtering with invariants ⋮ Quantifier elimination on some pseudo-algebraically closed valued fields ⋮ \(\infty\)-constructible subsemigroups of \(M_2(\mathbb{C})\) ⋮ Upward Morley's theorem downward ⋮ Rationality as conformity ⋮ \(\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 ⋮ A boundedness principle for the Hjorth rank ⋮ The Diophantine problem in the classical matrix groups ⋮ IN MEMORIAM: MICHAEL MORLEY, 1930–2020 ⋮ Nullstellensatz via Nonstandard Methods ⋮ Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces ⋮ Constraint Satisfaction Problems over the Integers with Successor ⋮ Simple monadic theories and partition width ⋮ Classes of Ulm type and coding rank-homogeneous trees in other structures ⋮ On maps which preserve semipositivity and quantifier elimination theory for real numbers ⋮ AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ Unnamed Item ⋮ ON NON-COMPACT p-ADIC DEFINABLE GROUPS ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC ⋮ Odoni’s conjecture on arboreal Galois representations is false ⋮ Multi-experiment Parameter Identifiability of ODEs and Model Theory ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ Quantum Measurements from a Logical Point of View ⋮ Ascending chains of ideals in the polynomial ring ⋮ On metric types that are definable in an o-minimal structure ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ Random ℓ‐colourable structures with a pregeometry ⋮ A note on prime models in weakly o‐minimal structures ⋮ Decreasing sentences in Simple Type Theory ⋮ Constructing quasiminimal structures ⋮ Rigid models of Presburger arithmetic ⋮ Definable topological dynamics for trigonalizable algebraic groups over Qp ⋮ On elimination of quantifiers in some non‐classical mathematical theories ⋮ On differential Galois groups of strongly normal extensions ⋮ Categoricity and universal classes ⋮ THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE ⋮ DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS ⋮ VALUED MODULES OVER SKEW POLYNOMIAL RINGS I ⋮ Unnamed Item ⋮ Definable V-topologies, Henselianity and NIP ⋮ The classification of countable models of set theory ⋮ Sur le problème d’équivalence de Cartan ⋮ Syntax versus semantics in knowledge bases – I ⋮ Characterization of finitely generated groups by types ⋮ THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS ⋮ Approximations of Mappings ⋮ A geometric model of an arbitrary differentially closed field of characteristic zero ⋮ Forking and JSJ decompositions in the free group II ⋮ Recent progress on definability of Henselian valuations ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ Basics of O-minimality and Hardy Fields ⋮ Kernels in tropical geometry and a Jordan–Hölder theorem ⋮ THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS ⋮ Definable sets up to definable bijections in Presburger groups ⋮ Zarankiewicz’s problem for semilinear hypergraphs ⋮ Density and finiteness results on sums of fractions ⋮ Model-theoretic Elekes–Szabó in the strongly minimal case ⋮ Axiomatizing Boolean Differentiation ⋮ Logically automorphically equivalent knowledge bases models ⋮ Quantifier Elimination over Finite Fields Using Gröbner Bases ⋮ Simple stable homogeneous groups ⋮ Espaces vectoriels C-minimaux ⋮ FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY ⋮ Unnamed Item ⋮ Formal language properties of hybrid systems with strong resets ⋮ Generalized Indiscernibility Relations: Applications for Missing Values and Analysis of Structural Objects ⋮ Algebraic ℚ-groups as abstract groups ⋮ Computable topological groups and Pontryagin duality ⋮ Some remarks on atypical intersections ⋮ DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS ⋮ Infinite Paley graphs ⋮ 2004 Annual Meeting of the Association for Symbolic Logic ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ⋮ On the generic type of the free group ⋮ Metric dimensions and tameness in expansions of the real field ⋮ A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES ⋮ DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS ⋮ Adapting Rabin’s Theorem for Differential Fields ⋮ THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES ⋮ DECIDABLE ALGEBRAIC FIELDS ⋮ $3$-Manifold Groups are Virtually Residually $p$ ⋮ Random Subgroups of Rationals ⋮ An upper cardinal bound on absolute E-rings ⋮ On genericity and weight in the free group ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Multisorted modules and their model theory ⋮ Bounds on Scott ranks of some polish metric spaces ⋮ Onn-dependent groups and fields II ⋮ A proof of the first Kac–Weisfeiler conjecture in large characteristics ⋮ Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields ⋮ Non-∀-homogeneity in free groups ⋮ Patching over Berkovich curves and quadratic forms ⋮ Stable group theory and approximate subgroups ⋮ Diophantine problems in solvable groups ⋮ Definable Zero-Sum Stochastic Games ⋮ Topology of nonarchimedean analytic spaces and relations to complex algebraic geometry ⋮ On superstable groups with residual properties ⋮ Bounding homogenous models ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ A Roadmap to Decidability ⋮ Algebraic Logic and Knowledge Bases ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ Quantifier elimination for elementary geometry and elementary affine geometry
