Related papers: Noetherian spaces in choiceless set theory
We construct the field A generated by n algebraically independent elements, and show that the linear space of derivations over this field is faithfully represented by the linear space of the n-th fold Cartesian product of this field acting…
We present a new method for algebraic independence results in the context of Mahler's method. In particular, our method uses the asymptotic behaviour of a Mahler function $f(z)$ as $z$ goes radially to a root of unity to deduce algebraic…
We calculate modifications to the scalar Casimir force between two parallel plates due to space-time non-commutativity. We devise a heuristic approach to overcome the difficulties of describing boundaries in non-commutative theories and…
The null splitting theorem (proved in math.DG/9909158) is discussed. As an application, a uniqueness theorem for Minkowski space and for de Sitter space associated with the occurrence of null lines (inextendible globally achronal null…
We study the Dirichlet Casimir effect for a complex scalar field on two noncommutative spatial coordinates plus a commutative time. To that end, we introduce Dirichlet-like boundary conditions on a curve contained in the spatial plane, in…
We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and…
It is well-known that the Continuum Hypothesis (CH) is independent of the other axioms of Zermelo-Fraenkel set theory with choice (ZFC). This raises the question of whether an intuitive justification exists for CH as an additional axiom, or…
A nonlinear version of Roth's theorem states that dense sets of integers contain configurations of the form $x$, $x+d$, $x+d^2$. We obtain a multidimensional version of this result, which can be regarded as a first step towards…
In set theory without the Axiom of Choice, we consider Ingleton's axiom which is the counterpart in ultrametric analysis of the Hahn-Banach axiom. We show that in $ZFA$, set theory without the Axiom of Choice weakened to allow "atoms",…
In this conceptual paper, we discuss quantum formalisms which do not use the famous Axiom of Choice. We also consider the fundamental problem which addresses the (in)correctness of having the complex numbers as the base field for Hilbert…
We prove some basic results on the dimension theory of algebraic stacks, and on the multiplicities of their irreducible components, for which we do not know a reference.
In what follows, essentially two things will be accomplished: Firstly, it will be proven that a version of the Arzel\`a--Ascoli theorem and the Fr\'echet--Kolmogorov theorem are equivalent to the axiom of countable choice for subsets of…
The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this paper, we describe a choice-free…
We introduce a variational setting for the action functional of an autonomous and indefinite Lagrangian on a finite dimensional manifold. Our basic assumption is the existence of an infinitesimal symmetry whose Noether charge is the sum of…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
In this paper, we present a constructive proof of Popescu's non-commutative Fej\'er-Riesz theorem for non-commuting polynomials. We are considering non-commutating polynomial in left-creation and left-annihilation multi-Toeplitz operators.
We introduce a new type of partitions that consists of partitions whose different parts alternate in parity (e.g., $3+2+2+1+1$). Various properties of this partition function are studied. In particular, we obtain its asymptotic behavior by…
Under $\mathrm{ZF}$, we show that the statement that every subset of every $\mathbb{R}$-vector space has a maximal convex subset is equivalent to the Axiom of Choice. We also study the strength of the same statement restricted to some…
Quasi-Noether differential systems are more general than variational systems and are quite common in mathematical physics. They include practically all differential systems of interest, at least those that have conservation laws. In this…
Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, which shows that this road is not consistent, as our example…