Related papers: Tame pseudofinite theories with wild pseudofinite …
We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $\omega$, or alternatively, that there…
We show how to use D and NS fivebranes in Type IIB superstring theory to construct large classes of finite N=1 supersymmetric four dimensional field theories. In this construction, the beta functions of the theories are directly related to…
Let $\Gamma$ denote a distance-regular graph with diameter $D\geq 3$ and Bose-Mesner algebra $M$. For $\theta\in C\cup \infty$ we define a 1 dimensional subspace of $M$ which we call $M(\theta)$. If $\theta\in C$ then $M(\theta)$ consists…
To explore the possibility of self-organized criticality, we look for CFTs without any relevant scalar deformations (a.k.a dead-end CFTs) within power-counting renormalizable quantum field theories with a weakly coupled Lagrangian…
It is easy to show that a pseudovariety which is reducible with respect to an implicit signature $\sigma$ for the equation $x=y$ can also be defined by $\sigma$-identities. We present several negative examples for the converse using…
We propose a new mechanism of spontaneous supersymmetry breaking. The existence of extra dimensions with nontrivial topology plays an important role. We investigate new features resulting from this mechanism. One noteworthy feature is that…
Motivated by the model theory of higher order logics, a certain kind of topological spaces had been introduced on ultraproducts. These spaces are called ultratopologies. Ultratopologies provide a natural extra topological structure for…
Compactified string theories give rise to discrete symmetries which are essential if they are to provide a realistic low energy theory. We find that in a class of four dimensional string theories these symmetries are constrained by similar…
Making use of the exact solutions of the $N=2$ supersymmetric gauge theories we construct new classes of superconformal field theories (SCFTs) by fine-tuning the moduli parameters and bringing the theories to critical points. In the case of…
We claim that if by a choice of the couplings the theory can be made conformally invariant (vanishing of the beta functions) it is automatically finite and vice versa. This is demonstrated by explicit example in supersymmetric gauge theory.…
In the framework of supersymmetric Grand Unified Theories, the minimal Higgs sector is often extended by introducing multi-dimensional Higgs representations in order to obtain realistic models. However these constructions should remain…
It is shown that two strictly pseudoconvex Stein domains with real analytic boundaries have biholomorphic universal coverings provided that their boundaries are locally biholomorphically equivalent. This statement can be regarded as a…
Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…
We define the extra-nice dimensions and prove that the subset of locally stable 1-parameter families in $C^{\infty}(N\times[0,1],P)$, also known as pseudo-isotopies, is dense if and only if the pair of dimensions $(\dim N, \dim P)$ is in…
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and…
We give an explicit verifiable characterization of weakly pseudoconvex but locally nonconvexifiable hypersurfaces of finite type in dimension two. It is expressed in terms of a generalized model, which captures local geometry of the…
We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model complete o-minimal extension of RCF. We show that the combined…
Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best…
A new approach is demonstrated that QFTs can be UV finite if they are viewed as the low energy effective theories of a fundamental underlying theory (that is complete and well-defined in all respects) according to the nowaday's standard…
A global superalgebra with 32 supercharges and all possible central extensions is studied in order to extract some general properties of duality and hidden dimensions in a theory that treats $p$-branes democratically. The maximal number of…