Related papers: Linear theories of global fields with absolute val…
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor…
Extensions of the Kochen-Specker theorem use quantum logics whose classical interpretation suggests a true-implies-value indefiniteness property. This can be interpreted as an indication that any view of a quantum state beyond a single…
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic.
We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…
In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…
Let $k$ be a field with a real valuation $\nu$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $\mu$ on $K$ extending $\nu$ such that any real ring valuation of $R$ is induced by $\mu$ via some…
In this article we study certain asymptotic properties of global fields. We consider the set of Tsfasman-Vladuts invariants of infinite global fields and answer some natural questions arising from their work. In particular, we prove the…
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
We call a finite-dimensional K-algebra A geometrically irreducible if for all d, all connected components of the affine scheme of d-dimensional A-modules are irreducible. We show that the geometrically irreducible algebras without loops…
We study algebraic, combinatorial and topological properties of the set of preorders on a group, and the set of valuations on a field. We show strong analogies between these two kinds of sets and develop a dictionary for these ones. Among…
We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…
This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah,…
We define the universal thickening of the field of real numbers. This construction is performed in three steps which parallel the universal perfection, the Witt construction and a completion process. We show that the transposition of the…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
We show that up to potential isogeny, there are only finitely many abelian varieties of dimension $d$ defined over a number field $K$, such that for any finite place $v$ outside a fixed finite set $S$ of places of $K$ containing the…
We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very…
We establish an analytic Hasse principle for linear spaces of affine dimension m on a complete intersection over an algebraic field extension K of Q. The number of variables required to do this is no larger than what is known for the…
We study the nonlinear realization of supersymmetry in a dynamical/cosmological background in which derivative terms like kinetic terms are finite. Starting from linearly realized theories, we integrate out heavy modes without neglecting…
In general relativity, only relative acceleration has an observer-independend meaning: curvature and non-gravitational forces determine the rate at which world lines of test bodies diverge or converge. We derive the equations governing both…
When modelling spacetime and classical physical fields, one typically assumes smoothness (infinite differentiability). But this assumption and its philosophical implications have not been sufficiently scrutinized. For example, we can appeal…