Types in Algebraically Closed Valued Fields: A Defining Schema for Definable 1-Types

dc.contributor.advisor	Haskell, Deirdre
dc.contributor.author	Maalouf, Genevieve
dc.contributor.department	Mathematics	en_US
dc.date.accessioned	2021-09-13T19:54:05Z
dc.date.available	2021-09-13T19:54:05Z
dc.date.issued	2021
dc.description.abstract	In this thesis we study the types of algebraically closed valued fields (ACVF). We prove the definable types of ACVF are residual and valuational and provide a defining schema for the definable types. We then conclude that all the types are invariant.	en_US
dc.description.degree	Master of Science (MSc)	en_US
dc.description.degreetype	Thesis	en_US
dc.identifier.uri	http://hdl.handle.net/11375/26876
dc.language.iso	en_US	en_US
dc.subject	Model Theory	en_US
dc.subject	Valuation	en_US
dc.subject	Algebraically closed valued fields	en_US
dc.subject	Types	en_US
dc.subject	ACVF	en_US
dc.subject	Definable Schema	en_US
dc.title	Types in Algebraically Closed Valued Fields: A Defining Schema for Definable 1-Types	en_US
dc.type	Thesis	en_US

Files

Now showing 1 - 1 of 1

Name:: THESIS_MAALOUF_DEFINING_SCHEMA.pdf
Size:: 373.29 KB
Format:: Adobe Portable Document Format
Description:: Thesis providing a defining schema for definable types in ACVF and a classification of the types.

Now showing 1 - 1 of 1