Nice infinitary logics

DOI10.1090/S0894-0347-2011-00712-1zbMath1251.03044arXiv1005.2806OpenAlexW1979392595MaRDI QIDQ2879888

Saharon Shelah

Publication date: 5 April 2012

Published in: Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.2806

zbMATH Keywords

interpolationcharacterization theoremswell-orderingabstract model theoryLindström theoremsoft model theory

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55) Abstract model theory (03C95)

Related Items (7)

WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? ⋮ Isomorphic limit ultrapowers for infinitary logic ⋮ Unnamed Item ⋮ Games and Lindström theorems ⋮ Infinitary logics and abstract elementary classes ⋮ Chain logic and Shelah's infinitary logic ⋮ Nice infinitary logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructions of many complicated uncountable structures and Boolean algebras
• Homogeneous Boolean algebras may have non-simple automorphism groups
• Remarks in abstract model theory
• Proper forcing
• The number of non-isomorphic models of an unstable first-order theory
• On a non-vanishing Ext
• Nice infinitary logics
• The first order properties of products of algebraic systems
• An upper cardinal bound on absolute E-rings
• Absolutely indecomposable modules
• Appendix to models with second order properties II trees with no undefined branches
• On models with power-like orderings
• On direct products of theories

This page was built for publication: Nice infinitary logics