Related papers: Imaginaries in bounded pseudo real closed fields
We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…
Given a local noetherian ring $R$ whose formal completion is integral, we introduce and study the $p$-radical closure $R^\text{prc}$. Roughly speaking, this is the largest purely inseparable $R$-subalgebra inside the formal completion…
In this work we introduce a new concept, namely, $\tau_{s}$-extending modules (rings) which is torsion-theoretic analogues of extending modules and then we extend many results from extending modules to this new concept. For instance we show…
We study a $U(N)$-invariant vector+matrix chain with the color structure of a lattice gauge theory with quarks and interpret it as a theory of open andclosed strings with target space $\Z$. The string field theory is constructed as a…
We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for…
We prove that an expansion of an algebraically closed field by $n$ arbitrary valuation rings is NTP${}_2$, and in fact has finite burden. It fails to be NIP, however, unless the valuation rings form a chain. Moreover, the incomplete theory…
We construct analytic solutions of open superstring field theory for any exactly marginal deformation in any boundary superconformal field theory when properly renormalized operator products of the marginal operator are given. Our…
Deforming the domain of integration after complexification of the field variables is an intriguing idea to tackle the sign problem. In thimble regularization the domain of integration is deformed into an union of manifolds called Lefschetz…
Given a structure $\mathcal{M}$ and a stably embedded $\emptyset$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some further structure $\mathcal{Q}$. In particular, we show that if…
A proposal for the matrix model formulation of the M-theory on a space with a boundary is given. A general machinery for modding out a symmetry in M(atrix) theory is used for a Z_2 symmetry changing the sign of the X_1 coordinate. The…
We establish a central limit theorem and an invariance principle for stationary random fields, with projective-type conditions. Our result is obtained via an m-dependent approximation method. As applications, we establish invariance…
We define a closure operation for ideals in a commutative ring which has all the good properties of solid closure (at least in the case of equal characteristic) but such that also every ideal in a regular ring is closed. This gives in…
We define a notion of general uniform interpolant, generalizing the notions of cover and of uniform interpolant and identify situations in which symbol elimination can be used for computing general uniform interpolants. We investigate the…
In this paper, we prove an extension of Zaks' conjecture on integral domains with semi-regular proper homomorphic images (with respect to finitely generated ideals) to arbitrary rings (i.e., possibly with zero-divisors). The main result…
It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in…
We develop the representation theory of a finite semigroup over an arbitrary commutative semiring with unit, in particular classifying the irreducible and minimal representations. The results for an arbitrary semiring are as good as the…
In this thesis we provide new tools to determine and explore the Landscape of four-dimensional effective field theories originating from string and M-theory. The main aim is to introduce, within four-dimensional effective descriptions,…
We develop the theory of $\Theta$-positive representations from general Fuchsian groups to linear groups over real closed fields. Our definition, which does not assume the boundary map to be continuous, encompasses many generalizations of…
We study the characterization of multipartite entanglement for the random states of an $n$-qbit system. Unable to solve the problem exactly we generalize it, changing complex numbers into real vectors with $N_c$ components (the original…
We discuss the problem of tachyon condensation in the framework of background independent open string field theory. We show, in particular, that the computation of the string field theory action simplifies considerably if one looks at…