Displaying 81 – 100 of 331

Showing per page

Combinatorics of ideals --- selectivity versus density

A. Kwela, P. Zakrzewski (2017)

Commentationes Mathematicae Universitatis Carolinae

This note is devoted to combinatorial properties of ideals on the set of natural numbers. By a result of Mathias, two such properties, selectivity and density, in the case of definable ideals, exclude each other. The purpose of this note is to measure the ``distance'' between them with the help of ultrafilter topologies of Louveau.

Compact covering mappings and cofinal families of compact subsets of a Borel set

G. Debs, J. Saint Raymond (2001)

Fundamenta Mathematicae

Among other results we prove that the topological statement “Any compact covering mapping between two Π⁰₃ spaces is inductively perfect” is equivalent to the set-theoretical statement " α ω ω , ω L ( α ) < ω "; and that the statement “Any compact covering mapping between two coanalytic spaces is inductively perfect” is equivalent to “Analytic Determinacy”. We also prove that these statements are connected to some regularity properties of coanalytic cofinal sets in (X), the hyperspace of all compact subsets of a Borel...

Compactifications of ℕ and Polishable subgroups of S

Todor Tsankov (2006)

Fundamenta Mathematicae

We study homeomorphism groups of metrizable compactifications of ℕ. All of those groups can be represented as almost zero-dimensional Polishable subgroups of the group S . As a corollary, we show that all Polish groups are continuous homomorphic images of almost zero-dimensional Polishable subgroups of S . We prove a sufficient condition for these groups to be one-dimensional and also study their descriptive complexity. In the last section we associate with every Polishable ideal on ℕ a certain Polishable...

Complete pairs of coanalytic sets

Jean Saint Raymond (2007)

Fundamenta Mathematicae

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of ω ω there exists a continuous function f : ω ω X such that f - 1 ( C ) = D and f - 1 ( C ) = D . We give several explicit examples of complete pairs of coanalytic sets.

Complexité des boréliens à coupes dénombrables

Dominique Lecomte (2000)

Fundamenta Mathematicae

Nous donnons, pour chaque niveau de complexité Γ, une caractérisation du type "test d'Hurewicz" des boréliens d'un produit de deux espaces polonais ayant toutes leurs coupes dénombrables ne pouvant pas être rendus Γ par changement des deux topologies polonaises.

Complexity of curves

Udayan B. Darji, Alberto Marcone (2004)

Fundamenta Mathematicae

We show that each of the classes of hereditarily locally connected, finitely Suslinian, and Suslinian continua is Π₁¹-complete, while the class of regular continua is Π₀⁴-complete.

Complexity of the class of Peano functions

K. Omiljanowski, S. Solecki, J. Zielinski (2000)

Colloquium Mathematicae

We evaluate the descriptive set theoretic complexity of the space of continuous surjections from m to n .

Constructing universally small subsets of a given packing index in Polish groups

Taras Banakh, Nadya Lyaskovska (2011)

Colloquium Mathematicae

A subset of a Polish space X is called universally small if it belongs to each ccc σ-ideal with Borel base on X. Under CH in each uncountable Abelian Polish group G we construct a universally small subset A₀ ⊂ G such that |A₀ ∩ gA₀| = for each g ∈ G. For each cardinal number κ ∈ [5,⁺] the set A₀ contains a universally small subset A of G with sharp packing index p a c k ( A κ ) = s u p | | : g A g G i s d i s j o i n t equal to κ.

Countable dense homogeneity and λ-sets

Rodrigo Hernández-Gutiérrez, Michael Hrušák, Jan van Mill (2014)

Fundamenta Mathematicae

We show that all sufficiently nice λ-sets are countable dense homogeneous (𝖢𝖣𝖧). From this fact we conclude that for every uncountable cardinal κ ≤ 𝔟 there is a countable dense homogeneous metric space of size κ. Moreover, the existence of a meager in itself countable dense homogeneous metric space of size κ is equivalent to the existence of a λ-set of size κ. On the other hand, it is consistent with the continuum arbitrarily large that every 𝖢𝖣𝖧 metric space has size either ω₁ or 𝔠. An...

Covering Σ ξ 0 -generated ideals by Π ξ 0 sets

Tamás Mátrai (2007)

Commentationes Mathematicae Universitatis Carolinae

We develop the theory of topological Hurewicz test pairs: a concept which allows us to distinguish the classes of the Borel hierarchy by Baire category in a suitable topology. As an application we show that for every Π ξ 0 and not Σ ξ 0 subset P of a Polish space X there is a σ -ideal 2 X such that P but for every Σ ξ 0 set B P there is a Π ξ 0 set B ' P satisfying B B ' . We also discuss several other results and problems related to ideal generation and Hurewicz test pairs.

Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara (2015)

Fundamenta Mathematicae

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each F σ set under that function is again F σ . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers theorem...

Currently displaying 81 – 100 of 331