Stationary logic and its friends. II

DOI10.1305/NDJFL/1093636521zbMATH Open0614.03033OpenAlexW2075570681MaRDI QIDQ1820150FDOQ1820150

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

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

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)

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
• Title not available (Why is that?)
• 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?)
• 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)