Related papers: The grounded Martin's axiom
A complete canonical formulation of general covariance makes it possible to construct new modified theories of gravity that are not of higher-curvature form, as shown here in a spherically symmetric setting. The usual uniqueness theorems…
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…
We introduce and study the noncommutative weak Extension Principle, a lifting principle aiming to characterise $^*$-homomorphisms between coronas of nonunital separable $\mathrm{C}^*$-algebras. While this principle fails if the Continuum…
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…
We study principles of the form: if a name $\sigma$ is forced to have a certain property $\varphi$, then there is a ground model filter $g$ such that $\sigma^g$ satisfies $\varphi$. We prove a general correspondence connecting these name…
The aim of this thesis is to question some of the basic assumptions that go into building the $\Lambda$CDM model of our universe. The assumptions we focus on are the initial conditions of the universe, the fundamental forces in the universe…
In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…
The class forcing theorem, which asserts that every class forcing notion $\mathbb{P}$ admits a forcing relation $\Vdash_{\mathbb{P}}$, that is, a relation satisfying the forcing relation recursion -- it follows that statements true in the…
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…
The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…
We discuss the axiomatic basis of quantum mechanics and show that it is neither general nor consistent, since its axioms are incompatible with each other and moreover it does not incorporate the magnetic quantization as in the cyclotron…
A variation of fundamental constants of physics is proposed in a frame of static universe. It is shown when the velocity of light increases (decreases) the Planck's constant increases (decreases) and mass of bodies decreases (increases).…
A non-statistical theory of continuous, but irreversible, evolution can be constructed in terms of the Cartan calculus. The fundamental postulate, for an evolutionary theory which admits irreversible processes, is that the topology of the…
The existence of a ground state of the Nelson Hamiltonian with a perturbation is considered. The self-adjointness of the Hamiltonian and the existence of a ground state are proven for arbitrary values of coupling constants.
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. Surprisingly, this logic is constructive and so…
We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable $C^*$-algebras with the metric approximation property…
Possible models of modified gravity are being extensively studied now, with most phenomenological motivations coming from puzzles and tensions in cosmology due to a natural desire to better fit the known and newly coming data. At the same…
The linear mathematics of quantum mechanics gives many versions of reality instead of the single version we perceive, with the perceived version chosen at random according to a probability law. Because of these peculiarities, the theory…