Related papers: Dependent products and 1-inaccessible universes
Shannon and Khinchin showed that assuming four information theoretic axioms the entropy must be of Boltzmann-Gibbs type, $S=-\sum_i p_i \log p_i$. Here we note that in physical systems one of these axioms may be violated. For non-ergodic…
We prove that the existence of a Haantjes structure is a necessary and sufficient condition for a Hamiltonian system to be integrable in the Liouville-Arnold sense. This structure, expressed in terms of suitable operators whose Haantjes…
We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property…
The universal entropy bound of Bekenstein is considered, at any strength of the gravitational interaction. A proof of it is given, provided the considered general-relativistic spacetimes allow for a meaningful and inequivocal definition of…
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…
Motivated by the model theory of higher order logics, a certain kind of topological spaces had been introduced on ultraproducts. These spaces are called ultratopologies. Ultratopologies provide a natural extra topological structure for…
We conjecture the following entropy bound to be valid in all space-times admitted by Einstein's equation: Let A be the area of any two-dimensional surface. Let L be a hypersurface generated by surface-orthogonal null geodesics with…
Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…
We investigate the global structure of inflationary universe both by analytical methods and by computer simulations of stochastic processes in the early Universe. We show that the global structure of the universe depends crucially on the…
Modern observations based on general relativity indicate that the spatial geometry of the expanding, large-scale Universe is very nearly Euclidean. This basic empirical fact is at the core of the so-called "flatness problem", which is…
Let $\kappa$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^{\kappa}$ of eventual equality. From mild assumptions on $\kappa$ we give general constructions of…
The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…
Comparison of the thermodynamic entropy with Boltzmann's principle shows that under conditions of constant volume the total number of arrangements in simple thermodynamic systems with temperature-independent heat capacities is TC/k. A…
A theory of the cosmological constant Lambda is currently out of reach. Still, one can start from a set of axioms that describe the most desirable properties a cosmological constant should have. This can be seen in certain analogy to the…
We obtain in this paper, as a consequence of the Riemann hypothesis, certain class of topological deformations of the graph of the function $|\zf|$. These are used to construct an infinite set of microscopic universes (on the Planck's…
What if supersymmetry is not something to be hidden, but something to be reached? We introduce the Supersymmetric Horizon Stabilization (SHS): a conceptually unified and analytically controlled framework for embedding metastable de Sitter…
We extend the `topological inflation' of Linde and Vilenkin to {\em unstable} monopoles. This allows the monopole to decay; not inflating eternally, as topological inflation demands. Such a situation happens naturally in some Grand Unified…
The partition number $\pi(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $\nu$ such that for each partition $A_1\uplus\ldots\uplus A_\nu = [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is…
Let $\kappa$ be a regular cardinal, $\lambda<\kappa$ be a smaller infinite cardinal, and $\mathsf K$ be a $\kappa$-accessible category where colimits of $\lambda$-indexed chains exist. We show that various category-theoretic constructions…
We provide a proof, in $ZFC$, of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). Moreover, assuming in addition the Singular Cardinal Hypothesis ($SCH$), we prove a direct generalization to the more…