Model theory

zbMath0276.02032MaRDI QIDQ1393228

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 (only showing first 100 items - show all)

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

This page was built for publication: Model theory