There are reasonably nice logics
From MaRDI portal
Publication:3981457
DOI10.2307/2274921zbMath0744.03039MaRDI QIDQ3981457
Saharon Shelah, Wilfrid Hodges
Publication date: 26 June 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274921
interpolation theorem; ultralimits; weakly compact cardinal; pair preservation property; Magidor-Malitz logic; elementary chain lemma; Loś-Tarski theorem; Robinson's lemma; uncountable strongly compact cardinals
Related Items
The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics, Harmonious logic: Craig's interpolation theorem and its descendants
Cites Work