Global ETD Search

1	Types in Algebraically Closed Valued Fields: A Defining Schema for Definable 1-Types Maalouf, Genevieve January 2021 (has links) 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. / Thesis / Master of Science (MSc) Model Theory Valuation Algebraically closed valued fields Types ACVF Definable Schema
2	Immediate expansions by valuation of fields Hong, Jizhan 10 1900 (has links) <p>The main subject of investigation is the so-called "immediate expansion''<br />phenomenon in various first-order valued-field structures over the<br />corresponding underlying field structures. In particular, certain "valued<br />o-minimal fields'', certain Henselian valued fields with non-divisible valued<br />groups, and certain separably closed valued fields of finite imperfection degree, are<br />shown to have this property.</p> / Doctor of Philosophy (PhD) valuation definable immediate expansions separably closed valued fields valued o-minimal fields algebraically closed valued fields intermediate structures Algebra Algebraic Geometry Logic and Foundations Algebra