Related papers: On Erdos--Dushnik--Miller theorem without AC

The theorem we prove is a slight strengthening of some results by Just, Miller, Scheepers and Szeptycki [JMSS]. We use the Michael technique instead of the combinatorial approach in the literature. Comments by the submitter: This short…

A property of weak stationarity of a matrix valued differential form at superdensity points of its vanishing set is proved. This result is then applied in the context of the Maurer-Cartan equation.

The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on…

We characterize the points that satisfy Birkhoff's ergodic theorem under certain computability conditions in terms of algorithmic randomness. First, we use the method of cutting and stacking to show that if an element x of the Cantor space…

In this paper some qualitative and geometric aspects of nonsmooth vector fields theory are discussed. In the class of nonsmooth systems, that do not present sliding regions, a Poincar\'e-Bendixson Theorem is presented. A minimal set in…

We show the existence of a weak solution of a semilinear elliptic Dirichlet problem on an arbitrary open set. We make no assumptions about the open set, very mild regularity assumptions on the semilinearity, plus a coerciveness assumption…

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…

We prove uniqueness and existence of the weak solutions of Euler equations with helical symmetry, with initial vorticity in $L^{\infty}$ under "no vorticity stretching" geometric constraint. Our article follows the argument of the seminal…

We give an overview of the representation theory of restricted rational Cherednik algebras. These are certain finite-dimensional quotients of rational Cherednik algebras at t=0. Their representation theory is connected to the geometry of…

We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show…

In set theory without the axiom of Choice ZF, we prove that for every commutative field IK, the following statement D_{\IK}: "On every non null IK-vector space, there exists a non null linear form" implies the existence of a IK-linear…

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its…

We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…

Computability on uncountable sets has no standard formalization, unlike that on countable sets, which is given by Turing machines. Some of the approaches to define computability in these sets rely on order-theoretic structures to translate…

We observe a realization of a stationary generalized weighted Voronoi tessellation of the d-dimensional Euclidean space within a bounded observation window. Given a geometric characteristic of the typical cell, we use the minus-sampling…

We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover. We also show a close relation with the…

In this paper, we introduce the new class of continua; weakly infinite-dimensional closed set-aposyndetic continua. With this notion, we show that there exists a non-D-continuum such that each positive Whitney level of the hyperspace of the…

This article presents a deep investigation of fixed points for multivalued weak contractions in cone metric spaces. We extend Berinde weak contraction principles to the multivalued setting in cone metric spaces, developing existence,…

In this work, we introduce the geometric concept of one-sided weakly porous sets in the real line and show that a set $E\subset\mathbb{R}$ satisfies $d(\cdot,E)^{-\alpha}\in A_1^+(\mathbb{R})\cap L^1_\textrm{loc}(\mathbb{R})$ for some…