Related papers: Set-Theoretic Geology
We address Steel's Programme to identify a 'preferred' universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the 'core hypothesis'. In the first part, we examine the evidential framework for MV, in…
The Standard Model data suggests the realization of grand unification structures in nature, in particular that of SO(10). A class of string vacua that preserve the SO(10) embedding, are the three generation free fermion heterotic-string…
In many axiomatic set theories, G\"odel's constructible universe $L$ is known as an inner model, that is, a definable class satisfying the same axioms (and containing the same ordinals). This gives a trivial proof that adding the axiom $V =…
In this paper, we develop a general framework of geometric functorial field theories, meaning that all bordisms in question are endowed with geometric structures. We take particular care to establish a notion of smooth variation of such…
A general framework for effective theories propagating two tensor and one scalar degrees of freedom is investigated. Geometrically, it describes dynamical foliation of spacelike hypersurfaces coupled to a general background, in which the…
The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph $G$ from some class $K$ of "pattern graphs" can be embedded into a given graph $H$ (that is, is isomorphic to a…
We present an intuitive diagrammatic representation of a new class of integrable $\s$-models. It is shown that to any given diagram corresponds an integrable theory that couples $N$ WZW models with a certain number of each of the following…
In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove,…
In this paper, the third in the series, we define the generalized orthocenter $H$ corresponding to a point $P$, with respect to triangle $ABC$, as the unique point for which the lines $HA, HB, HC$ are parallel, respectively, to $QD, QE,…
Earth's long-lived geodynamo is difficult to reconcile with recent high estimates of the core thermal conductivity, a problem known as the new core paradox. At the same time, the long-term thermal evolution of the mantle remains uncertain,…
We discuss some highlights of our computer-verified proof of the construction, given a countable transitive set-model $M$ of $\mathit{ZFC}$, of generic extensions satisfying $\mathit{ZFC}+\neg\mathit{CH}$ and $\mathit{ZFC}+\mathit{CH}$.…
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…
The developed theory proves that a universal vortex motion, along with the pressure variation in a space continuum called ether, is actually the source of the universal gravitation and creation of celestial bodies and their motion in the…
We take the first steps towards identifying the hydrodynamics of group field theories (GFTs) and relating this hydrodynamic regime to classical geometrodynamics of continuum space. We apply to GFT mean field theory techniques borrowed from…
The research work in the thesis is focused on the thermodynamic analysis of cosmological models, especially the models that explain late-time cosmic acceleration. According to the cosmological principle, the universe is spatially…
Motivated by the invariance of current representations of quantum gravity under diffeomorphisms much more general than isometries, the Haag-Kastler setting is extended to manifolds without metric background structure. First, the causal…
Global properties of vacuum static, spherically symmetric configurations are studied in a general class of scalar-tensor theories (STT) of gravity in various dimensions. The conformal mapping between the Jordan and Einstein frames is used…
The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…
We construct a class of topological field theories with Wess-Zumino term in spacetime dimensions $\ge 2$ whose target space has a geometrical structure that suitably generalizes Poisson or twisted Poisson manifolds. Assuming a field content…
The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is…