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

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03Cxx: Model theory

03H99: Nonstandard models

Related Items

Model-theoretic methods in combined constraint satisfiability, Ultrasheaves and double negation, Neat embeddings, omitting types, and interpolation: an overview, On the fullness of certain functors, Cancellation and elementary equivalence of groups, Algorithmic uses of the Feferman-Vaught theorem, Three-valued completion for abductive logic programs, Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, \(\mathbb{B}\)-fuzzy probabilities, A construction of Boolean algebras from first-order structures, Finite-model theory -- A personal perspective, Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers, On Horn spectra, Ultraproducts of PM-rings and MP-rings, Links between physics and set theory., Default theories over monadic languages, Horn axiomatizations for sequential data, On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers, The calculus of relations as a foundation for mathematics, A framework for measuring the complexity of mathematical concepts, Completions of \(\mu \)-algebras, Generic splitting for special groups, Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity, Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus, Measures and forking, 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), Filter spaces: Towards a unified theory of large cardinal and embedding axioms, A note on the stable model semantics for logic programs, An intelligent interactive project management support system, Complexity of Boolean algebras, Embeddings in groups of permutations with supports of bounded cardinality, The optimization of the domain problem. I: Basic concepts, Existentially closed linear groups, On the cohomological dimension of non-standard number fields, Domain theory in logical form, Proof normalization with nonstandard objects, Decidability problems in languages with Henkin quantifiers, Universal algebra in higher types, Valental aspects of Peircean algebraic logic, Quantified extensions of canonical propositional intermediate logics, A semantic characterization of the well-typed formulae of \(\lambda\)- calculus, Loeb extensions and ultrapowers of measures on fragments, Game sentences and ultrapowers, Forcing infinito generalizzato in teoria dei modelli, Coherence and consistency in domains, Combinatorial variability of Vapnik-Chervonenkis classes with applications to sample compression schemes, A conservative look at operational semantics with variable binding, Sentences over integral domains and their computational complexities, Randomizing a model, Universal graphs with forbidden subgraphs and algebraic closure, Weak measure extension axioms, Notions of density that imply representability in algebraic logic, Decidable Boolean algebras of low level, Purity and injectivity in accessible categories, Distinguishing three strong saturation properties in nonstandard analysis, Categoricity for abstract classes with amalgamation, Extended order-generic queries, Forcing in nonstandard analysis, Finite \(H\)-dimension does not imply expressive completeness, P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\), Completeness results for intuitionistic and modal logic in a categorical setting, First-order queries on databases embedded in an infinite structure, On elementary equivalence for equality-free logic, Proper cuts in \(^*R\), How to define a linear order on finite models, Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe, Model completions and r-Heyting categories, Finitely presented partially ordered abelian groups, Ontologies for plane, polygonal mereotopology, Proof systems for structured specifications with observability operators, Queries with arithmetical constraints, Reachability and connectivity queries in constraint databases, Quantifier rank for parity of embedded finite models., An essay on model theory, Bounds for the representation of quadratic forms., Limits of theory sequences over algebraically closed fields and applications., Covers for monoids., Perfect pseudo-algebraically closed fields are algebraically bounded., Alpha-theory: An elementary axiomatics for nonstandard analysis, On \(\vartriangleleft^{*}\)-maximality., Decidability and complexity of simultaneous rigid E-unification with one variable and related results, Proto-semantics for positive free logic, Definable utility in o-minimal structures., Inaccessible set axioms may have little consistency strength, Weak elimination of imaginaries for Boolean algebras, Liouville closed \(H\)-fields, Completions, valuations and ultrapowers of Noetherian domains, Prime ideals in ultraproducts of commutative rings, Limit groups as limits of free groups., Logic with equality: Partisan corroboration and shifted pairing, A comparative study of open default theories, Combinatorial principles in nonstandard analysis, Elementary polyhedral mereotopology, Numerosities of labelled sets: A new way of counting, On the expressiveness of choice quantification, Observational logic, constructor-based logic, and their duality., Normal conditions for inference relations and injective models, Interpolation in Grothendieck institutions, Modal and guarded characterisation theorems over finite transition systems, Unnamed Item, Generalizations of free groups: some questions, Co-elementary equivalence, co-elementary maps, and generalized arcs, Négation constructive et axiomatique interne, Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics, An application of ramsey’s theorem to groups with homogeneous theory, Stability theory, permutations of indiscernibles, and embedded finite models, A purely algebraic characterization of the hyperreal numbers, The structure of conjugacy closed loops, On the computability-theoretic complexity of trivial, strongly minimal models, Invariant Synthesis for Combined Theories, Space of real arc germs and Poincaré series of a semi-algebraic set, Modal logics that need very large frames, Realism, nonstandard set theory, and large cardinals, Neocompact quantifier elimination in structures based on Banach spaces, The generic filter property in nonstandard analysis, Symbolic reachability computation for families of linear vector fields, The Manin-Mumford conjecture and the model theory of difference fields, On the classification of stable domains, Boolean products of real closed valuation rings and fields, Some model-theoretic results in the algebraic theory of quadratic forms, A general condition for collapse results, Quantitative solution of omega-regular games, Back and forth relations for reduced abelian \(p\)-groups, A modal logic for subjective default reasoning, On properties of theories which preclude the existence of universal models, Similarity between preferential models, Line-based affine reasoning in Euclidean plane, Closure properties for the class of behavioral models, Ultraproducts and possible worlds semantics in institutions, Existence varieties of regular rings and complemented modular lattices, On the expressiveness and decidability of o-minimal hybrid systems, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, An Aristotelian notion of size, Quadratic form theory over preordered von Neumann-regular rings, Splitting bisimulations and retrospective conditions, A poset hierarchy, Chainability and Hemmingsen's theorem, A characterization theorem for injective model classes axiomatized by general rules, Approximate extension of partial \(\varepsilon\)-characters of Abelian groups to characters with application to integral point lattices., How rigid are reduced products?, \(\pi\)-calculus with noisy channels, Strongly representable atom structures of relation algebras, Abelian groups with layered tiles and the sumset phenomenon, Universal graphs at the successor of a singular cardinal, Canonical functions, non-regular ultrafilters and Ulam's problem on ω₁, Boolean Logics with Relations, Complexity of Ehrenfeucht models, Unnamed Item, How to Restore Compactness into Probabilistic Logics?, Unnamed Item, Unnamed Item, Unnamed Item, Orthosymmetric Ortholattices, Algorithmic Procedures