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

consistencycongruence closure\(\lambda \)-interpretationclosure operation for abstract logicdefinable congruencesdefinable substructuresfinitely determinate modelL(aa)

Mathematics Subject Classification ID

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

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)

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

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)