Related papers: Set-Theoretic Geology

In this paper, without the axiom of choice, we show that if a certain downward L\"owenheim-Skolem property holds then all grounds are uniformly definable. We also prove that the axiom of choice is forceable if and only if the universe is a…

Is the universe finite or infinite, and what shape does it have? These fundamental questions, of which relatively little is known, are typically studied within the context of the standard model of cosmology where the universe is assumed to…

Let V be a plane smooth cubic curve over a finitely generated field k. The Mordell-Weil theorem for V states that there is a finite subset P \subset V(k) such that the whole V(k) can be obtained from P by drawing secants and tangents…

Making use of toric geometry we construct a class of global F-theory GUT models. The base manifolds are blowups of Fano threefolds and the Calabi-Yau fourfold is a complete intersection of two hypersurfaces. We identify possible GUT…

Given a vector bundle $F$ on a variety $X$ and $W\subset H^0(F)$ such that the evaluation map $W\otimes \mathcal{O}_X\to F$ is surjective, its kernel $S_{F,W}$ is called generalized syzygy bundle. Under mild assumptions, we construct a…

Let $V$ be a linear representation of a connected complex reductive group $G$. Given a choice of character $\theta$ of $G$, Geometric Invariant Theory defines a locus $V^{ss}_\theta(G) \subseteq V$ of semistable points. We give necessary,…

A transcendental entire function f is called geometrically finite if the intersection of the set of singular values with the Fatou set is compact and the intersection of the postsingular set with the Julia set is finite. (In particular,…

Let k be a field, let G be an affine algebraic k-group and V a finite-dimensional G-module. We say V is rigid if the socle series and radical series coincide for the action of G on each indecomposable summand of V; say V is geometrically…

The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and possibility as "in some forcing extension". In this modal…

The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…

Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…

Let $(X,T)$ be a topological dynamical system. Given a continuous vector-valued function $F \in C(X, \mathbb{R}^{d})$ called a potential we define its rotation set $R(F)$ as the set of integrals of $F$ with respect to all $T$-invariant…

For a grading-restricted vertex superalgebra $V$ and an automorphism $g$ of $V$, we give a linearly independent set of generators of the universal lower-bounded generalized $g$-twisted $V$-module $\widehat{M}^{[g]}_{B}$ constructed by the…

For a finite dimensional vector space G we define the k-th generic syzygy scheme Gensyz_k(G) by explicit equations. We show that the syzygy scheme Syz(f) of any syzygy in the linear strand of a projective variety X which is cut out by…

We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, oriented matroids, and regular matroids. To do this, we first introduce algebraic objects called tracts which…

I demonstrate two fundamental contributions. First, the Earth tectonics is generally a consequence of the springtide-induced magnification of mechanical resonance in the Earth mantle. The same mechanism that causes bridges to collapse under…

The paper develops an earlier proposition that the physical universe is a finite system co-ordinatised by a very large finite field $\mathrm{F}_\mathfrak{p}$ which looks like the field of complex numbers to an observer. We construct a place…

A cosmologically viable hypergeometric model in the modified gravity theory $f(R)$ is found from the need for asintoticity towards $\Lambda$CDM, the existence of an inflection point in the $f(R)$ curve, and the conditions of viability given…

We explore the cumulative hierarchy $V$ defined in Chapter 10 of the HoTT book. We begin by showing how to translate formulas of set theory in HoTT, and proceed to examine which axioms are satisfied in $V$. In particular, we show that $V$…

Set theory is widely believed to provide a secure foundation for deductive mathematics, but current set theories do not quite do this. The mainstream essentially uses na\"\i ve set theory. After Russell's paradox showed this to be…