Related papers: The grounded Martin's axiom
In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the…
One signature of an expanding universe is the time-variation of the cosmological abundances of its different components. For example, a radiation-dominated universe inevitably gives way to a matter-dominated universe, and critical moments…
We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…
Evolution of a universe with homogeneous extra dimensions is studied with the benefit of a well-chosen parameter space that provides a systematic, useful, and convenient way for analysis. In this model we find a natural evolution pattern…
Conventionally, the strong-$CP$ problem is assumed to be a naturalness puzzle, with the axion solution sometimes viewed as an ad hoc fix. Gravity is either ignored or taken as a threat for the global Peccei-Quinn symmetry. We explain that…
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not…
This paper gives a thorough critique of the foundations of quantum physics in its mainstream interpretation (i.e., treating pure states as primitives, without reference to hidden variables, and without modifications of the quantum laws).…
The Consistent Histories (CH) formalism aims at a quantum mechanical framework which could be applied even to the universe as a whole. CH stresses the importance of histories for quantum mechanics, as opposed to measurements, and maintains…
We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…
Starting from the original Einstein action, sometimes called the Gamma squared action, we propose a new setup to formulate modified theories of gravity. This can yield a theory with second order field equations similar to those found in…
This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information without a predefined syntax/logic. This structure is called…
We define a countable antichain condition (ccc) property for partial orderings, weaker than precalibre-$\aleph_1$, and show that Martin's axiom restricted to the class of partial orderings that have the property does not imply Martin's…
We consider class of modified $f(R)$ gravities with the effective cosmological constant epoch at the early and late universe. Such models pass most of solar system tests as well they satisfy to cosmological bounds. Despite their very…
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…
A specific form of the inertial law is presented by which we can have some deeper insight into the essence of mass and inertia. In this modified theory, there is no need to keep the concept of absolute space and Newton's third law as…
As part of the recent developments in infinite matroid theory, there have been a number of conjectures about how standard theorems of finite matroid theory might extend to the infinite setting. These include base packing, base covering, and…
We present a new method to analytically prove global stability in ghost-ridden dynamical systems. Our proposal encompasses all prior results and consequentially extends them. In particular, we show that stability can follow from a conserved…
When we want to predict the future, we compute it from what we know about the present. Specifically, we take a mathematical representation of observed reality, plug it into some dynamical equations, and then map the time-evolved result back…