Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email as soon as possible. We are very sorry for the inconvenience.

Show simple item record

dc.contributor.authorBoney, Will
dc.contributor.authorCsima, Barbara F.
dc.contributor.authorDay, Nancy A.
dc.contributor.authorHarrison-Trainor, Matthew 15:46:24 (GMT) 15:46:24 (GMT)
dc.description.abstractWhen 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.en
dc.description.sponsorshipNatural Sciences and Engineering Research Council Discovery Grant 312501 || Natural Sciences and Engineering Research Council Banting Fellowshipen
dc.titleWhich classes of structures are both pseudo-elementary and definable by an infinitary sentence?en
dc.typeTechnical Reporten
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen
uws.contributor.affiliation2Pure Mathematicsen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages