Model theory

zbMath0276.02032MaRDI QIDQ1393228

C. C. Chang, H. Jerome Keisler

Publication date: 1973

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) General logic (03B99) Categoricity and completeness of theories (03C35) Other model constructions (03C30) Other classical first-order model theory (03C68)

Related Items

Intersections of algebraically closed fields, A language for configuring multi-level specifications, Remarks on infinite systems of equations, Existentially closed locally finite p-groups, Hyperfinite models of adapted probability logic, Quantifier elimination in discriminator varieties, On the existence of free models in abstract algebraic institutions, A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets, Counting unlabeled structures, Why Horn formulas matter in computer science: initial structures and generic examples, Fixed-point extensions of first-order logic, Quasi-varieties in abstract algebraic institutions, Uncountable groups have many nonconjugate subgroups, Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras, The decision problem for some logics for finite words on infinite alphabets, The algebra and model theory of tame valued fields, Generalized interpolation in CASL, Elementary theory of free non-abelian groups., A common generalization for MV-algebras and Łukasiewicz-Moisil algebras, Integral closure of a valuation ring in a finite extension, Lindelöf models of the reals: solution to a problem of Sikorski, Tarski's definition and truth-makers, Normative positions within an algebraic approach to normative systems, Duality and rationality, Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups, A representative individual from Arrovian aggregation of parametric individual utilities, (\(\kappa ,\theta \))-weak normality, Extracting the resolution algorithm from a completeness proof for the propositional calculus, Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\), First-order spectra with one variable, Model theory and spectra, Incidence algebras and coalgebras of decomposition structures, Omega-categoricity, relative categoricity and coordinatisation, Polycyclic groups, finite images, and elementary equivalence, On the interpretability of arithmetic in temporal logic, Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal, Characterization of NIP theories by ordered graph-indiscernibles, Parametrization over inductive relations of a bounded number of variables, Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications, On systems of equations over free products of groups., Labelling systems and r.e. structures, Elementary equivalence of automorphism groups of reduced Abelian \(p\)-groups., Representations of algebras in varieties generated by infinite primal algebras., Orthomodular posets related to \(Z_2\)-valued states, The index set of Boolean algebras autostable relative to strong constructivizations, Universal functions and almost \(c\)-simple models, Topological complexity of locally finite \(\omega\)-languages, The complexity of querying indefinite data about linearly ordered domains, Algebraic and definable closure in free groups, Vive la différence. III, Sets and supersets, On expressive power of basic modal intuitionistic logic as a fragment of classical FOL, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Scopeless quantifiers and operators, A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete, Elements of model theory in higher-order fuzzy logic, The premiss-based approach to judgment aggregation, Constructing situations and time, On the existence of a possibility distribution function, Free abelian lattice-ordered groups, A descending chain condition for groups definable in o-minimal structures, Implicit definability of subfields, Fixed point equations with parameters in the projective model, Finite rank and pseudofinite groups, A standard model of Peano arithmetic with no conservative elementary extension, A semantic approach to interpolation, What is nominalistic mereology?, Order-isomorphic \(\eta _1\)-orderings in Cohen extensions, Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields, Definability in the \(h\)-quasiorder of labeled forests, Harmonious logic: Craig's interpolation theorem and its descendants, Representation of ideals of relational structures, On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture, Models with second order properties. IV. A general method and eliminating diamonds, A logic for multiple-source approximation systems with distributed knowledge base, The concepts of equivalence, equality and identity, Decidable fragments of many-sorted logic, Stability of the class of divisible \(S\)-acts, The elementary theory of large e-fold ordered fields, On \(\aleph_ 0\)-categorical class two groups, Classifying topoi and finite forcing, Sheaf models and massless fields, On the definability of properties of finite graphs, On the size of congruence lattices for models of theories with definability of congruences, Rings of finite representation type and modules of finite Morley rank, Decidability and the number of countable models, On conceptual completeness of syntactic-semantical systems, Pseudovarieties, generalized varieties and similarly described classes, Expressiveness and the completeness of Hoare's logic, Stationary logic of ordinals, Some questions about expressiveness and relative completeness in Hoare's logic, A decidable Ehrenfeucht theory with exactly two hyperarithmetic models, Generalizing classical and effective model theory in theories of operations and classes, Relative elimination of quantifiers for Henselian valued fields, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, The lack of definable witnesses and provably recursive functions in intuitionistic set theories, Applied model theory and metamathematics. An Abraham Robinson memorial problem list, Gruppenuniversalität und Homogenisierbarkeit, Generalized region connection calculus, A class of almost \(c\)-simple rings, Inducing implication relations, Universal theories categorical in power and \(\kappa\)-generated models, On \(\eta_{\alpha}\)-groups and fields, Descent and duality, Topologies invariant under a group action, Elementary regular rings, An algebraic synthesis of the foundations of logic and probability, On pushout consistency, modularity and interpolation for logical specifications, Effective topological spaces. III: Forcing and definability, Some applications of short core models, Countable ultraproducts without CH, A logical approach to asymptotic combinatorics I. First order properties, Stone duality for first order logic, Model theory of functors: Axiomatizability problems, Some relationships between logics of programs and complexity theory, Substructures and uniform elimination for p-adic fields, Some general incompleteness results for partial correctness logics, On Jónsson algebras over a commutative ring, Horn sentences in Post algebras, Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications, The complexity of query evaluation in indefinite temporal constraint databases, Regularity of ultrafilters and the core model, The computational complexity of asymptotic problems. I: Partial orders, Infinite permutation groups. I: Products of conjugacy classes, A simplified proof of \(DDL<DL\), Strong conceptual completeness for first-order logic, Eliminating the fixed predicates from a circumscription, Finitely representable databases, Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks, Completeness proofs for propositional logic with polynomial-time connectives, On the automorphism groups of homogeneous and saturated Boolean algebras, A first order logic of effects, Minimal and prime models of complete theories of torsion free abelian groups, Monadic theory of order and topology. II, Rings of real-valued continuous functions. II, On the automorphism groups of countable Boolean algebras, On full embeddings. I, Automatic model construction, Stability of decision systems under majority rule, Observational ultraproducts of polynomial coalgebras., Axiomatic data type specifications: A first order theory of linear lists, Model completeness of some metric completions of absolutely free algebras, Repairing the interpolation theorem in quantified modal logic, Non-isomorphic hyper-real fields from non-isomorphic ultrapowers, Floyd's principle, correctness theories and program equivalence, A complete logic for reasoning about programs via nonstandard model theory. I, A complete logic for reasoning about programs via nonstandard model theory. II, Solutions of algebraic differential equations, Infinite groups, Programs and program verifications in a general setting, Mathematical modal logic: A view of its evolution, A few remarks on Rowbottom cardinals, Definability by programs in first-order structures, On free constructions, Algebraic number fields elementarily determined by their absolute Galois group, Certain Boolean equations, Transitive primitive permutation groups acting on trees, Extensions of semigroup valued, finitely additive measures, On \(\kappa\)-complete reduced products, The age of a relational structure, Universal elements and the complexity of certain classes of infinite graphs, Distanced graphs, Abstract minimality and circumscription, A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses, What do numbers measure? A new approach to fundamental measurement, Inferring the equivalence of functional programs that mutate data, Complexity of logical theories involving coprimality, Finite images and elementary equivalence of completely regular inverse semigroups, Injective positively ordered monoids. I, Injective positively ordered monoids. II, Quantifiers and approximation, Syntactic characterization of closure under connected limits, Ranks and definability in superstable theories, Completeness theorems for continuous functions and product topologies, The problem of envelopes for Banach spaces, Nonstandard hulls of Banach spaces, On expandability of models of Peano arithmetic. I, \(\eta_\alpha\)-Strukturen, Refuting Ehrenfeucht conjecture on rigid models, Stability of social choices in infinitely large societies, Decomposing uncountable squares to countably many chains, \(\aleph_0\)-categoricity and stability of rings, Robinson forcing is not absolute, Jonsson algebras in successor cardinals, The old and the new logic of metascience, Totally categorical groups and rings, A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic, Modal languages and bounded fragments of predicate logic, Definable deduction relation, Simple groups of finite Morley rank and Tits buildings, Simplification of boolean verification conditions, Nondiscrete topological groups with many discrete subgroups, On the theories of free solvable groups, The wholeness axiom and Laver sequences, Algebraic geometry over groups. I: Algebraic sets and ideal theory, Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics, Quantifier elimination for Henselian fields relative to additive and multiplicative congruences, Automorphism groups of countable highly homogeneous partially ordered sets, Tensor functors and finite representation type, Decomposition of strongly separative monoids, On generalized van Benthem-type characterizations, Integrated semantics and logic metric spaces, Degrees of autostability relative to strong constructivizations of graphs, Isomorphic limit ultrapowers for infinitary logic, The spectrum of elementary embeddings \(j: V \to V\), Closure properties of locally finite \(\omega\)-languages, On the structure of nonarchimedean exponential fields. I, Hennessy-Milner and van Benthem for instantial neighbourhood logic, First order theory of cyclically ordered groups, Polygons with a \((P,1)\)-stable theory, Co-elementary equivalence for compact Hausdorff spaces and compact abelian groups, Inductive definitions over finite structures, Analogical proportions, Implicit function theorem over free groups., Varieties of complex algebras, Back and forth relations for reduced abelian \(p\)-groups, A modal logic for supervised learning, Universal abelian groups, Is the principle of contradiction a consequence of \(x^2=x\)?, Positive Jonsson theories, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Worlds of homogeneous artifacts, Models of the axiomatic theory associated with the lattice of subspaces of a finite-dimensional Hilbert space, Infinite homogeneous bipartite graphs with unequal sides, Iterated ultrapowers for the masses, Condensational equivalence, equimorphism, elementary equivalence and similar similarities, Logical quantizations of first-order structures, On the elementary geometry of universal algebras and on the equivalence of clones relative to this geometry, \( P \)-stability of some classes of \(S \)-acts, Normal forms for second-order logic over finite structures, and classification of NP optimization problems, In memoriam: James Earl Baumgartner (1943--2011), Axiomatizability of the class of weakly injective \(S\)-acts, Message exchange games in strategic contexts, Towards understanding the Pierce-Birkhoff conjecture via MV-algebras, Ultraproducts preserve finite subdirect reducibility, Approximation types describing extensions of valuations to rational function fields, Universal algebraic geometry: syntax and semantics, Elementary equivalence of endomorphism monoids of almost free \(S\)-acts, Distributed first order logic, A metatheory of a mechanized object theory, On the \(\forall \exists \)-theories of free projective planes, The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models, A note on decidable categoricity and index sets, \(P\)-stable polygons, Fields with automorphism and valuation, Frege and the origins of model theory in nineteenth century geometry, Varieties of misrepresentation and homomorphism, Logics for belief functions on MV-algebras, Generalization of Shapiro's theorem to higher arities and noninjective notations, A dividing line within simple unstable theories, Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics, Characterization, definability and separation via saturated models, On direct and inverse limits of retractive spectra, Lefschetz extensions, tight closure and big Cohen-Macaulay algebras, Closed groups induced by finitary permutations and their actions on trees, Probabilistic characterisation of models of first-order theories, On the existence of universal models, An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic, A criterion of elementary equivalence of automorphism groups of unreduced abelian \(p\)-groups., Analytic Zariski structures and the Hrushovski construction, A generalization of von Neumann regularity, Some formal tools for analyzing quantum automata., On Horn theories, Quelques remarques sur l'équivalence élémentaire entre groupes ou treillis d'automorphismes de chaines 2-homogènes, Zwart and Franssen's impossibility theorem holds for possible-world-accounts but not for consequence-accounts to verisimilitude, Models of set theory with definable ordinals, Remarks on Artin approximation with constraints, Asymptotic cones of finitely presented groups, A modal proof theory for final polynomial coalgebras, Satisfaction of existential theories in finitely presented groups and some embedding theorems., Twin paradox and the logical foundation of relativity theory, A generalization of the Artin theorem, The primitive normality of a class of weakly injective \(S\)-acts, Categoricity spectra of computable structures, Back-and-forth systems for fuzzy first-order models, Canonical extensions and ultraproducts of polarities, On ultrafilter extensions of first-order models and ultrafilter interpretations, Analogy calculus, A technique for proving decidability of containment and equivalence of linear constraint queries, Turing degrees of complete formulas of almost prime models, Primitive normality and primitive connectedness of a class of divisible polygons, The degree of decidable categoricity of a model with infinite solutions for complete formulas, Totally transcendental theories of modules: Decomposition of models and types, A unifying theorem for algebraic semantics and dynamic logics, Nonstandard fuzzy sets, Ordinal scales in the theory of measurement, Categoricity in hyperarithmetical degrees, A note on complex \(p\)-adic exponential fields, Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic, Boolean classifying topoi, Covering in the lattice of equational theories and some properties of term finite theories, On the structure of \(\aleph_0\)-categorical groups, Algebraic geometry over groups. II: Logical foundations, Partition subalgebras for maximal almost disjoint families, A compactness argument in the additive theory and the polynomial method., Logical systems for structured specifications., Rings of quotients of finite \(AW^{\ast}\)-algebras: representation and algebraic approximation, \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings, Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem., Non-standard probability, coherence and conditional probability on many-valued events, Simple homogeneous models, On $+\infty$-$\omega_0$-generated field extensions, The Interior Operator Logic and Product Topologies, ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD, Unnamed Item, Unnamed Item, Beyond Logical Approach to Systems Theory, Universal extensions of specialization semilattices, Ultraproduct Invariant Logics, Unnamed Item, Groups whose universal theory is axiomatizable by quasi-identities, Sabotage Modal Logic: Some Model and Proof Theoretic Aspects, Model-Theoretic Characterizations of Arcs and Simple Closed Curves, Persistently Finite Theories with Hyperarithmetic Models, Probabilities of First-Order Sentences about Unary Functions, Some Results on Locally Finitely Presentable Categories, Maximal Logics, Ultrapowers and Local Properties of Banach Spaces, Properties of Elementary Embeddability in Model Theory, Independent Families in Complete Boolean Algebras, Restricted injectivity, transfer property and decompositions of separative positively ordered monoids., Unnamed Item, Prime Model with No Degree of Autostability Relative to Strong Constructivizations, Sheaf Constructions and Their Elementary Properties, Modeloids. I, Unnamed Item, On Residual Properties, Recent results in the theory of constant reductions, On Productive Classes of Function Rings, Application of a Tauberian theorem to finite model theory, Unnamed Item, Constructing regular ultrafilters from a model-theoretic point of view, An equivalence preserving first order unfold/fold transformation system, Definability in the class of all -frames – computability and complexity, Inference Processes for Quantified Predicate Knowledge, Zariski geometries, On the Universal Theory of Classes of Finite Models, Syntax versus semantics in knowledge bases – I, Action of endomorphism semigroups on definable sets, Types of points and algebras, Some Universal Sets of Terms, Ultrafilters and almost disjoint sets. II, Type Structure Complexity and Decidability, Continuous Fragment of the mu-Calculus, THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS, Unions of Loeb nullsets, Duality Between Logics and Equivalence Relations, Formal reasoning about modules, reuse and their correctness, Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems, Unnamed Item, Unnamed Item, Degrees of Indiscernibles in Decidable Models, Unnamed Item, Polish Group Actions and the Vaught Conjecture, A Calculus of Terms for Coalgebras of Polynomial Functors, A Characterization of Function Rings with Boolean Domain, Some model theory for monotone quantifiers, The theory of differentially closed fields in logics with cardinal quantifiers, Monotone Relations, Fixed Points and Recursive Definitions, Extension del concepto de energia informacional de Onicescu basado en el analisis no estandar, On the Generic Existence of Special Ultrafilters, Zariski geometries, Pseudobases in Direct Powers of an Algebra, Ordered Rings Over Which Output Sets are Recursively Enumerable Sets, On the elementary theory of inductive order, Some logical invariants of algebras and logical relations between algebras, On the Number of Squares in a Group, Definable additive categories: purity and model theory, Elementary Equivalence and Profinite Completions: A Characterization of Finitely Generated Abelian-by-Finite Groups, Generalized ultrapowers, A Two-Cardinal Theorem, On systems of equations over free partially commutative groups, The atomic model theorem and type omitting, Unnamed Item, Eine algebraische Konstruktion abzählbarer Modelle, Unnamed Item, Unnamed Item, Unnamed Item, On Characterization, Definability and ω-Saturated Models, The Cardinality of Reduced Power Set Algebras, Unnamed Item, Generalized Quantifiers and Compact Logic, The theorems of beth and Craig in abstract model theory II. Compact logics, Ultrapowers and boolean ultrapowers of θ and θ1, A Simple Construction of Robinson Equivalence Relations, Unnamed Item, A unifying approach to theorems on preservation and interpolation for binary relations between structures, From Probability Measures to Each Lévy Triplet and Back, Weakly Normal Filters and Irregular Ultrafilters, Effectively dense Boolean algebras and their applications, On the Reconstruction of Topological Spaces from Their Groups of Homeomorphisms, Tarski’s problem about the elementary theory of free groups has a positive solution, Nonregular Ultrafilters and Large Cardinals, Extendible Sets in Peano Arithmetic, A Separable Space with no Remote Points, Unnamed Item, A New Omitting Types Theorem, Vaught’s conjecture and the Glimm-Effros property for Polish transformation groups, A Two-Cardinal Theorem and a Combinatorial Theorem, Homogeneous limit reduced powers, Equational logics (birkhoff's method revisited), Orthosystems of submodules of a module, Unnamed Item, Finite-Variable Logics Do Not Have Weak Beth Definability Property, Between reduced powers and ultrapowers, What is a logical theory? On theories containing assertions and denials, On blocks in the products and ultraproducts of orthomodular lattices, Back and Forth in Positive Logic, Smallness in topology, Sharp Vaught's conjecture for some classes of partial orders, Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups, Higher reciprocity law and an analogue of the Grunwald-Wang theorem for the ring of polynomials over an ultra-finite field, Generalized stability of the class of injective \(S\)-acts, From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract), Axiomatizability of homological classes of semimodules over semirings, Semantic limits of dense combinatorial objects, MacNeille completions and canonical extensions, Invariants, Boolean algebras and ACA₀⁺, Formal power series, TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY, Which group algebras cannot be made zero by imposing a single non-monomial relation?, Sandwiches of ages, A \(\kappa\)-denotational semantics for map theory in ZFC+SI, Failure of interpolation in combined modal logics, On interpretability of almost linear orderings, Locally finite languages, Local Models Semantics, or contextual reasoning = locality + compatibility, Formal language properties of hybrid systems with strong resets, The Goldbach \(3\)-primes property for polynomial rings over certain infinite fields, Wadge hierarchy of omega context-free languages, Ultrafilters and Independent Sets, Divisible multiplicative groups of fields, Ultraproducts of Admissible Models for Quantified Modal Logic, Decompositions of decidable abelian groups, Nonnegative solvability of linear equations in certain ordered rings, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, On automorphisms of relatively free groups, Only persistence makes nonmonotonicity monotonous, Varieties with Cofinal Sets: Examples and Amalgamation, Syntax versus semantics in knowledge bases II, Schema Mappings: A Case of Logical Dynamics in Database Theory, Hypergraphs With Finitely Many Isomorphism Subtypes