There are reasonably nice logics

DOI10.2307/2274921MaRDI QIDQ3981457zbMATH OpenOpenAlexFDO

Authors Wilfrid Hodges, S. Shelah

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

elementary chain lemmainterpolation theoremLoś-Tarski theoremMagidor-Malitz logicpair preservation propertyRobinson's lemmaultralimitsuncountable strongly compact cardinalsweakly compact cardinal

Mathematics Subject Classification ID

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

Recommendations

• Nice infinitary logics
• Filter Logics on ω
• Some compact logics -- results in ZFC
• Ultrafilter translations. I: (, )-compactness of logics with a cardinality quantifier

Cites work

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

Cited in

(14)

• Harmonious logic: Craig's interpolation theorem and its descendants
• A note on extensions of infinitary logic
• Chain logic and Shelah's infinitary logic
• Isomorphic limit ultrapowers for infinitary logic
• Some compact logics -- results in ZFC
• Nice infinitary logics
• On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
• Downward transfer of satisfiability for sentences of L^1,1
• scientific article; zbMATH DE number 5000989 (Why is no real title available?)
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• Filter Logics on ω
• A simple solution to Friedman's fourth problem
• Some strong logics within combinatorial set theory and the logic of chains
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3981457)