Related papers: Noetherian spaces in choiceless set theory
We present a new proof that the statement 'every subgroup of a free group is free' implies the Axiom of Choice for finite sets.
In this note we prove algebraic independence results for the values of a special class of Mahler functions. In particular, the generating functions of Thue-Morse, regular paperfolding and Cantor sequences belong to this class, and we obtain…
Many seemingly paradoxical effects are known in the predictions for outcomes of intermediate measurements made on pre- and post-selected quantum systems. Despite appearances, these effects do not demonstrate the impossibility of a…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…
Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…
We derive some 1-D symmetry and uniqueness or non-existence results for nonnegative solutions of some elliptic system in the halfspace $\R^N_+$ in low dimension. Our method is based upon a combination of Fourier series and Liouville…
Two different paradoxes of the fuzzy logic programming system of [29] are presented. The first paradox is due to two distinct (contradictory) truth values for every ground atom of FLP, one is syntactical, the other is semantical. The second…
It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…
We show how an off shell invariance of the massless particle action allows the construction of an extension of the conformal space-time algebra and induces a non-commutative space-time geometry in bosonic and supersymmetric particle…
Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…
In this paper, we examine how various notions of independence in non-commutative probability theory arise in bi-free probability. We exhibit how Boolean and monotone independence occur from bi-free pairs of faces and establish a Kac/Loeve…
We show the existence of a noncommutative spacetime structure in the context of a complete discussion on the underlying spacetime symmetries for the physical system of a free massless relativistic particle. The above spacetime symmetry…
In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization…
The point selection theorem says that the convex hull of any finite point set contains a point that lies in a positive proportion of the simplices determined by that set. This paper proves several new volumetric versions of this theorem…
Simple argument in favour of unitarity, to all orders, of space-like noncommutative theory is given.
We give a proof of the Kunen inconsistency in ZF.
We prove under ZFC that in each extremally disconnected compact space there exists a non-limit point of any countable discrete subset.
We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…