Skip to main content
    • Aa
    • Aa

Determinateness and the separation property

  • John R. Steel (a1)

A pointclass is a class of subsets of the Baire space (ωω) closed under inverse images by continuous functions. The dual of a pointclass Γ, denoted is {~AAΓ}. (Complements are relative to ωω.) If Γ is nonselfdual, i.e. , then let . We say a nonselfdual pointclass Γ has the first separation property, and write Sep(Γ), iff (∀A, BΓ)(AB = ∅ ⇒ (∃CΔ)(ACB ⋂ = ∅)). The set C is said to separate A and B.

Descriptive set theory abounds in nonselfdual pointclasses Γ, and for the more natural examples of such Γ one can always show by assuming enough determinateness that exactly one of Sep(Γ) and Sep() holds. Van Wesep [2] provides a partial explanation of this fact by showing that, assuming the full axiom of determinateness, one of Sep(Γ) and Sep() must fail for all nonselfdual pointclasses Γ. We shall complete the explanation by showing that one of Sep(Γ) and Sep() must hold.

The axiom of determinateness has other interesting consequences in the general theory of pointclasses. See e.g. [3].

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[3]R. Van Wesep , Wadge degrees and descriptive set theory, Cabal Seminar 76–77, Springer Lecture Notes in Mathematics, vol. 689 (A. S. Kechris and Y. N. Moschovakis , Editors), Springer-Verlag, Berlin and New York, 1978.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *