2026-09-21T08:32:53Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/21612 2023-07-10 col_2142_5131 col_2142_16340 com_2142_5130 com_2142_16339 com_2142_8903

Henson, C. Ward Holly, Jan Elise 2011-05-07T13:13:52Z 2011-05-07T13:13:52Z 10000-01-01 1992 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 AAI9305554 (UMI)AAI9305554 http://hdl.handle.net/2142/21612 eng Copyright 1992 Holly, Jan Elise Mathematics Definable equivalence relations and disc spaces of algebraically closed valued fields text Mathematics Mathematics University of Illinois at Urbana-Champaign Dissertation Ph.D.