Related papers: Imaginaries in bounded pseudo real closed fields
We describe the structure of string vacuum states in the supersymmetric matrix model for M theory compactified on a circle in the large-N limit. We show that the theory admits topological instanton field configurations which at…
A general algorithm is presented which gives a closed-form expression for an arbitrary perturbative diagram of cubic string field theory at any loop order. For any diagram, the resulting expression is given by an integral of a function of…
Truncation in Generalized Series fields is a robust notion, in the sense that it is preserved under various algebraic and some transcendental extensions. In this paper, we study conditions that ensure that a truncation closed set extends…
The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via…
'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of…
Let $ M (X)$ be the ring of all real measurable functions on a measurable space $(X, \mathscr{A})$. In this article, we show that every ideal of $M(X)$ is a $Z^{\circ}$-ideal. Also, we give several characterizations of maximal ideals of…
Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite…
We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every…
We introduce tangent cones of subsets of cartesian powers of a real closed field, generalising the notion of the classical tangent cones of subsets of Euclidean space. We then study the impact of non-archimedean stratifications…
Although Quantum field theory has been very successful in explaining experiment, there are two aspects of the theory that remain quite troubling. One is the no-interaction result proved in Haag's theorem. The other is the existence of…
In this note, we show various minimality results for a geometric theory of fields $T$: $T$ is stable if and only if it is strongly minimal, $T$ is simple if and only if it has SU-rank 1, and $T$ is rosy if and only if $T$ is surgical.…
The string field theory for unoriented open-closed string mixed system is constructed up to quadratic order based on the joining-splitting type vertices. The gauge invariance with closed string transformation parameter is proved. The…
We find upper and lower bounds of the multiplicities of irreducible admissible representations $\pi$ of a semisimple Lie group $G$ occurring in the induced representations $Ind_H^G\tau$ from irreducible representations $\tau$ of a closed…
The Theory of Functional Connections (TFC) is most often used for constraints over the field of real numbers. However, previous works have shown that it actually extends to arbitrary fields. The evidence for these claims is restricting…
We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…
Work in progress is described which aims to construct a background independent formulation of M theory by extending results about background independent states and observables from quantum general relativity and supergravity to string…
We prove that if $T$ is a complete theory with weak elimination of imaginaries, then there is an explicit bijection between strict independence relations for $T$ and strict independence relations for $T^{\text{eq}}$. We use this observation…
We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…
The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We…
We prove the modularity of minimally ramified ordinary residually reducible p-adic Galois representations of an imaginary quadratic field F under certain assumptions. We first exhibit conditions under which the residual representation is…