相关论文: Non-Collapse of the Effective Wadge Hierarchy

We define and study an effective version of the Wadge hierarchy in computable quasi-Polish spaces which include most spaces of interest for computable analysis. Along with hierarchies of sets we study hierarchies of k-partitions which are…

We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property of Wadge…

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…

The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show…

We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into the…

We study the scalar curvature of incomplete wedge metrics in certain stratified spaces with a single singular stratum (wedge spaces). Building upon several well established technical tools for this category of spaces (the corresponding…

We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular…

We prove that any weakly non-collapsed RCD space is actually non-collapsed, up to a renormalization of the measure. This confirms a conjecture raised by De Philippis and the second named author in full generality. One of the auxiliary…

The notion of super weak compactness for subsets of Banach spaces is a strengthening of the weak compactness that can be described as a local version of super-reflexivity. A recent result of K. Tu which establishes that the closed convex…

We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that…

We study the class of compact spaces that appear as structure spaces of separable Banach lattices. In other words, we analyze what $C(K)$ spaces appear as principal ideals of separable Banach lattices. Among other things, it is shown that…

We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment…

We present a possible method to probe the inner structure of particles based on one kind of promising dynamical collapse theory. It is shown that the present decay data of KL meson indicates that quarks have no inner structure.

We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness…

Abst\-ract: A hierarchy of effective three-dimensional theories of finite temperature electroweak matter is studied. First an integration over non-static modes leads to an effective theory containing a gauge field $A_{i}^{a}$, an adjoint…

We consider problems concerning the partial order structure of the set of spreading models of Banach spaces. We construct examples of spaces showing that the possible structure of these sets include certain classes of finite semi-lattices…

The embedding of a given point set with non-crystallographic symmetry into higher-dimensional space is reviewed, with special emphasis on the Minkowski embedding known from number theory. This is a natural choice that does not require an a…

We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…

There has been a surge of interest in effective non-Lorentzian theories of excitations with restricted mobility, known as fractons. Examples include defects in elastic materials, vortex lattices or spin liquids. In the effective theory…

We derive a hierarchy of separability criteria for multi-mode continuous variable systems. They permit to study in a unified way the k-partite entanglement of broad classes of Gaussian and non- Gaussian states. With specific examples we…