{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:36:23Z","timestamp":1774946183148,"version":"3.50.1"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T00:00:00Z","timestamp":1765756800000},"content-version":"unspecified","delay-in-days":14,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2025,12]]},"abstract":"Abstract<\/jats:title>\n \n This thesis presents my contributions to various aspects of the theory of universally Baire sets. One of these aspects is the smallest inner model containing all reals whose all sets of reals are universally Baire (viz.,\n \n \n \n $L(\\mathbb {R})$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n ) and its relation to its inner model\n \n \n \n $\\mathsf {HOD}$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n . We verify here that\n \n \n \n $\\mathsf {HOD}^{L(\\mathbb {R})}$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n enjoys a form of local definability inside\n \n \n \n $L(\\mathbb {R})$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n , further justifying its characterization as a \u201ccore model\u201d in\n \n \n \n $L(\\mathbb {R})$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n . We then study a \u201cbottom-up\u201d construction of more complicated universally Baire sets (more generally, determined sets). This construction allows us to give an \u201c\n L<\/jats:italic>\n -like\u201d description of the minimum model of\n \n \n \n $\\mathsf {AD}_{\\mathbb {R}} + \\mathsf {Cof}(\\Theta ) = \\Theta $<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n . A\u00a0consequence of this description is that this minimum model is contained in the Chang-plus model. Our construction, together with Woodin\u2019s work on the Chang-plus model, shows that a proper class of Woodin cardinals which are limits of Woodin cardinals implies the existence of a hod mouse with a measurable limit of Woodin cardinals whose strategy is universally Baire.\n <\/jats:p>\n \n Another aspect of the theory of universally Baire sets is the generic absoluteness and maximality associated with them. We include some results concerning generic\n \n \n \n $\\Sigma _1^{H(\\omega _2)}$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n -absoluteness with universally Baire sets as predicates or parameters, as well as generic\n \n \n \n $\\Pi _2^{H(\\omega _2)}$<\/jats:tex-math>\n <\/jats:alternatives>\n <\/jats:inline-formula>\n -maximality with universally Baire sets as predicates. In the second case, we are led to consider the general question of when a model of an infinitary propositional formula can be added by a stationary-set-preserving poset. We characterize when this happens in terms of a game which is a variant of the Model Existence Game. We then give a sufficient condition for this in terms of generic embeddings.\n <\/jats:p>\n Abstract taken directly from the thesis<\/jats:p>\n \n E-mail:<\/jats:italic>\n obrad@math.ucla.edu<\/jats:email>\n <\/jats:p>\n \n URL<\/jats:italic>\n :\n https:\/\/hal.science\/view\/index\/docid\/5273407<\/jats:uri>\n <\/jats:p>","DOI":"10.1017\/bsl.2025.10109","type":"journal-article","created":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T00:59:23Z","timestamp":1765760363000},"page":"695-696","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["O\n brad<\/scp>\n K\n asum<\/scp>\n .\n \n Investigation into phenomena surrounding universally Baire sets.<\/b>\n <\/i>\n Universit\u00e9 Paris Cit\u00e9. 2025. Supervised by Boban Veli\u010dkovi\u0107, Grigor Sargsyan. MSC: 03E40, 03E45, 03E55, 03E57, 03E60. Keywords: universally Baire sets, determinacy, \n$\\mathsf {HOD}$\n, mice, hod mice, Chang-plus model, stationary-set-preserving, Model Existence Game, \n$\\mathbb {P}_{\\max }$\n, generic absoluteness, generic maximality."],"prefix":"10.1017","volume":"31","member":"56","published-online":{"date-parts":[[2025,12,15]]},"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898625101091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T07:26:35Z","timestamp":1774941995000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898625101091\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["S1079898625101091"],"URL":"https:\/\/doi.org\/10.1017\/bsl.2025.10109","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}