Related papers: Constructing the Constructible Universe Constructi…
Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the…
We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…
We describe a thought experiment using an isolated system of known parameters and assuming the correctness of Clausius and Boltzmann descriptions of entropy. The experiment produced an astronomical increase in the number of possible ways…
In this article we consider alternative definitions-descriptions of a set being Infinite within the primitive Axiomatic System of Zermelo.
We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…
Absolute combinatorial game theory was recently developed as a unifying tool for constructive/local game comparison (Larsson et al. 2018). The theory concerns {\em parental universes} of combinatorial games; standard closure properties are…
Motivated by a generalization of Hempel's dilemma, I introduce a novel notion of empirical structure, as well as theory supervenience as a new reductive relationship between theories. One theory supervenes on another theory if the empirical…
Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…
We prove a criterion that allows to construct units in product systems of correspondences with prescribed infinitesimal characterizations. This criterion summarizes proofs of known results and new applications. It also frees the hypothesis…
Using Kripke models, it is shown that CZF does not prove Power Set, and that CZF with Subset Collection substituted by Exponentiation does not prove Subset Collection.
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
We record a particularly simple construction on top of Lumsdaine's local universes that allows for a Coquand-style universe of propositions with propositional extensionality to be interpreted in a category with subobject classifiers.
The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…
Although cosmology is usually considered an observational science, where there is little or no space for experimentation, other approaches can (and have been) also considered. In particular, we can change rather drastically the above, more…
Cosmology is usually understood as an observational science, where experimentation plays no role. It is interesting, nevertheless, to change this perspective addressing the following question: what should we do to create a universe, in a…
The mechanism of production of a large number of universes is considered. It is shown that universes with parameters suitable for creation of life are necessarily produced as a result of quantum fluctuations. Fractal structures are formed…
The aim of this note is to remove an implausible assumption in Moser's theorem \cite{JM} to establish our new theorem 1 which gives a lower estimate for the sum $p+c^2\rho$ on Riemann hypothesis. Corollary 1 gives a rather plausible…
Contrary to our immediate and vivid sensation of past, present, and future as continually shifting non-relational modalities, time remains as tenseless and relational as space in all of the established theories of fundamental physics. Here…
The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical logic, the conditions under which the existence of a multiverse is a logical necessity in mathematical physics, and the implications of…
Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…