Nice infinitary logics

DOI10.1090/S0894-0347-2011-00712-1zbMath1251.03044arXiv1005.2806MaRDI 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

interpolation; characterization theorems; well-ordering; abstract model theory; Lindström theorem; soft model theory

Mathematics Subject Classification ID

03C80: Logic with extra quantifiers and operators

03C55: Set-theoretic model theory

03C95: Abstract model theory

Related Items

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item