Related papers: Noetherian spaces in choiceless set theory
In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and locales lifts to a…
Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…
In this article, we consider actions of \mathcal{Z}_+^d, \mathcal{R}_+^d and finitely generated free groups on a von Neumann algebras $M$ and prove a version of maximal ergodic inequality. Additionally, we establish non-commutative…
We derive two consequences of the multivariate fundamental theorem of algebra (MFTA). The first one is the Bezout theorem for $n$ polynomials. Notably the intersection multiplicities, as in MFTA, are characterized just by means of partial…
In "Extensional realizability for intuitionistic set theory", we introduced an extensional variant of generic realizability, where realizers act extensionally on realizers, and showed that this form of realizability provides "inner" models…
In this paper by exploiting critical point theory, the existence of two distinct nontrivial solutions for a nonlinear algebraic system with a parameter is established. Our goal is achieved by requiring an appropriate behavior of the…
We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…
We prove a number of results involving the kernel of the identity minus the monodromy on the vanishing cycles.
We give a rigorous construction of the Dirac Sea for the fermionic quantization in the non-separable Hilbert spaces. These CAR-representations depend on the Axiom of Choice, hence are not unique, nevertheless they are unitarily equivalent…
We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very…
A denumerable cellular family of a topological space $\mathbf{X}$ is an infinitely countable collection of pairwise disjoint non-empty open sets of $ \mathbf{X}$. It is proved that the following statements are equivalent in $\mathbf{ZF}$:…
We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving…
A folklore argument shows that Frattini's characterization of non-generators works in the framework of algebraic partially ordered sets. We provide characterizations of non-generators in arbitrary partially ordered sets. The validity of…
Our main result, Theorem 3.3, uses Friedman's Jump Free Theorem, Theorem 2.7, which he has shown to be independent of ZFC, the usual axioms of set theory. We conjecture that Theorem 3.3, a straight forward translation of the statement of…
We survey the connections between entropy, chaos, and independence in topological dynamics. We present extensions of two classical results placing the following notions in the context of symbolic dynamics: 1. Equivalence of positive entropy…
This paper introduces the axiom of Negative Dominance, stating that if a lottery $f$ is strictly preferred to a lottery $g$, then some outcome in the support of $f$ is strictly preferred to some outcome in the support of $g$. It is shown…
These lecture notes were written during a mini-course on noncommutative Lp-spaces at the Basque Center of Applied Mathematics. It starts presenting the theory of weights and traces in von Neumann algebra, followed by the theory of…
Let R be a noetherian ring which is a finite module over its centre Z(R). This paper studies the consequences for R of the hypothesis that it is a maximal Cohen Macaulay Z(R)-module. Old results are reviewed and a number of new results are…
We present analogues of the Poisson limit distribution for the noncommutative bm-independence, which is associated with several positive symmetric cones. We construct related discrete Fock spaces with creation, annihilation and conservation…
We describe a spacetime endowed with a non-metricity tensor which effectively serves as a model of a spacetime foam. We explore the consequences of the non-metricity in several $f(R)$ theories.