A correction to “stationary logic”
From MaRDI portal
Publication:3905263
DOI10.1016/0003-4843(81)90004-8zbMath0457.03034MaRDI 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
Related Items
Barwise: Abstract Model Theory and Generalized Quantifiers, Generalized quantification as substructural logic, Remarks in abstract model theory, A cut elimination theorem for stationary logic, On compactness of logics that can express properties of symmetry or connectivity, Undecidable Theories in Stationary Logic, Ultraproduct Invariant Logics, Stationary Logic and Ordinals