Displaying similar documents to “Structure resolvability”

Borel and Baire reducibility

Harvey Friedman (2000)

Fundamenta Mathematicae

Similarity:

We prove that a Borel equivalence relation is classifiable by countable structures if and only if it is Borel reducible to a countable level of the hereditarily countable sets. We also prove the following result which was originally claimed in [FS89]: the zero density ideal of sets of natural numbers is not classifiable by countable structures.

The σ-ideal of closed smooth sets does not have the covering property

Carlos Uzcátegui (1996)

Fundamenta Mathematicae

Similarity:

We prove that the σ-ideal I(E) (of closed smooth sets with respect to a non-smooth Borel equivalence relation E) does not have the covering property. In fact, the same holds for any σ-ideal containing the closed transversals with respect to an equivalence relation generated by a countable group of homeomorphisms. As a consequence we show that I(E) does not have a Borel basis.

Analytic gaps

Stevo Todorčević (1996)

Fundamenta Mathematicae

Similarity:

We investigate when two orthogonal families of sets of integers can be separated if one of them is analytic.

On a question of Sierpiński

Theodore Slaman (1999)

Fundamenta Mathematicae

Similarity:

There is a set U of reals such that for every analytic set A there is a continuous function f which maps U bijectively to A.

Borel extensions of Baire measures

J. Aldaz (1997)

Fundamenta Mathematicae

Similarity:

We show that in a countably metacompact space, if a Baire measure admits a Borel extension, then it admits a regular Borel extension. We also prove that under the special axiom ♣ there is a Dowker space which is quasi-Mařík but not Mařík, answering a question of H. Ohta and K. Tamano, and under P(c), that there is a Mařík Dowker space, answering a question of W. Adamski. We answer further questions of H. Ohta and K. Tamano by showing that the union of a Mařík space and a compact space...

Fine properties of Baire one functions

Udayan Darji, Michael Evans, Chris Freiling, Richard O'Malley (1998)

Fundamenta Mathematicae

Similarity:

A new theorem in the theory of first return representations of Baire class one functions of a real variable is presented which has as immediate consequences several known characterizations of standard subclasses of the Baire one functions. Further, this theorem yields new insights into how finely Baire one functions can be recovered and yields a characterization of another subclass of Baire one functions.

Properties of the class of measure separable compact spaces

Mirna Džamonja, Kenneth Kunen (1995)

Fundamenta Mathematicae

Similarity:

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, the existence of a compact ordered scattered space which carries a non-separable (non-regular)...

Ordered spaces with special bases

Harold Bennett, David Lutzer (1998)

Fundamenta Mathematicae

Similarity:

We study the roles played by four special types of bases (weakly uniform bases, ω-in-ω bases, open-in-finite bases, and sharp bases) in the classes of linearly ordered and generalized ordered spaces. For example, we show that a generalized ordered space has a weakly uniform base if and only if it is quasi-developable and has a G δ -diagonal, that a linearly ordered space has a point-countable base if and only if it is first-countable and has an ω-in-ω base, and that metrizability in a generalized...

Each nowhere dense nonvoid closed set in Rn is a σ-limit set

Andrei Sivak (1996)

Fundamenta Mathematicae

Similarity:

We discuss main properties of the dynamics on minimal attraction centers (σ-limit sets) of single trajectories for continuous maps of a compact metric space into itself. We prove that each nowhere dense nonvoid closed set in n , n ≥ 1, is a σ-limit set for some continuous map.