Stationary logic and its friends. II

DOI10.1305/NDJFL/1093636521MaRDI QIDQ1820150zbMATH OpenOpenAlexFDO

Authors S. Shelah, Alan H. Mekler

Publication date 1986

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

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

zbMATH Keywords

\(\lambda \)-interpretationclosure operation for abstract logiccongruence closureconsistencydefinable congruencesdefinable substructuresfinitely determinate modelL(aa)

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(17)

• Stationary logic of ordinals
• Remarks in abstract model theory
• Model constructions in stationary logic. II: Definable ultrapowers
• Obituary: Alan Mekler
• Stationary logic and its friends. I
• A double arity hierarchy theorem for transitive closure logic
• Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length
• scientific article; zbMATH DE number 3941517 (Why is no real title available?)
• scientific article; zbMATH DE number 51820 (Why is no real title available?)
• Automorphism properties of stationary logic
• Remarks on The Cartesian Closure
• The Beth-closure of ℒ(Q_α) is not finitely generated
• Stationary sets and infinitary logic
• Local character of Kim-independence
• κ-stationary subsets of , infinitary games, and distributive laws in Boolean algebras
• Definability properties and the congruence closure
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

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

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