Towards a descriptive theory of cb0-spaces

The paper tries to extend some results of the classical Descriptive Set Theory to as many countably basedT0-spaces (cb0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we also consider the more general case ofk-partitions. In particular, we investigate the difference hierarchy ofk-partitions and the fine hierarchy closely related to the Wadge hierarchy.

Download Full-text

ω-powers and descriptive set theory

Journal of Symbolic Logic ◽

10.2178/jsl/1129642123 ◽

2005 ◽

Vol 70 (4) ◽

pp. 1210-1232 ◽

Cited By ~ 4

Author(s):

Dominique Lecomte

Keyword(s):

Set Theory ◽

Finite Alphabet ◽

Descriptive Set Theory ◽

Wadge Hierarchy ◽

Analytic Sets ◽

Descriptive Set

AbstractWe study the sets of the infinite sentences constructible with a dictionary over a finite alphabet, from the viewpoint of descriptive set theory. Among others, this gives some true co-analytic sets. The case where the dictionary is finite is studied and gives a natural example of a set at level ω of the Wadge hierarchy.

Download Full-text

Two Applications of Inner Model Theory to the Study of Sets

Bulletin of Symbolic Logic ◽

10.2307/421049 ◽

1996 ◽

Vol 2 (1) ◽

pp. 94-107 ◽

Cited By ~ 3

Author(s):

Greg Hjorth

Keyword(s):

Los Angeles ◽

Set Theory ◽

Model Theory ◽

Large Cardinals ◽

Descriptive Set Theory ◽

Inner Model Theory ◽

Regular Cardinals ◽

Inner Model ◽

Definable Sets ◽

Descriptive Set

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL(ℝ) are measurable. John Steel's analysis also settled a number of structural questions regarding HODL(ℝ), such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals.

Download Full-text