A correction to “stationary logic”

DOI10.1016/0003-4843(81)90004-8zbMATH Open0457.03034OpenAlexW1990173569MaRDI QIDQ3905263FDOQ3905263

Authors: Jon Barwise, Matt Kaufmann, Michael Makkai 

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1016/0003-4843(81)90004-8

zbMATH Keywords

completenessomitting typessecond-order quantifierLöwenheim-Skolem theorem

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)

Cited In (8)

• On compactness of logics that can express properties of symmetry or connectivity
• Ultraproduct Invariant Logics
• Stationary Logic and Ordinals
• Undecidable Theories in Stationary Logic
• Generalized quantification as substructural logic
• Barwise: Abstract Model Theory and Generalized Quantifiers
• A cut elimination theorem for stationary logic
• Remarks in abstract model theory

This page was built for publication: A correction to “stationary logic”

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