相关论文: Separating the Fan Theorem and Its Weakenings

We study the Hartogs extension phenomenon in noncompact almost homogeneous algebraic varieties and we prove the cohomological and weight criteria for the Hartogs phenomenon. In the case of spherical varieties, we prove a criterion for the…

An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories. It shows the bijective correspondence between sequential independent and parallel independent direct derivations in the Weak Double-Pushout framework,…

Some physical consequences of the negation of the continuum hypothesis are considered. It is shown that quantum and classical mechanics are component parts of the multicomponent description of the set of variable infinite cardinality.…

We consider a class of dynamical systems, which we call weakly coarse expanding, which is a generalization to the postcritically infinite case of expanding Thurston maps as discussed by Bonk-Meyer and is closely related to coarse expanding…

In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the…

The theory of support varieties gives a rich supply of examples of thick subcategories of the stable module category of a finite group algebra. We study direct sum decompositions of such categories. We give examples where there are finer…

We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among…

We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted…

We discuss some surprising phenomena from basic calculus related to oscillating functions and to the theorem on the differentiability of inverse functions. Among other things, we see that a continuously differentiable function with a strict…

We discuss the position of intuitionistic mathematics within the field of constructive mathematics. We discuss some principles defended and used by Brouwer but rejected by Bishop, like the Coninuity Principle, the Fan Theorem and the Bar…

We introduce the concept of inverse powerset by adding three axioms to the Zermelo-Fraenkel set theory. This extends the Zermelo-Fraenkel set theory with a new type of set which is motivated by an intuitive meaning and interesting…

We study constructively the relations between the finite cases of Dickson's lemma. Although there are many constructive proofs of them, the novel aspect of our proofs is the extraction of a corresponding bound. We provide some new one-step…

The limit of small entropy production is reached in relaxing systems long after preparation, and in stationary driven systems in the limit of small driving power. Surprisingly, for extended systems this limit is not in general the…

Warm inflation, its different particle physics model implementations and the implications of dissipative particle production for its cosmology are reviewed. First, we briefly present the background dynamics of warm inflation and contrast it…

Projection theorems of divergences enable us to find reverse projection of a divergence on a specific statistical model as a forward projection of the divergence on a different but rather "simpler" statistical model, which, in turn, results…

The paper is a contribution to intuitionistic reverse mathematics. We work in a weak formal system for intuitionistic analysis. The Principle of Open Induction on Cantor space is the statement that every open subset of Cantor space that is…

The Fluctuation Theorem (FT) gives an analytic expression for the probability, in a nonequilibrium system of finite size observed for a finite time, that the dissipative flux will flow in the reverse direction to that required by the Second…

For self-similar sets, there are two important separation properties: the open set condition and the weak separation condition introduced by Zerner, which may be replaced by the formally stronger finite type property of Ngai and Wang. We…

We consider a recent formulation of weak KAM theory proposed by Evans. As well as for classical integrability, for one dimensional mechanical Hamiltonian systems all the computations can be explicitly done. This allows us on the one hand to…

We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…