Related papers: The Creating Subject, the Brouwer-Kripke Schema, a…

Kreisel has observed that the termination proof for Hilbert's epsilon-substitution method bears a resemblance to the priority arguments used in recursion theory. We make this precise by proving the termination using a framework for priority…

The Kauffman model of genetic computation highlights the importance of criticality at the border of order and chaos. The model with connectivity one is of special interest because it is exactly solvable. But our understanding of its…

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…

This study has the purpose of addressing four questions that lie at the base of the probability theory and statistics, and includes two main steps. As first, we conduct the textual analysis of the most significant works written by eminent…

Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena. Therefore, epistemic…

We first establish a general random Sperner lemma by presenting a completely new approach for the theory of $L^{0}$-simplicial subdivisions of $L^{0}$-simplexes. Based on this, we are able to achieve a new complete proof of the random…

We propose a new definition of actual causes, using structural equations to model counterfactuals.We show that the definitions yield a plausible and elegant account ofcausation that handles well examples which have caused problems forother…

Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Kurt G\"odel (1932), and it is proved by Stanis{\l}aw Ja\'skowski (1936) to be a countably many valued logic. In this paper, we provide alternative proofs…

In the present work, we introduce the notion of a hyper-atom and prove their main structure theorem. We then apply the global isoperimetric methodology to give a new proof for Kemperman's structure Theory and a slight improvement.

In this work we show that the classical subject of general valuation theory and Zariski-Riemann varieties has a much wider scope than commutative algebra and desingularization theory. We construct and investigate birational projective limit…

The Brauer-Thrall Conjectures, now theorems, were originally stated for finitely generated modules over a finite-dimensional $\sk$-algebra. They say, roughly speaking, that infinite representation type implies the existence of lots of…

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…

In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions…

The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of ${\mathbb{Q}}$ or of ${\mathbb{F}}_r(t)$. We produce a series of invariants of such fields, and we…

The current work revisits the results of L.F. Meyers and R. See in [3], and presents the census-taker problem as a motivation to introduce the beautiful theory of numbers.

We study the meaning of "adding a constant to a language" for any doctrine, and "adding an axiom to a theory" for a primary doctrine, by showing how these are actually two instances of the same construction. We prove their universal…

We develop a word mechanism applied in knot and link diagrams for the illustration of a diagrammatic property. We also give a necessary condition for determining incompressible and pairwise incompressible surfaces, that are embedded in knot…

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…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's…