Nice infinitary logics
From MaRDI portal
Publication:2879888
DOI10.1090/S0894-0347-2011-00712-1zbMath1251.03044arXiv1005.2806MaRDI QIDQ2879888
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
interpolation; characterization theorems; well-ordering; abstract model theory; Lindström theorem; soft model theory
03C80: Logic with extra quantifiers and operators
03C55: Set-theoretic model theory
03C95: Abstract model theory