Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email jordan.hale@uwaterloo.ca 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
dc.date.accessioned2020-07-07 15:46:24 (GMT)
dc.date.available2020-07-07 15:46:24 (GMT)
dc.date.issued2019-03-21
dc.identifier.urihttp://hdl.handle.net/10012/16042
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.language.isoenen
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
uws.typeOfResourceTexten
uws.peerReviewStatusUnrevieweden
uws.scholarLevelFacultyen
uws.scholarLevelPost-Doctorateen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


UWSpace

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