Stationary logic and its friends. I

DOI10.1305/NDJFL/1093870821zbMATH Open0614.03032OpenAlexW4236573881MaRDI QIDQ1820149FDOQ1820149

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

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

zbMATH Keywords

forcingL(aa)weak Beth property

Mathematics Subject Classification ID

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

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
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• The Craig interpolation theorem in abstract model theory
• Obituary: Alan Mekler
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• Title not available (Why is that?)
• 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)