Related papers: The grounded Martin's axiom
We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…
The purpose of this note is to present my understanding of Tim Austin's proof of the multiple ergodic theorem for commuting transformations, emphasizing on the use of joinings, extensions and factors. The existence of a sated extension,…
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which…
It is a well-known theorem of homotopy type theory, originally due to Voevodsky, that function extensionality holds inside any univalent universe. We consider a weaker variant of the univalence axiom, asserting that the wild category formed…
We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a…
We present a bounce universe in modified $f(Q,C)$ gravity considering linear as well as exponential form of gravity. Bounce cosmological models are introduced to remove the singularity problem of the early universe. A new quadratic boundary…
In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma…
Probability theory can be modified in essentially one way while maintaining consistency with the basic Bayesian framework. This modification results in copies of standard probability theory for real, complex or quaternion probabilities.…
In light of the celebrated theorem of Vop\v{e}nka (1972), proving in ZFC that every set is generic over HOD, it is natural to inquire whether the set-theoretic universe $V$ must be a class-forcing extension of HOD by some possibly…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
Given a martingale sequence of random fields that satisfies a natural assumption of boundedness, it is shown that the pointwise limit of this sequence can be modified in such a way that a certain class of moduli of continuity is preserved.…
Given a cardinal $\lambda$, category forcing axioms for $\lambda$-suitable classes $\Gamma$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_\lambda$, modulo generic extensions via forcing notions…
A range of cosmological observations demonstrate an accelerated expansion of the Universe, and the most likely explanation of this phenomenon is a cosmological constant. Given the importance of understanding the underlying physics, it is…
We consider uniformly (DC) or periodically (AC) driven generalized infinite elastic chains (a generalized Frenkel-Kontorova model) with gradient dynamics. We first show that the union of supports of all the invariant measures, denoted by A,…
We take an axisymmetric rotating universe model by crossing with a time dependent factor and evaluate its force and momentum in this evolving universe. It is concluded that it behaves exactly like a Friedmann model. We also extend this…
By means of a general classification of the different kinds of matter of nature form a chain from the world of the subatomic particles to the large bodies of the universe, the galaxies. Then, it proposes a new baryonic force for the…
The actual existence of collections of universes -- multiverses -- is strongly suggested by leading approaches to quantum cosmology, and has been proposed earlier as an attractive way to explain the apparent fine-tuned character of our…
In this chapter it is shown how the introduction of a fundamental constant of nature with dimensions of acceleration into the theory of gravity makes it possible to extend gravity in a very consistent manner.
In the context of conventional quantum field theory, we present a general Lorentz-violating extension of the minimal SU(3) x SU(2) x U(1) standard model including CPT-even and CPT-odd terms. It can be viewed as the low-energy limit of a…
We present an unconventional approach for addressing the old cosmological constant (CC) problem in a class of F(R,G) models of modified gravity. For a CC of arbitrary size and sign the corresponding cosmological evolution follows an…