Related papers: A Cantor-Bendixson-like process which detects Delt…

In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable iff it is in the second ambiguous class (boldface Delta^0_2), iff it is…

The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we…

We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $\pmb \Pi^0_3$ which is analogous to the measure case. We also introduce the notion of the Baire category…

All spaces are assumed to be separable and metrizable. We give a complete classification of the zero-dimensional homogeneous spaces, under the Axiom of Determinacy. This classification is expressed in terms of topological complexity (in the…

We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any…

We extend the quantum-mechanical results of Muller & Saunders (2008) establishing the weak discernibility of an arbitrary number of similar fermions in finite-dimensional Hilbert-spaces in two ways: (a) from fermions to bosons for all…

In 2012 Jan Saxl conjectured that all irreducible representations of the symmetric group occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. We make progress on this…

We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalb\'an. We use this machinery to give a new proof of Louveau and…

We start by giving a survey to the theory of Borel*(\kappa) sets in the generalized Baire space Baire({\kappa}) = {\kappa}^{\kappa}. In particular we look at the relation of this complexity class to other complexity classes which we denote…

Let $\lambda$ be an uncountable cardinal such that $2^{< \lambda } = \lambda$. Working in the setup of generalized descriptive set theory, we study the structure of $\lambda^+$-Borel measurable functions with respect to various kinds of…

We show that if $\mathcal{F}$ is any "well-behaved" subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $\pow(\mathbb{R})$ induced by $\mathcal{F}$ turns out to look like the Wadge hierarchy…

Assume that we are given a coaction \delta of a locally compact group G on a C*-algebra A and a T-valued Borel 2-cocycle \omega on G. Motivated by the approach of Kasprzak to Rieffel's deformation we define a deformation A_\omega of A.…

The purpose of this paper is to complete the proof of the following result. Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. Then, there exists $\eta > 0$ such that whenever $A,B \subset \mathbb{R}$ are Borel sets with $\dim_{\mathrm{H}} A…

It is conjectured that the dual variety of every smooth nonlinear subvariety of dimension $> \frac{2N}{3}$ in projective $N$-space is a hypersurface, an expectation known as the duality defect conjecture. This would follow from the truth of…

If \alpha and \beta are countable ordinals such that \beta \neq 0, denote by \tilde{T}_{\alpha,\beta} the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_{0}}, 1/2 sup \sum_{i=1}^{j}||E_{i}x||}, where…

We prove that, for every n, the topological space {\omega}_n^{\omega} (where {\omega}_n has the discrete topology) can be partitioned into {\omega}_n copies of the Baire space. Using this fact, the authors then prove two new theorems about…

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…

Continuing the formulation of finite $N$ Hilbert spaces in emergent theories we study in this work $S_{N}$ symmetric collective models. For the case of $N$ bosons in $d$ dimensions, which map to matrix models with commuting matrices, we…