Related papers: Linear theories of global fields with absolute val…
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
In this note we give a negative answer to Abraham Robinson's question whether a finitely generated extension of an undecidable field is always undecidable. We construct 'natural' undecidable fields of transcendence degree 1 over Q all of…
We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…
By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are…
We produce new examples of totally imaginary infinite extensions of $\mathbb{Q}$ which have undecidable first-order theory by generalizing the methods used by Martinez-Ranero, Utreras and Videla for $\mathbb{Q}^{(2)}$. In particular, we use…
We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with…
I investigate the question whether G\"odel's undecidability theorems play a crucial role in the search for a unified theory of physics. I conclude that unless the structure of space-time is fundamentally discrete we can never decide whether…
Uniform fields are one of the simplest and most pedagogically useful examples in introductory courses on electrostatics or Newtonian gravity. In general relativity there have been several proposals as to what constitutes a uniform field. In…
In this note, we show that the algebraic K-theory of generalized archimedean valuation rings occurring in Durov's compactification of the spectrum of a number ring is given by stable homotopy groups of certain classifying spaces. We also…
This article explores the connection between boolean-valued class models of set theory and the theory of arbitrary objects in roughly Kit Fine's sense of the word. In particular, it explores the hypothesis that the set theoretic universe as…
We show that almost all metric--affine theories of gravity yield Einstein equations with a non--null cosmological constant $\Lambda$. Under certain circumstances and for any dimension, it is also possible to incorporate a Weyl vector field…
Many of the theorems of real analysis, against the background of the ordered field axioms, are equivalent to Dedekind completeness, and hence can serve as completeness axioms for the reals. In the course of demonstrating this, the article…
Let $G$ be a linear algebraic group over an infinite field $k$. Loosely speaking, a $G$-torsor over $k$-variety is said to be versal if it specializes to every $G$-torsor over any $k$-field. The existence of versal torsors is well-known. We…
Present day physics rests on two main pillars: General relativity and quantum field theory. We discuss the deep and at the same time problematic interplay between these two theories. Based on an argument by Doplicher, Fredenhagen, and…
We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…
We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the…
``Constants of Nature'' and cosmological parameters may in fact be variables related to some slowly-varying fields. In models of eternal inflation, such fields will take different values in different parts of the universe. Here I show how…
The Grothendieck universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One can then work with entities like the category of all U-sets or even the category of all locally U-small…
We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…
We study completeness in partial differential varieties. We generalize many results from ordinary differential fields to the partial differential setting. In particular, we establish a valuative criterion for differential completeness and…