Related papers: Historic iteration with aleph_epsilon-support
I show that it is consistent relative to the consistency of a Mahlo cardinal that Martin's axiom holds at $\omega_2$, but the weak Kurepa Hypothesis fails. This answers a question posed by Honzik, Lambie-Hanson and Stejskalov\'a. The…
It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address…
The hypothesis of the scale invariance of the macroscopic empty space, which intervenes through the cosmological constant, has led to new cosmological models. They show an accelerated cosmic expansion and satisfy several major cosmological…
The existence of a global time is often taken for granted but should instead be considered as a matter of investigation. By using the tools of global Lorentzian geometry I show that, under physically reasonable conditions, the impossibility…
We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD,…
We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom $(*)$. This answers a question from the 1990's and amalgamates two prominent axioms of set theory which were both known to imply that there are $\aleph_2$…
Harvey Friedman, in his remarkable paper Finite functions and the necessary use of large cardinals, Ann. Math. 148:803-893, 1998 and in a technical report, Applications of large cardinals to graph theory, Ohio State University, 1997,…
In cosmology the number of scientists using the framework of an expanding universe is very high. This model, the big-bang, is now overwhelmingly present in almost all aspects of society. It is the main stream cosmology of today. A small…
Assuming some large cardinals, a model of ZFC is obtained in which aleph_{omega+1} carries no Aronszajn trees. It is also shown that if lambda is a singular limit of strongly compact cardinals, then lambda^+ carries no Aronszajn trees.
The discrepancy between dynamical mass measures of objects such as galaxies and the observed distribution of luminous matter in the universe is typically explained by invoking an unseen ``dark matter'' component. Dark matter must…
Despite being an established notion in the large cardinal hierarchy, results about Woodin cardinals are sparse in the literature. Here we gather known results about the preservation of Woodin cardinals under certain forcing extensions, as…
We introduce the Hermitian-invariant group $\Gamma_f$ of a proper rational map $f$ between the unit ball in complex Euclidean space and a generalized ball in a space of typically higher dimension. We use properties of the groups to define…
We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…
We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…
Assuming an inaccessible cardinal kappa, there is a generic extension in which MA + 2^{aleph_0} = kappa holds and the reals have a Delta^2_1 well-ordering.
The aim of this brief review is twofold. First, we give an overview of the unprecedented experimental efforts to measure the gravitational acceleration of antimatter; with antihydrogen in three competing experiments at CERN (AEGIS, ALPHA…
Quantum complexity is conjectured to probe inside of black hole horizons (or wormhole) via gauge gravity correspondence. In order to have a better understanding of this correspondence, we study time evolutions of complexities for generic…
It is shown that if physical space time were truly compact there would only be of the order of one solutions to the classical field equations with a weighting to be explained. But that would not allow any peculiar choice of initial…
No-cloning theorem says that there is no unitary operation that makes perfect clones of non-orthogonal quantum states. The objective of the present paper is to examine whether an imperfect cloning operation exists or not in a C*-algebraic…
We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…