The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

DOI10.1007/BF02937304zbMath0698.03029MaRDI QIDQ912089

Saharon Shelah

Publication date: 1990

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

interpolation; infinitary logic; definability; generalized quantifiers; Beth theorem; cardinality logic; Craig theorem; generalized logics

Mathematics Subject Classification ID

03C80: Logic with extra quantifiers and operators

03C40: Interpolation, preservation, definability

03C75: Other infinitary logic

03C95: Abstract model theory