Related papers: Dependent products and 1-inaccessible universes
We define a potentialist system of ZF-structures, that is, a collection of possible worlds in the language of ZF connected by a binary accessibility relation, achieving a potentialist account of the full background set-theoretic universe…
We present new static spherically-symmetric solutions of Einstein equations with the quintessence-like matter surrounding a global monopole. These new solutions of the coupling scalar-Einstein equations are more complicated, which depend on…
We show that a certain geometric property, the QSF introduced by S. Brick and M. Mihalik, is universally true for {\ibf all} finitely presented groups $\Gamma$. One way of defining this property is the existence of a smooth compact manifold…
For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…
Arhangel'skii proved that if a first countable Hausdorff space is Lindel\"of, then its cardinality is at most $2^{\aleph_0}$. Such a clean upper bound for Lindel\"of spaces in the larger class of spaces whose points are ${\sf G}_{\delta}$…
The Klein-Gordon equation is solved for di-Holeums (gravitational bound states of two micro black holes) for scalar and vector gravity in its static limit. The relativistic models confirm the predictions of the nonrelativistic Newtonian…
We shall prove that the celebrated R\'enyi entropy is the first example of a new family of infinitely many multi-parametric entropies. We shall call them the $Z$-entropies. Each of them, under suitable hypotheses, generalizes the celebrated…
Production of gravitational vacuum defects and their contribution to the energy density of our Universe are discussed. These topological microstructures (defects) could be produced in the result of creation of the Universe from "nothing"…
Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-order sentence in the language of X is almost surely true…
In this paper we will show that using implicative algebras one can produce models of intuitionistic set theory generalizing both realizability and Heyting-valued models. This has as consequence that if one assumes the inaccessible cardinal…
Even when completely and consistently formulated, a fundamental theory of physics and cosmological boundary conditions may not give unambiguous and unique predictions for the universe we observe; indeed inflation, string/M theory, and…
The vierbein (tetrad) fields for closed and open Friedmann-Robertson-Walker cosmologies are hard to work out in most of the theories featuring absolute parallelism. The difficulty is traced in the fact that these theories are not invariant…
We search for a universal property of quantum gravity. By "universal", we mean the independence from any existing model of quantum gravity (such as the super string theory, loop quantum gravity, causal dynamical triangulation, and so on).…
We define a generic Vop\v{e}nka cardinal to be an inaccessible cardinal $\kappa$ such that for every first-order language $\mathcal{L}$ of cardinality less than $\kappa$ and every set $\mathscr{B}$ of $\mathcal{L}$-structures, if…
The existence of initial singularities in expanding universes is proved without assuming the timelike convergence condition. The assumptions made in the proof are ones likely to hold both in open universes and in many closed ones. (It is…
Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for a certain independence relation called…
We use Bowen's definition of topological entropy and Ahlfors five islands theorem, as well as the theory of polynomial-like mappings, to show that the topological entropy of any entire transcendental function is infinity. In addition the…
Copernicus realised we were not at the centre of the universe. A universe made finite by topological identifications introduces a new Copernican consideration: while we may not be at the geometric centre of the universe, some galaxy could…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
We discuss cosmological solutions for a diffeomorphism invariant gauge theory of the non-compact Lorentz group $SO(1,3)$. Besides the gauge bosons our model of pregeometry contains a vector field in the vector representation of $SO(1,3)$…