There are reasonably nice logics

DOI10.2307/2274921zbMath0744.03039OpenAlexW2136001726MaRDI 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

zbMATH Keywords

interpolation theoremultralimitsweakly compact cardinalpair preservation propertyMagidor-Malitz logicelementary chain lemmaLoś-Tarski theoremRobinson's lemmauncountable strongly compact cardinals

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Related Items (2)

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

• Remarks in abstract model theory
• Some applications of Henkin quantifiers
• On the nonaxiomatizability of some logics by finitely many schemas
• Infinite games and reduced products
• Compact extensions of L(Q) (part 1a)
• An axiomatization for a class of two-cardinal models

This page was built for publication: There are reasonably nice logics