Stationary logic and its friends. II
From MaRDI portal
Publication:1820150
DOI10.1305/ndjfl/1093636521zbMath0614.03033MaRDI 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
consistency; congruence closure; \(\lambda \)-interpretation; closure operation for abstract logic; definable congruences; definable substructures; finitely determinate model; L(aa)
03C80: Logic with extra quantifiers and operators
03C55: Set-theoretic model theory
03C95: Abstract model theory
Related Items