Definable equivalence relations and disc spaces of algebraically closed valued fields

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.)

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Mathematics

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Holly, Jan Elise

Contributors dc:contributor

• Henson, C. Ward

• Mathematics

Statement dc:rights

• Copyright 1992 Holly, Jan Elise

Language dc:language

eng

Identifier

AAI9305554
(UMI)AAI9305554

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/21612