Stationary logic and its friends. II

DOI10.1305/ndjfl/1093636521zbMath0614.03033OpenAlexW2075570681MaRDI QIDQ1820150

Saharon 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) Set-theoretic model theory (03C55) Abstract model theory (03C95)

Related Items (8)

Remarks in abstract model theory ⋮ A double arity hierarchy theorem for transitive closure logic ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ Local character of Kim-independence ⋮ κ-stationary subsets of , infinitary games, and distributive laws in Boolean algebras ⋮ Obituary: Alan Mekler ⋮ Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length ⋮ Definability properties and the congruence closure

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