Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?
Abstract
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and Lω1,ω-elementary? We find that these are exactly the classes that can be defined by an infinitary formula that has no infinitary disjunctions.
Collections
Cite this version of the work
Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor
(2019).
Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?. UWSpace.
http://hdl.handle.net/10012/16042
Other formats