UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

Which Classes of Structures are Both Pseudo-Elementary and Definable by an Infinitary Sentence

Simple item page
dc.contributor.authorBoney, Will
dc.contributor.authorCsima, Barbara F.
dc.contributor.authorDay, Nancy A.
dc.contributor.authorHarrison-Trainor, Matthew
dc.date.accessioned2023-07-24T15:11:46Z
dc.date.available2023-07-24T15:11:46Z
dc.date.issued2023-03-15
dc.description© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.en
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.identifier.urihttps://doi.org/10.1017/bsl.2023.1
dc.identifier.urihttp://hdl.handle.net/10012/19630
dc.language.isoenen
dc.publisherCambridge University Pressen
dc.relation.ispartofseriesBulletin of Symbolic Logic;
dc.rightsAttribution 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.subjectextensions of first order logicen
dc.subjectinfinitarily definable classesen
dc.subjectpseudo-elementary classesen
dc.subjectinfinitary logicen
dc.titleWhich Classes of Structures are Both Pseudo-Elementary and Definable by an Infinitary Sentenceen
dc.typeArticleen
dcterms.bibliographicCitationBONEY, W., CSIMA, B., DAY, N., & HARRISON-TRAINOR, M. (2023). WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? Bulletin of Symbolic Logic, 29(1), 1-18. doi:10.1017/bsl.2023.1en
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen
uws.peerReviewStatusRevieweden
uws.scholarLevelFacultyen
uws.typeOfResourceTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
which-classes-of-structures-are-both-pseudo-elementary-and-definable-by-an-infinitary-sentence.pdf
Size:
314.11 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.47 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Waterloo Research