Stationary logic

DOI10.1016/0003-4843(78)90003-7zbMath0372.02031OpenAlexW4210589687WikidataQ105836729 ScholiaQ105836729MaRDI QIDQ4149757

Matt Kaufmann, Jon Barwise, 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

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

Related Items (33)

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

This page was built for publication: Stationary logic