Related papers: Set-Theoretic Geology
Effective Field Theory (EFT) is the successful paradigm underlying modern theoretical physics, including the "Core Theory" of the Standard Model of particle physics plus Einstein's general relativity. I will argue that EFT grants us a…
The ordering of scalar fields after a phase transition in which a group $G$ of global symmetries is spontaneously broken to a subgroup $H$ provides a possible explanation for the origin of structure in the universe, as well as leading to…
We present a comprehensive theoretical analysis of the General Standard Model (GSM), a recently proposed framework that unifies particle physics and cosmology within the Gravitational Quantum Field Theory (GQFT). Constructed from first…
A topological theory for the interactions in Nature is presented. The theory derives from the cyclic properties of the topological manifold Q=2T^3 + 3S^1 x S^2 which has 23 intrinsic degrees of freedom, discrete Z_3 and Z_2 x Z_3 internal…
We shall give an axiomatic construction of Wess-Zumino-Witten actions valued in (G=SU(N)), (N\geq 3). It is realized as a functor ({WZ}) from the category of conformally flat four-dimensional manifolds to the category of line bundles with…
Let $\bold G$ be a reductive algebraic group defined over $\Q$, and let $\Gamma$ be an arithmetic subgroup of $\bold G(\Q)$. Let $X$ be the symmetric space for $\bold G(\R)$, and assume $X$ is contractible. Then the cohomology (mod torsion)…
Hypothesis Emerging energy-related technologies deal with multiscale hierarchical structures, intricate surface morphology, non-axisymmetric interfaces, and complex contact lines where wetting is difficult to quantify with classical…
We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…
The concept of generalized domination unifies well-known variants of domination-like and independence problems, such as Dominating Set, Independent Set, Perfect Code, etc. A generalized domination (also called $[\sigma,\rho]$-Dominating…
A General Theory of the Standard Model (GSM) is built in a spin-related gravigauge spacetime, based on the conformal inhomogeneous spin gauge symmetry WS$_c$(1,3)=SP(1,3)$\rtimes$W$^{1,3}$$\rtimes$SP$_c$(1,1) and the scaling gauge symmetry…
The aim of the article is an extension of the Monodromy Conjecture of Denef and Loeser in dimension two, incorporating zeta functions with differential forms and targeting all monodromy eigenvalues, and also considering singular ambient…
Recently, the Elementary Process Theory (EPT) has been developed as a set of fundamental principles that might underlie a gravitational repulsion of matter and antimatter. This paper presents set matrix theory (SMT) as the foundation of the…
We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…
The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the…
A $\Sigma$-construction of Solovay is partially extended to the case of intermediate sets which are not necessarily subsets of the ground model. As an application, we prove that, for a given name $t$, the set of all sets $t[G]$, $G$ being…
We study principles of the form: if a name $\sigma$ is forced to have a certain property $\varphi$, then there is a ground model filter $g$ such that $\sigma^g$ satisfies $\varphi$. We prove a general correspondence connecting these name…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
The communications and interrelations between different locations on the Earth's surface have far-reaching implications for both social and natural systems. Effective spatial analytics ideally require a spatial representation, where…
We study flat Friedmann-Lemaitre-Robertson-Walker cosmological models for a scalar field coupled nonminimally to teleparallel gravity with generic coupling and potential functions. The goal of this paper is to determine the conditions under…
Let $\mathcal{F}$ be a set of subsets of a set $W$. When is there a tree $T$ with vertex set $W$ such that each member of $\mathcal{F}$ is the set of vertices of a subtree of $T$? It is necessary that $\mathcal{F}$ has the Helly property…