相关论文: A weak dichotomy below E_1 \times E_3

We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.

We introduce the notion of groupoid pre-equivalences and prove that they give rise to groupoid equivalences by taking certain quotients. Then, given an equivalence of Fell bundles $\mathscr{B}$ and $\mathscr{C}$ and another equivalence…

We define the class of weakly approximately divisible unital C*-algebras and show that this class is closed under direct sums, direct limits, any tensor product with any C*-algebra, and quotients. A nuclear C*-algebra is weakly…

Bohl dichotomy is a notion of hyperbolicity for linear nonautonomous difference equations that is weaker than the classical concept of exponential dichotomy. In the class of systems with bounded invertible coefficient matrices which have…

We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…

Given a finite point set $P\subset\mathbb{R}^d$, we call a multiset $A$ a one-sided weak $\varepsilon$-approximant for $P$ (with respect to convex sets), if $|P\cap C|/|P|-|A\cap C|/|A|\leq\varepsilon$ for every convex set $C$. We show…

The question of what is genuinely quantum about weak values is only ever going to elicit strongly subjective opinions---it is not a scientific question. Good questions, when comparing theories, are operational---they deal with the…

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

In this article we define a new reducibility based on the enumeration orders of r.e. sets.

In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a…

We prove, in ZF+$\bf\Sigma^1_2$-determinacy, that for any analytic equivalence relation $E$, the following three statements are equivalent: (1) $E$ does not have perfectly many classes, (2) $E$ satisfies hyperarithmetic-is-recursive on a…

The following is true in the Solovay model. 1. If $\leq$ is a Borel partial quasi-order on a Borel set $D$ of the reals, $X$ is a ROD subset of $D$, and $\leq$ restricted to $X$ is linear, then $X$ is countably cofinal in the sense of…

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…

The weak Whyburn property is a generalization of the classical sequential property that has been studied by many authors. A space $X$ is weakly Whyburn if for every non-closed set $A \subset X$ there is a subset $B \subset A$ such that…

We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with…

We show that an \'etale groupoid which is strongly amenable at infinity is amenable whenever its full and reduced $C^*$-algebras coincide.

We show that the category of countable Borel equivalence relations (CBERs) is dually equivalent to the category of countable $\mathcal{L}_{\omega_1\omega}$ theories which admit a one-sorted interpretation of a particular theory we call…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

A subalgebra B of a Lie algebra L is called a weak c-ideal of L if there is a subideal C of L such that L = B+C and B\cap C \subseteq B_L where B_L is the largest ideal of L contained in B. This is analogous to the concept of weakly c-…

The usual way of defining weak equivalences for simplicial presheaves is to require an isomorphism on all sheaves of homotopy groups. We unravel some of the machinery here, and give a more concrete description in terms of local homotopy…