Displaying 101 – 120 of 415

Showing per page

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.

Completely nonmeasurable unions

Robert Rałowski, Szymon Żeberski (2010)

Open Mathematics

Assume that no cardinal κ < 2ω is quasi-measurable (κ is quasi-measurable if there exists a κ-additive ideal of subsets of κ such that the Boolean algebra P(κ)/ satisfies c.c.c.). We show that for a metrizable separable space X and a proper c.c.c. σ-ideal II of subsets of X that has a Borel base, each point-finite cover ⊆ 𝕀 of X contains uncountably many pairwise disjoint subfamilies , with 𝕀 -Bernstein unions ∪ (a subset A ⊆ X is 𝕀 -Bernstein if A and X A meet each Borel 𝕀 -positive subset...

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.

Continuous-, derivative-, and differentiable-restrictions of measurable functions

Jack Brown (1992)

Fundamenta Mathematicae

We review the known facts and establish some new results concerning continuous-restrictions, derivative-restrictions, and differentiable-restrictions of Lebesgue measurable, universally measurable, and Marczewski measurable functions, as well as functions which have the Baire properties in the wide and restricted senses. We also discuss some known examples and present a number of new examples to show that the theorems are sharp.

Coordinatewise decomposition of group-valued Borel functions

Benjamin D. Miller (2007)

Fundamenta Mathematicae

Answering a question of Kłopotowski, Nadkarni, Sarbadhikari, and Srivastava, we characterize the Borel sets S ⊆ X × Y with the property that every Borel function f: S → ℂ is of the form f(x,y) = u(x) + v(y), where u: X → ℂ and v: Y → ℂ are Borel.

Definability of small puncture sets

Andrés Eduardo Caicedo, John Daniel Clemens, Clinton Taylor Conley, Benjamin David Miller (2011)

Fundamenta Mathematicae

We characterize the class of definable families of countable sets for which there is a single countable definable set intersecting every element of the family.

Definable hereditary families in the projective hierarchy

R. Barua, V. Srivatsa (1992)

Fundamenta Mathematicae

We show that if ℱ is a hereditary family of subsets of ω ω satisfying certain definable conditions, then the Δ 1 1 reals are precisely the reals α such that β : α Δ 1 1 ( β ) . This generalizes the results for measure and category. Appropriate generalization to the higher levels of the projective hierarchy is obtained under Projective Determinacy. Application of this result to the Q 2 n + 1 -encodable reals is also shown.

Currently displaying 101 – 120 of 415