{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/21612"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/21612","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Definable equivalence relations and disc spaces of algebraically closed valued fields","abstract":"A theory T admits elimination of imaginaries (EI) if every definable equivalence relation $\\sim$ is the kernel of a definable map f. (I.e., $\\vec{x}\\sim\\vec{y}\\Longleftrightarrow f(\\vec{x})=f(\\vec{y}).)$ This term was introduced by Poizat, and some theories that admit EI are those of ($\\rm I\\!N, +, \\cdot$), algebraically closed fields, and real closed fields. (Note: theories here are first-order, with equality, and to be consistent with other formulations of EI, we require at least two distinct constants to be definable.)","abstract_html":"A theory T admits elimination of imaginaries (EI) if every definable equivalence relation $\\sim$ is the kernel of a definable map f. (I.e., $\\vec{x}\\sim\\vec{y}\\Longleftrightarrow f(\\vec{x})=f(\\vec{y}).)$ This term was introduced by Poizat, and some theories that admit EI are those of ($\\rm I\\!N, +, \\cdot$), algebraically closed fields, and real closed fields. (Note: theories here are first-order, with equality, and to be consistent with other formulations of EI, we require at least two distinct constants to be definable.)","abstract_has_math":true,"creators":["Holly, Jan Elise"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":["Henson, C. Ward"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T13:13:52Z","date_published":"2011-05-07T13:13:52Z","updated_at":"2026-07-22T22:25:18Z","subjects":["Mathematics"],"languages":["eng"],"rights":["Copyright 1992 Holly, Jan Elise"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9305554","(UMI)AAI9305554"],"render_values":[{"text":"AAI9305554","href":null,"code":true},{"text":"(UMI)AAI9305554","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/21612","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Henson, C. Ward"]},{"key":"dc:creator","label":"Author","values":["Holly, Jan Elise"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T13:13:52Z","10000-01-01","1992"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"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":["Mathematics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1992 Holly, Jan Elise"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9305554","(UMI)AAI9305554","http://hdl.handle.net/2142/21612"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["A theory T admits elimination of imaginaries (EI) if every definable equivalence relation $\\sim$ is the kernel of a definable map f. (I.e., $\\vec{x}\\sim\\vec{y}\\Longleftrightarrow f(\\vec{x})=f(\\vec{y}).)$ This term was introduced by Poizat, and some theories that admit EI are those of ($\\rm I\\!N, +, \\cdot$), algebraically closed fields, and real closed fields. (Note: theories here are first-order, with equality, and to be consistent with other formulations of EI, we require at least two distinct constants to be definable.)","\"Let $ACF\\sb{val}$ be the theory of algebraically closed fields with nontrivial valuation, in the language $\\{0, 1, +, -, \\vert\\}$ ($x\\vert y\\Longleftrightarrow v(x) \\le v(y),$ where v is the valuation). The theory $ACF\\sb{val}$ fails to admit EI, even for 1-variable definable equivalence relations. However, by considering fields of equi-characteristic zero, and adding new sorts for the space of \"\"closed discs\"\" and the space of \"\"open discs\"\", along with the canonical maps to these spaces, we obtain a theory $ACF\\sp\\prime\\sb{val}$ such that:\"","Theorem. The theory $ACF\\sp\\prime\\sb{val}$ admits EI for 1-variable definable equivalence relations on the field.","To prove this, we introduce the concepts of definable property and definable operation on sets, as well as prototypes for a theory. The following result is also necessary:","Theorem. Each K-definable set $S\\subseteq K\\models ACF\\sb{val}$ has a unique decomposition into v-connected components. Each v-connected component is of the form $D\\\\(B\\sb1\\dot\\cup\\...\\dot\\cup B\\sb{n}),$ where D is a disc or D = K, and $B\\sb1,\\...,B\\sb{n}$ are proper subdiscs of D.","We prove this by formally developing the tree-structure of valued fields, using valued trees and valued sets, with valued fields and disc spaces of valued fields being examples of valued sets.","In addition to a detailed coding of finite sets of discs (necessary for the first theorem above), we give a full axiomatization of open disc spaces in the language $\\{+, \\cdot, \\subseteq\\},$ where + and $\\cdot$ are interpreted setwise on discs.","Finally, we display the form of definable functions in algebraically closed valued fields, as well as algebraic closures and definable closures in the framework that includes disc spaces.","Made available in DSpace on 2011-05-07T13:13:52Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9305554.pdf: 5192106 bytes, checksum: f89dc389486bfaa5cc28cc030a587282 (MD5) Previous issue date: 1992","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:52:01Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:23:54-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Definable equivalence relations and disc spaces of algebraically closed valued fields"]}]}],"canonical_facts":{"dc:contributor":["Henson, C. Ward"],"dc:creator":["Holly, Jan Elise"],"dc:date":["2011-05-07T13:13:52Z","10000-01-01","1992"],"dc:description":["A theory T admits elimination of imaginaries (EI) if every definable equivalence relation $\\sim$ is the kernel of a definable map f. (I.e., $\\vec{x}\\sim\\vec{y}\\Longleftrightarrow f(\\vec{x})=f(\\vec{y}).)$ This term was introduced by Poizat, and some theories that admit EI are those of ($\\rm I\\!N, +, \\cdot$), algebraically closed fields, and real closed fields. (Note: theories here are first-order, with equality, and to be consistent with other formulations of EI, we require at least two distinct constants to be definable.)","\"Let $ACF\\sb{val}$ be the theory of algebraically closed fields with nontrivial valuation, in the language $\\{0, 1, +, -, \\vert\\}$ ($x\\vert y\\Longleftrightarrow v(x) \\le v(y),$ where v is the valuation). The theory $ACF\\sb{val}$ fails to admit EI, even for 1-variable definable equivalence relations. However, by considering fields of equi-characteristic zero, and adding new sorts for the space of \"\"closed discs\"\" and the space of \"\"open discs\"\", along with the canonical maps to these spaces, we obtain a theory $ACF\\sp\\prime\\sb{val}$ such that:\"","Theorem. The theory $ACF\\sp\\prime\\sb{val}$ admits EI for 1-variable definable equivalence relations on the field.","To prove this, we introduce the concepts of definable property and definable operation on sets, as well as prototypes for a theory. The following result is also necessary:","Theorem. Each K-definable set $S\\subseteq K\\models ACF\\sb{val}$ has a unique decomposition into v-connected components. Each v-connected component is of the form $D\\\\(B\\sb1\\dot\\cup\\...\\dot\\cup B\\sb{n}),$ where D is a disc or D = K, and $B\\sb1,\\...,B\\sb{n}$ are proper subdiscs of D.","We prove this by formally developing the tree-structure of valued fields, using valued trees and valued sets, with valued fields and disc spaces of valued fields being examples of valued sets.","In addition to a detailed coding of finite sets of discs (necessary for the first theorem above), we give a full axiomatization of open disc spaces in the language $\\{+, \\cdot, \\subseteq\\},$ where + and $\\cdot$ are interpreted setwise on discs.","Finally, we display the form of definable functions in algebraically closed valued fields, as well as algebraic closures and definable closures in the framework that includes disc spaces.","Made available in DSpace on 2011-05-07T13:13:52Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9305554.pdf: 5192106 bytes, checksum: f89dc389486bfaa5cc28cc030a587282 (MD5) Previous issue date: 1992","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:52:01Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:23:54-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["AAI9305554","(UMI)AAI9305554","http://hdl.handle.net/2142/21612"],"dc:language":["eng"],"dc:rights":["Copyright 1992 Holly, Jan Elise"],"dc:subject":["Mathematics"],"dc:title":["Definable equivalence relations and disc spaces of algebraically closed valued fields"],"dc:type":["text"],"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:25:18Z"}