{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/112983"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/112983","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Pairs and predicates in expansions of o-minimal structures","abstract":"This thesis establishes new results concerning the interactions of some model-theoretic notions of tameness with other more geometric notions of tameness, among other properties. In particular, the results range from characterizing the existence of a model companion for a certain kind of extension of o-minimal theories by a unary predicate, to establishing a more robust framework for identifying pairs (of models of geometric theories) with near model completeness, to answering questions about what combinations of model-theoretic tameness and o-minimal open core imply a stronger tameness notion, to characterizing the tameness properties of the expansion of $(\\mathbb{R},<,+,0,1)$ by a predicate for an $r$-regular subset of $[0,1]$. The focus of Chapter 3 of this thesis is the extension $T_{\\mathcal{G}}$ of a complete o-minimal $\\mathcal{L}$-theory $T$ to the language $\\mathcal{L}_{\\mathcal{G}}:=\\mathcal{L} \\cup \\{ \\mathcal{G} \\}$, where $\\mathcal{G}$ is a unary predicate that picks out a divisible, dense and codense subgroup of either the additive group or the multiplicative group of positive elements. The major result concerning $T_{\\mathcal{G}}$ is the full characterization, in terms of $T$ alone, for when the theory $T_{\\mathcal{G}}$ has a model companion. By restricting to the setting in which $T$ is o-minimal, a sufficient condition for a more general setting can here be expanded into a necessary and sufficient criterion. Examples are included both in which the predicate is an additive subgroup, and some in which it is a multiplicative subgroup. Chapter 4 expands its setting to geometric theories to examine tameness notions in pairs of models of related theories. The framework introduced applies to many pairs of structures that have been studied previously, as well as new kinds of pairs, such as pairs consisting of a real closed field and a pseudo real closed subfield and pairs of vector spaces with different fields of scalars. Before demonstrating that the set-up introduced applies to some new, interesting examples (as well as the ones mentioned that were previously studied) it is established that pairs of geometric structures that satisfy the criterion have near model completeness. Chapter 5 answers several open questions about o-minimal open cores and its interactions with other model-theoretic properties. This is achieved through the construction of a few new expansions of o-minimal structures, then establishing some results about their open cores. The first construction used is an expansion of an o-minimal structure $\\mathcal{R}$ by a unary predicate whose open core is a proper o-minimal expansion of $\\mathcal{R}$. Another construction used is a structure that defines a function whose graph is dense, but also has o-minimal open core and the exchange property. The final construction is a structure with o-minimal open core and definable Skolem functions that is not o-minimal. Finally, Chapter 6 considers the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a Büchi automaton. In the case that this predicate is closed, a dichotomy is established for when this expansion is interdefinable with the structure $(\\mathbb{R},<,+,0,r^{-\\mathbb{N}})$ for some $r \\in \\mathbb{N}_{>1}$. In the case that the closure of the predicate has Hausdorff dimension less than $1$, the dichotomy further characterizes these expansions of $(\\mathbb{R},<,+,0,1)$ by when they have NIP and NTP$_2$, which is precisely when the closure of the predicate has Hausdorff dimension $0$.","abstract_html":"This thesis establishes new results concerning the interactions of some model-theoretic notions of tameness with other more geometric notions of tameness, among other properties. In particular, the results range from characterizing the existence of a model companion for a certain kind of extension of o-minimal theories by a unary predicate, to establishing a more robust framework for identifying pairs (of models of geometric theories) with near model completeness, to answering questions about what combinations of model-theoretic tameness and o-minimal open core imply a stronger tameness notion, to characterizing the tameness properties of the expansion of $(\\mathbb{R},&lt;,+,0,1)$ by a predicate for an $r$-regular subset of $[0,1]$. The focus of Chapter 3 of this thesis is the extension <span class=\"etd-inline-math\">T<sub>\\mathcal{G}</sub></span> of a complete o-minimal $\\mathcal{L}$-theory $T$ to the language <span class=\"etd-inline-math\">\\mathcal{L}<sub>\\mathcal{G}</sub>:=\\mathcal{L} \\cup \\{ \\mathcal{G} \\}</span>, where $\\mathcal{G}$ is a unary predicate that picks out a divisible, dense and codense subgroup of either the additive group or the multiplicative group of positive elements. The major result concerning <span class=\"etd-inline-math\">T<sub>\\mathcal{G}</sub></span> is the full characterization, in terms of $T$ alone, for when the theory <span class=\"etd-inline-math\">T<sub>\\mathcal{G}</sub></span> has a model companion. By restricting to the setting in which $T$ is o-minimal, a sufficient condition for a more general setting can here be expanded into a necessary and sufficient criterion. Examples are included both in which the predicate is an additive subgroup, and some in which it is a multiplicative subgroup. Chapter 4 expands its setting to geometric theories to examine tameness notions in pairs of models of related theories. The framework introduced applies to many pairs of structures that have been studied previously, as well as new kinds of pairs, such as pairs consisting of a real closed field and a pseudo real closed subfield and pairs of vector spaces with different fields of scalars. Before demonstrating that the set-up introduced applies to some new, interesting examples (as well as the ones mentioned that were previously studied) it is established that pairs of geometric structures that satisfy the criterion have near model completeness. Chapter 5 answers several open questions about o-minimal open cores and its interactions with other model-theoretic properties. This is achieved through the construction of a few new expansions of o-minimal structures, then establishing some results about their open cores. The first construction used is an expansion of an o-minimal structure $\\mathcal{R}$ by a unary predicate whose open core is a proper o-minimal expansion of $\\mathcal{R}$. Another construction used is a structure that defines a function whose graph is dense, but also has o-minimal open core and the exchange property. The final construction is a structure with o-minimal open core and definable Skolem functions that is not o-minimal. Finally, Chapter 6 considers the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a Büchi automaton. In the case that this predicate is closed, a dichotomy is established for when this expansion is interdefinable with the structure <span class=\"etd-inline-math\">(\\mathbb{R},&lt;,+,0,r<sup>-\\mathbb{N}</sup>)</span> for some <span class=\"etd-inline-math\">r \\in \\mathbb{N}<sub>&gt;1</sub></span>. In the case that the closure of the predicate has Hausdorff dimension less than $1$, the dichotomy further characterizes these expansions of $(\\mathbb{R},&lt;,+,0,1)$ by when they have NIP and NTP<span class=\"etd-inline-math\"><sub>2</sub></span>, which is precisely when the closure of the predicate has Hausdorff dimension $0$.","abstract_has_math":true,"creators":["Block Gorman, Alexi Taylor"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":["Hieronymi, Philipp","van den Dries, Lou","Henson, C. Ward","Günaydin, Ayhan"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-01-12T21:45:24Z","date_published":"2022-01-12T21:45:24Z","updated_at":"2026-07-22T22:24:52Z","subjects":["model theory","o-minimality","model companions","Büchi automata"],"languages":["en"],"rights":["Copyright 2021 Alexi Block Gorman"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/112983","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Hieronymi, Philipp","van den Dries, Lou","Henson, C. Ward","Günaydin, Ayhan"]},{"key":"dc:creator","label":"Author","values":["Block Gorman, Alexi Taylor"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2022-01-12T21:45:24Z","2021-07-08","2021-08"]},{"key":"dc:type","label":"Dc Type","values":["text","Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["model theory","o-minimality","model companions","Büchi automata"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2021 Alexi Block Gorman"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/112983"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis establishes new results concerning the interactions of some model-theoretic notions of tameness with other more geometric notions of tameness, among other properties. In particular, the results range from characterizing the existence of a model companion for a certain kind of extension of o-minimal theories by a unary predicate, to establishing a more robust framework for identifying pairs (of models of geometric theories) with near model completeness, to answering questions about what combinations of model-theoretic tameness and o-minimal open core imply a stronger tameness notion, to characterizing the tameness properties of the expansion of $(\\mathbb{R},<,+,0,1)$ by a predicate for an $r$-regular subset of $[0,1]$. The focus of Chapter 3 of this thesis is the extension $T_{\\mathcal{G}}$ of a complete o-minimal $\\mathcal{L}$-theory $T$ to the language $\\mathcal{L}_{\\mathcal{G}}:=\\mathcal{L} \\cup \\{ \\mathcal{G} \\}$, where $\\mathcal{G}$ is a unary predicate that picks out a divisible, dense and codense subgroup of either the additive group or the multiplicative group of positive elements. The major result concerning $T_{\\mathcal{G}}$ is the full characterization, in terms of $T$ alone, for when the theory $T_{\\mathcal{G}}$ has a model companion. By restricting to the setting in which $T$ is o-minimal, a sufficient condition for a more general setting can here be expanded into a necessary and sufficient criterion. Examples are included both in which the predicate is an additive subgroup, and some in which it is a multiplicative subgroup. Chapter 4 expands its setting to geometric theories to examine tameness notions in pairs of models of related theories. The framework introduced applies to many pairs of structures that have been studied previously, as well as new kinds of pairs, such as pairs consisting of a real closed field and a pseudo real closed subfield and pairs of vector spaces with different fields of scalars. Before demonstrating that the set-up introduced applies to some new, interesting examples (as well as the ones mentioned that were previously studied) it is established that pairs of geometric structures that satisfy the criterion have near model completeness. Chapter 5 answers several open questions about o-minimal open cores and its interactions with other model-theoretic properties. This is achieved through the construction of a few new expansions of o-minimal structures, then establishing some results about their open cores. The first construction used is an expansion of an o-minimal structure $\\mathcal{R}$ by a unary predicate whose open core is a proper o-minimal expansion of $\\mathcal{R}$. Another construction used is a structure that defines a function whose graph is dense, but also has o-minimal open core and the exchange property. The final construction is a structure with o-minimal open core and definable Skolem functions that is not o-minimal. Finally, Chapter 6 considers the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a Büchi automaton. In the case that this predicate is closed, a dichotomy is established for when this expansion is interdefinable with the structure $(\\mathbb{R},<,+,0,r^{-\\mathbb{N}})$ for some $r \\in \\mathbb{N}_{>1}$. In the case that the closure of the predicate has Hausdorff dimension less than $1$, the dichotomy further characterizes these expansions of $(\\mathbb{R},<,+,0,1)$ by when they have NIP and NTP$_2$, which is precisely when the closure of the predicate has Hausdorff dimension $0$.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-01-12 without embargo terms","The student, Alexi Block Gorman, accepted the attached license on 2021-06-30 at 15:46.","The student, Alexi Block Gorman, submitted this Dissertation for approval on 2021-06-30 at 16:05.","This Dissertation was approved for publication on 2021-07-08 at 16:28.","DSpace SAF Submission Ingestion Package generated from Vireo submission #16738 on 2022-01-12 at 12:43:50","Made available in DSpace on 2022-01-12T21:45:24Z (GMT). No. of bitstreams: 2 BLOCKGORMAN-DISSERTATION-2021.pdf: 1010309 bytes, checksum: 5ca2b0c2cac8c87a4ee71404c5ffaa44 (MD5) LICENSE.txt: 4215 bytes, checksum: 2419e235094c00a99a297a7d3dc21f33 (MD5) Previous issue date: 2021-07-08"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Pairs and predicates in expansions of o-minimal structures"]}]}],"canonical_facts":{"dc:contributor":["Hieronymi, Philipp","van den Dries, Lou","Henson, C. Ward","Günaydin, Ayhan"],"dc:creator":["Block Gorman, Alexi Taylor"],"dc:date":["2022-01-12T21:45:24Z","2021-07-08","2021-08"],"dc:description":["This thesis establishes new results concerning the interactions of some model-theoretic notions of tameness with other more geometric notions of tameness, among other properties. In particular, the results range from characterizing the existence of a model companion for a certain kind of extension of o-minimal theories by a unary predicate, to establishing a more robust framework for identifying pairs (of models of geometric theories) with near model completeness, to answering questions about what combinations of model-theoretic tameness and o-minimal open core imply a stronger tameness notion, to characterizing the tameness properties of the expansion of $(\\mathbb{R},<,+,0,1)$ by a predicate for an $r$-regular subset of $[0,1]$. The focus of Chapter 3 of this thesis is the extension $T_{\\mathcal{G}}$ of a complete o-minimal $\\mathcal{L}$-theory $T$ to the language $\\mathcal{L}_{\\mathcal{G}}:=\\mathcal{L} \\cup \\{ \\mathcal{G} \\}$, where $\\mathcal{G}$ is a unary predicate that picks out a divisible, dense and codense subgroup of either the additive group or the multiplicative group of positive elements. The major result concerning $T_{\\mathcal{G}}$ is the full characterization, in terms of $T$ alone, for when the theory $T_{\\mathcal{G}}$ has a model companion. By restricting to the setting in which $T$ is o-minimal, a sufficient condition for a more general setting can here be expanded into a necessary and sufficient criterion. Examples are included both in which the predicate is an additive subgroup, and some in which it is a multiplicative subgroup. Chapter 4 expands its setting to geometric theories to examine tameness notions in pairs of models of related theories. The framework introduced applies to many pairs of structures that have been studied previously, as well as new kinds of pairs, such as pairs consisting of a real closed field and a pseudo real closed subfield and pairs of vector spaces with different fields of scalars. Before demonstrating that the set-up introduced applies to some new, interesting examples (as well as the ones mentioned that were previously studied) it is established that pairs of geometric structures that satisfy the criterion have near model completeness. Chapter 5 answers several open questions about o-minimal open cores and its interactions with other model-theoretic properties. This is achieved through the construction of a few new expansions of o-minimal structures, then establishing some results about their open cores. The first construction used is an expansion of an o-minimal structure $\\mathcal{R}$ by a unary predicate whose open core is a proper o-minimal expansion of $\\mathcal{R}$. Another construction used is a structure that defines a function whose graph is dense, but also has o-minimal open core and the exchange property. The final construction is a structure with o-minimal open core and definable Skolem functions that is not o-minimal. Finally, Chapter 6 considers the expansion of the real ordered additive group by a predicate for a subset of $[0,1]$ whose base-$r$ representations are recognized by a Büchi automaton. In the case that this predicate is closed, a dichotomy is established for when this expansion is interdefinable with the structure $(\\mathbb{R},<,+,0,r^{-\\mathbb{N}})$ for some $r \\in \\mathbb{N}_{>1}$. In the case that the closure of the predicate has Hausdorff dimension less than $1$, the dichotomy further characterizes these expansions of $(\\mathbb{R},<,+,0,1)$ by when they have NIP and NTP$_2$, which is precisely when the closure of the predicate has Hausdorff dimension $0$.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-01-12 without embargo terms","The student, Alexi Block Gorman, accepted the attached license on 2021-06-30 at 15:46.","The student, Alexi Block Gorman, submitted this Dissertation for approval on 2021-06-30 at 16:05.","This Dissertation was approved for publication on 2021-07-08 at 16:28.","DSpace SAF Submission Ingestion Package generated from Vireo submission #16738 on 2022-01-12 at 12:43:50","Made available in DSpace on 2022-01-12T21:45:24Z (GMT). No. of bitstreams: 2 BLOCKGORMAN-DISSERTATION-2021.pdf: 1010309 bytes, checksum: 5ca2b0c2cac8c87a4ee71404c5ffaa44 (MD5) LICENSE.txt: 4215 bytes, checksum: 2419e235094c00a99a297a7d3dc21f33 (MD5) Previous issue date: 2021-07-08"],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/112983"],"dc:language":["en"],"dc:rights":["Copyright 2021 Alexi Block Gorman"],"dc:subject":["model theory","o-minimality","model companions","Büchi automata"],"dc:title":["Pairs and predicates in expansions of o-minimal structures"],"dc:type":["text","Thesis"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:52Z"}