Stationary logic and its friends. I

DOI10.1305/NDJFL/1093870821MaRDI QIDQ1820149zbMATH OpenOpenAlexFDO

Authors S. 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)

Recommendations

• Stationary logic and its friends. II
• scientific article; zbMATH DE number 3941517
• Remarks in abstract model theory
• Some remarks on equivalence in infinitary and stationary logic
• The Hanf number of stationary logic

Cited in

(16)

• Model constructions in stationary logic. II: Definable ultrapowers
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• Stationary logic and its friends. II
• On coherent systems of projections forN₁-separable groups
• Harmonious logic: Craig's interpolation theorem and its descendants
• ω-Trees in stationary logic
• The Craig interpolation theorem in abstract model theory
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Obituary: Alan Mekler
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• scientific article; zbMATH DE number 3941517 (Why is no real title available?)
• The Hanf number of stationary logic
• On the homogeneity property for certain quantifier logics
• Automorphism properties of stationary logic
• Definability properties and the congruence closure
• Remarks in abstract model theory

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

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