Stationary logic and its friends. I

DOI10.1305/ndjfl/1093870821zbMath0614.03032OpenAlexW4236573881MaRDI QIDQ1820149

Saharon Shelah, Alan H. Mekler

Publication date: 1985

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870821

zbMATH Keywords

forcingL(aa)weak Beth property

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55)

Related Items (10)

Remarks in abstract model theory ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ On coherent systems of projections forN₁-separable groups ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ On the homogeneity property for certain quantifier logics ⋮ Obituary: Alan Mekler ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ The Craig interpolation theorem in abstract model theory ⋮ Definability properties and the congruence closure

This page was built for publication: Stationary logic and its friends. I