A correction to “stationary logic”

DOI10.1016/0003-4843(81)90004-8zbMath0457.03034OpenAlexW1990173569MaRDI QIDQ3905263

Michael Makkai, Jon Barwise, Matt Kaufmann

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 typesLöwenheim-Skolem theoremsecond-order quantifier

Mathematics Subject Classification ID

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

Related Items (8)

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

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