Stationary logic

DOI10.1016/0003-4843(78)90003-7zbMATH Open0372.02031OpenAlexW4210589687WikidataQ105836729 ScholiaQ105836729MaRDI QIDQ4149757FDOQ4149757

Authors: Jon Barwise, Matt Kaufmann, Michael Makkai 

Publication date: 1978

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

Full work available at URL: https://doi.org/10.1016/0003-4843(78)90003-7

Mathematics Subject Classification ID

Other model constructions (03C30) Logic with extra quantifiers and operators (03C80) Proof theory and constructive mathematics (03F99)

Cited In (33)

• Filtration games and potentially projective modules
• New axiomatizations for logics with generalized quantifiers
• The role of the Omitting Types Theorem in infinitary logic
• Classification theory through stationary logic
• Local character of Kim-independence
• Set theory with a filter quantifier
• On compactness of logics that can express properties of symmetry or connectivity
• A new omitting types theorem for L(Q)
• Inverse topological systems and compactness in abstract model theory
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• Definability hierarchies of generalized quantifiers
• \(\text{PA} (aa)\)
• The measure quantifier
• Generalized quantification as substructural logic
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Barwise: Abstract Model Theory and Generalized Quantifiers
• Weakly compact cardinals in models of set theory
• Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979
• The Craig interpolation theorem in abstract model theory
• A nonconservativity result on global choice
• Iterated elementary embeddings and the model theory of infinitary logic
• A cut elimination theorem for stationary logic
• Model constructions in stationary logic. Part I. Forcing
• An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
• Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group
• Some contributions to definability theory for languages with generalized quantifiers
• Inner models from extended logics. I
• Positive results in abstract model theory: a theory of compact logics
• On the homogeneity property for certain quantifier logics
• Stationary logic of ordinals
• Automorphism properties of stationary logic
• Barwise: Infinitary Logic and Admissible Sets
• On Shelah's compactness of cardinals

This page was built for publication: Stationary logic

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