Related papers: Separating the Fan Theorem and Its Weakenings
We develop a theory of multi-stage degenerations of toric varieties over finite rank valuation rings, extending the Mumford--Gubler theory in rank one. Such degenerations are constructed from fan-like structures over totally ordered abelian…
Within the context of a linear theory of heat-flux dependent thermoelasticity for micropolar porous media some variational principles and a reciprocal relation are derived.
We use reverse mathematics to analyze "iterated jump" versions of the following four principles: the atomic model theorem with subenumerable types (AST), the diagonally noncomputable principle (DNR), weak weak K\H{o}nig's lemma (WWKL), and…
We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing…
Equipartition theory, beginning with the classical ham sandwich theorem, seeks the fair division of finite point sets in $\mathbb{R}^d$ by the full-dimensional regions determined by a prescribed geometric dissection of $\mathbb{R}^d$. Here…
We study selective and game-theoretic versions of properties like the ccc, weak Lindel\"ofness and separability, giving various characterizations of them and exploring connections between these properties and some classical cardinal…
We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…
Recently, a new fractional derivative called the conformable fractional derivative is given on based basic limit definition derivative in [4]. Then, the fractional versions of chain rules, exponential functions, Gronwalls inequality,…
The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the theory of arrays saturate the read-over-write and…
We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a…
We demonstrate that a Finite Bath Fluctuation Theorem of the Crooks type holds for systems that have been thermalized via weakly coupling it to a bath with energy independent finite specific heat. We show that this theorem reduces to the…
We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We develop the theory of weak Fraisse categories, where the crucial concept is the weak amalgamation property, discovered relatively recently in model theory. We show that, in a suitable framework, every weak Fraisse category has its unique…
In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic…
Viewing a fan as a partially ordered set (of cones) we consider a category of sheaves on the fan which corresponds to a category of equivariant sheaves on the corresponding toric variety if the fan is rational. In this category we define an…
A local strict comparison theorem and some converse comparison theorems are proved for reflected backward stochastic differential equations under suitable conditions.
We introduce the notion of Lorentzian fans, which form a special class of tropical fans that are particularly well-suited for proving Alexandrov-Fenchel type inequalities. To demonstrate the utility of Lorentzian fans, we prove a practical…
In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground…
The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…