NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.059 seconds)

Spelling suggestions: "subject:"definable achema"" "subject:"definable alchema""

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

Page generated in 0.0637 seconds