Some Model Theory of Fields and Differential Fields

Doctoral Dissertation

Abstract

In this dissertation, we attempt to study connections between various properties of fields, namely boundedness, largeness, and strong form of model completeness called “almost quantifier elimination”. The first chapter consists of background information, and the second chapter is more or less devoted to the study of fields in the ring language, possible expanded by constants. We show that large, perfect fields with almost quantifier elimination are geometric and fail to have a strong notion of unboundedness.

The third chapter is dedicated to the study, and characterization, of differential fields with a notion of largeness for differential-algebraic sets. We also make some brief comments on notions of largeness for fields equipped with an automorphism.

The fourth chapter is based on joint work with Quentin Brouette, Anand Pillay, and Françoise Point in which we prove that if T is a theory of large, bounded fields of characteristic 0 with almost quantifier elimination, and T’ is the model companion of T together with the statement “d is a derivation” then for any model (U, d) of T’, differential subfield K of U such that C(K) is a model of T, and logarithmic differential equation dlog(z)=a (defined over some algebraic group G that is definable over C(K)), there is a strongly normal extension L of K for the equation with L a differential subfield of U.

Attributes

Attribute NameValues
Author Gregory Cousins
Contributor Julia Knight, Committee Member
Contributor Sergei Starchenko, Committee Member
Contributor Anand Pillay, Research Director
Contributor Peter Cholak, Committee Member
Contributor James Freitag, Committee Member
Degree Level Doctoral Dissertation
Degree Discipline Mathematics
Degree Name Doctor of Philosophy
Banner Code
  • PHD-MATH

Defense Date
  • 2019-06-25

Submission Date 2019-07-03
Subject
  • field theory

  • differential algebra

  • logic

  • model theory

Language
  • English

Record Visibility and Access Public
Content License
  • All rights reserved

Departments and Units
Catalog Record

Files

Please Note: You may encounter a delay before a download begins. Large or infrequently accessed files can take several minutes to retrieve from our archival storage system.