Model theory.

Publication date: 17 September 1992

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

zbMATH Keywords

superstructures Skolem functions ultraproducts model completeness internal set theory recursively saturated models first-order model theory applications to algebra Lindström characterization of first-order logic nonstandard universes

Mathematics Subject Classification ID

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) Nonstandard models (03H99)

Related Items (only showing first 100 items - show all)

Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity ⋮ Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus ⋮ Modal definability based on Łukasiewicz validity relations ⋮ Representation growth and rational singularities of the moduli space of local systems ⋮ Unwinding modal paradoxes on digraphs ⋮ On modal logics of model-theoretic relations ⋮ On the complexity of Boolean unification ⋮ Arithmetic groups, base change, and representation growth. ⋮ Reasoning about negligibility and proximity in the set of all hyperreals ⋮ Representable posets ⋮ Ultrafilter convergence in ordered topological spaces ⋮ Ultracoproduct continua and their regular subcontinua ⋮ Model-theoretic imaginaries and coherent sheaves ⋮ Measures and forking ⋮ Fields with almost small absolute Galois group ⋮ Cofinality spectrum problems: the axiomatic approach ⋮ Closures and generating sets related to combinations of structures ⋮ Default theories over monadic languages ⋮ Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence) ⋮ Les cogroupes et les D-hypergroupes. (Cogroups and D-hypergroups) ⋮ Horn axiomatizations for sequential data ⋮ Filter spaces: Towards a unified theory of large cardinal and embedding axioms ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers ⋮ The calculus of relations as a foundation for mathematics ⋮ Boolean logics with relations ⋮ A note on the stable model semantics for logic programs ⋮ A logic road from special relativity to general relativity ⋮ An intelligent interactive project management support system ⋮ A geometrical characterization of the twin paradox and its variants ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ Complexity of Boolean algebras ⋮ Exponentially closed fields and the conjecture on intersections with tori ⋮ Polycyclic-by-finite groups and first-order sentences ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Axiomatizability of representable domain algebras ⋮ Embeddings in groups of permutations with supports of bounded cardinality ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ The complexity of reasoning with FODD and GFODD ⋮ Completely representable lattices ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ A generalization of the Łoś-Tarski preservation theorem ⋮ On the verification of security-aware E-services ⋮ What's right with a syntactic approach to theories and models? ⋮ Craig interpolation for networks of sentences ⋮ Spectral real semigroups ⋮ The embedding structure for linearly ordered topological spaces ⋮ The optimization of the domain problem. I: Basic concepts ⋮ Existentially closed linear groups ⋮ A framework for measuring the complexity of mathematical concepts ⋮ Quasi-selective ultrafilters and asymptotic numerosities ⋮ A measure-theoretic approach to the theory of dense hypergraphs ⋮ Homomorphisms on infinite direct product algebras, especially Lie algebras ⋮ Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras ⋮ Trivial automorphisms ⋮ Completions of \(\mu \)-algebras ⋮ The existence of superluminal particles is consistent with relativistic dynamics ⋮ On the cohomological dimension of non-standard number fields ⋮ Graph components of prime spectra ⋮ Domain theory in logical form ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ Three-valued completion for abductive logic programs ⋮ A dichotomy for some elementarily generated modal logics ⋮ Syntactic characterizations of closure under pullbacks and of locally polypresentable categories ⋮ Generic splitting for special groups ⋮ On small abstract quotients of Lie groups and locally compact groups ⋮ \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters ⋮ \(\mathbb{B}\)-fuzzy probabilities ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ A construction of Boolean algebras from first-order structures ⋮ Finite-model theory -- A personal perspective ⋮ Magidor-Malitz reflection ⋮ An integer construction of infinitesimals: toward a theory of eudoxus hyperreals ⋮ Forking in short and tame abstract elementary classes ⋮ \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations ⋮ On the first-order expressibility of lattice properties related to unicoherence in continua ⋮ Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers ⋮ Theories of initial segments of standard models of arithmetics and their complete extensions ⋮ The axiomatization of override and update ⋮ Model-theoretic methods in combined constraint satisfiability ⋮ Ultrasheaves and double negation ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Small universal families for graphs omitting cliques without GCH ⋮ Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras ⋮ Some characterization and preservation theorems in modal logic ⋮ Generalising canonical extension to the categorical setting ⋮ On the fullness of certain functors ⋮ Cancellation and elementary equivalence of groups ⋮ Theories with the independence property ⋮ The bounded proof property via step algebras and step frames ⋮ \(\aleph\)-injective Banach spaces and \(\aleph\)-projective compacta ⋮ When is there state independence? ⋮ Modal languages for topology: expressivity and definability ⋮ On Horn spectra ⋮ Exploiting functional dependencies in declarative problem specifications ⋮ Ultraproducts of PM-rings and MP-rings ⋮ Links between physics and set theory.

This page was built for publication: Model theory.