Related papers: Dependent products and 1-inaccessible universes

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…

The problem of making predictions from theories that have landscapes of possible low energy parameters is reviewed. Conditions for such a theory to yield falsifiable predictions for doable experiments are given. It is shown that the…

This paper solves the first of the open problems in topos theory posted by William Lawvere, concerning the existence of a Grothendieck topos that has proper class many quotient topoi. This paper concretely constructs such Grothendieck…

A Banach space is said to be Grothendieck if weak and weak$^*$ convergent sequences in the dual space coincide. This notion has been quantificated by H. Bendov\'{a}. She has proved that $\ell_\infty$ has the quantitative Grothendieck…

We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.

We investigate Grothendieck topologies (in the sense of sheaf theory) on a poset $\P$ that are generated by some subset of $\P$. We show that such Grothendieck topologies exhaust all possibilities if and only if $\P$ is Artinian. If $\P$ is…

We give a characterizations of toposes which admit a generating family of objects which are internally cardinal finite (i.e. Kuratowski finite and decidable) in terms of "topological" conditions. The central result is that, constructively,…

We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, if $\lambda^{++}$…

The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical logic, the conditions under which the existence of a multiverse is a logical necessity in mathematical physics, and the implications of…

We consider the possibility of a past and future eternal universe, constructing geodesically complete inflating, loitering, and bouncing spacetimes. We identify the constraints energy conditions in General Relativity place on the building…

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…

Determining the initial state of the universe is a challenging problem in quantum cosmology and we argue that the issue is intractable if the basic postulates of quantum mechanics are not modified in a nontrivial way. Namely a "standard"…

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…

The disk complex of a surface in a 3-manifold is used to define its {\it topological index}. Surfaces with well-defined topological index are shown to generalize well-known classes, such as incompressible, strongly irreducible, and critical…

We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(\Gamma,\Gamma)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each…

This paper clarifies some aspects of Lorentzian topology change, and it extends to a wider class of spacetimes previous results of Geroch and Tipler that show that topology change is only to be had at a price. The scenarios studied here are…

We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…

We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical…

We observe that the notions of a topological space being extremally disconnected, and of a continuous map of compact Hausdorff spaces being proper, and being surjective proper, can each be defined in terms of the Quillen lifting property…

We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The automorphism group of this point carries a profinite topology…