Axioms for abstract model theory

DOI10.1016/0003-4843(74)90016-3zbMATH Open0324.02034OpenAlexW1974483963WikidataQ56519717 ScholiaQ56519717MaRDI QIDQ4087162FDOQ4087162

Authors: Jon Barwise 

Publication date: 1974

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(74)90016-3

Mathematics Subject Classification ID

Other classical first-order model theory (03C68) Model theory (03C99)

Cited In (64)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• A Lindström theorem for intuitionistic first-order logic
• A logical consequence informed by probability
• Conservative translations revisited
• MAXIMALITY OF LOGIC WITHOUT IDENTITY
• Essential concepts of algebraic specification and program development
• Homomorphisms from Functional Equations in Probability
• Specifications in an arbitrary institution
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• The role of the Omitting Types Theorem in infinitary logic
• Quantified modal logic: non-normal worlds and propositional attitudes
• An introduction to category-based equational logic
• A note on syntactical and semantical functions
• The Härtig quantifier: a survey
• Probabilization of logics: completeness and decidability
• Automatic synthesis of logical models for order-sorted first-order theories
• On the existence of free models in abstract algebraic institutions
• Category-based modularisation for equational logic programming
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• The old and the new logic of metascience
• Model theoretic characterizations of large cardinals
• On orderings of the family of all logics
• On observational equivalence and algebraic specification
• On the semantics of the Henkin quantifier
• Ultraproduct Invariant Logics
• Inverse topological systems and compactness in abstract model theory
• On conceptual completeness of syntactic-semantical systems
• Maximal Logics
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• Definability hierarchies of generalized quantifiers
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Extensions of countable infinitary logic which preserve most of its nice properties
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Interpolation, compactness and JEP in soft model theory
• On complementedly normal lattices
• Barwise: Abstract Model Theory and Generalized Quantifiers
• A Lindström theorem for intuitionistic propositional logic
• Duality Between Logics and Equivalence Relations
• The Craig interpolation theorem in abstract model theory
• General framework of structural similarity between system models
• A note on extensions of infinitary logic
• A shared framework for consequence operations and abstract model theory
• On the universality of atomic and molecular logics via protologics
• Quasi-varieties in abstract algebraic institutions
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
• Chain logic and Shelah's infinitary logic
• LOGICALITY AND MODEL CLASSES
• An institution-independent proof of the Beth definability theorem
• Calculus with the quantifier of elementary equivalence
• Inner models from extended logics. I
• Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic
• Ultraproducts and possible worlds semantics in institutions
• Positive results in abstract model theory: a theory of compact logics
• A logical study of the correspondence relation
• Logical operations and iterated infinitely deep languages
• Logics of finite Hankel rank
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Global inductive definability
• Relating CASL with other specification languages: the institution level.
• Lindström theorems in graded model theory
• Abstract categorical logic
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Logic representation in LF

This page was built for publication: Axioms for abstract model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4087162)