Duality for Compact Logics and Substitution in Abstract Model Theory
From MaRDI portal
Publication:3347866
DOI10.1002/malq.19850313107zbMath0559.03024MaRDI QIDQ3347866
Publication date: 1985
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19850313107
compactness; algebraic characterization; Beth definability theorem; elementary equivalence relation generated by a logic; logics generated by abstract Fraissé-Ehrenfeucht systems
03C80: Logic with extra quantifiers and operators
03C40: Interpolation, preservation, definability
03C30: Other model constructions
03C95: Abstract model theory
Related Items