Related papers: The Implicitly Constructible Universe
We prove that the projective model structure on the category of unbounded cochain complexes extends naturally to the category of contractions. The proof is completely elementary and we do not assume familiarity with model categories.
These three topics are an attempt to explicate some curiosities of the inverse problem of representation theory (i.e. having a set of operators to describe the "correct" algebraic object, which is represented by them) on simple examples…
We build an exact inhomogeneous universe composed of a central flat Friedmann zone up to a small redshift $z_1$, a thick shell made of anisotropic matter, an hyperbolic Friedmann metric up to the scale where dimming galaxies are observed…
In this paper, we show that coherent sets of gambles and coherent lower and upper previsions can be embedded into the algebraic structure of information algebra. This leads firstly, to a new perspective of the algebraic and logical…
We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…
We define a perfect obstruction theory for a moduli of symplectic Higgs sheaves $(E,\phi)$ on projective surfaces $S$. Key to this is a minimality assumption on $\textrm{ch}(E)$ that forces all $E$ to be locally free. This might have…
In this paper we show how to build a model of $ZFC$ such that all its inner models satisfying the Axiom of Choice are well-ordered with respect to inclusion, and that said ordering is of arbitrary height (including possibly $Ord$ high). We…
A new model of the observed universe, using solutions to the full Einstein equations, is developed from the hypothesis that our observable universe is an underdense bubble, with an internally inhomogeneous fractal bubble distribution of…
We argue that the notion of epistemic \emph{possible worlds} in constructivism (intuitionism) is not as the same as it is in classic view, and there are possibilities, called non-predetermined worlds, which are ignored in (classic)…
In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In logics with the projective Beth definability property (PBDP), the existence of an…
We say a structure $M$ in a first-order language is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure $M'$ of $M$ such that $M'$ is isomorphic to $M$. Additionally, we say that $M$ is…
The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…
Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various…
It is shown that every accessible group which is integrable orbit equivalent to a free group is virtually free. Moreover, we also show that any integrable orbit-equivalence between finitely generated groups extends to their end…
This is the sequel to our first paper concerning the balanced embedding of a non-compact complex manifold into an infinite-dimensional projective space. We prove the uniqueness of such an embedding. The proof relies on fine estimates of the…
We consider the class of non-negative rank-one convex isotropic integrands on $\mathbb{R}^{n\times n}$ which are also positively $p$-homogeneous. If $p \leq n = 2$ we prove, conditional on the quasiconvexity of the Burkholder integrand,…
We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of J\'onsson cardinals, or in terms of…
We investigate the validity of the hyperhoop conjecture, which claims to determine a necessary and sufficient condition for the formation of black hole horizons in higher-dimensional space-times. Here we consider momentarily static,…
We discuss a possible scenario to induce a bubble universe using buildable bubbles. First, we observe that if there is no violation of the null energy condition, all bubbles are buildable and do not have inflation if their initial…
In this note we include two remarks about bounded ($\underline{not}$ necessarily contractive) linear projections on a von Neumann-algebra. We show that if $M$ is a von Neumann-subalgebra of $B(H)$ which is complemented in B(H) and…