Abstract:UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete valued field other than the complex numbers is used as the underlying field of the algebra. In the Archimedean setting, this generalisation is given by the theory of real function algebras introduced by S. H. Kulkarni and B. V. Limaye in the 1980s. This thesis establishes a broader theory accommodating any complete valued field as the underlying field by involving Galois automorphisms and using non-Archimedean analysis. The approach taken keeps close to the original definitions from the Archimedean setting. Basic function algebras are defined and generalise real function algebras to all complete valued fields. Several examples are provided. Each basic function algebra is shown to have a lattice of basic extensions related to the field structure. In the non-Archimedean setting it is shown that certain basic function algebras have residue algebras that are also basic function algebras. A representation theorem is established. Commutative unital Banach F-algebras with square preserving norm and finite basic dimension are shown to be isometrically F-isomorphic to some subalgebra of a Basic function algebra. The theory of non-commutative real function algebras was established by K. Jarosz in 2008. The possibility of their generalisation to the non-Archimedean setting is established in this thesis. In the context of complex uniform algebras, a new proof is given using transfinite induction of the Feinstein-Heath Swiss cheese "Classicalisation" theorem.

Uniform existential definitions of valuations in function fields in one variable

Universal-existential theories of fields

Universally defining subrings in function fields

Uniform Algebras Over Complete Valued Fields

Defining coarsenings of valuations

Overweight deformations of affine toric varieties and local uniformization

Existential closedness of $\overline{\mathbb{Q}}$ as a globally valued field via Arakelov geometry

A Valuation Theoretic Approach to Essential Dimension

Irrational behavior of algebraic discrete valuations

Uniformly defining $p$-henselian valuations

Defects of Algebraic Function Fields, Completion Defects and Defect Quotients

Definable henselian valuations in positive residue characteristic

Essential finite generation of extensions of valuation rings

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

A Formalization of Complete Discrete Valuation Rings and Local Fields

Quasi-Valuations Extending a Valuation

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Asymptotic properties of infinite directed unions of local quadratic transforms

Kähler differentials of extensions of valuation rings and deeply ramified fields

Definable henselian valuations on dp-minimal real fields

Existential definability and diophantine stability