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].

Hide All
[1]Kechris A. S., Classifying projective-like hierarchies, Bulletin of the Greek Mathematical Society, vol. 18 (1979), pp. 254275.
[2]Van Wesep R., Separation principles and the axiom of determinateness, this Journal, vol. 43 (1978), pp. 7781.
[3]Van Wesep R., Wadge degrees and descriptive set theory, Cabal Seminar 76–77, Springer Lecture Notes in Mathematics, vol. 689 (Kechris A. S. and Moschovakis Y. N., 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? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 3 *
Loading metrics...

Abstract views

Total abstract views: 68 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 20th October 2017. This data will be updated every 24 hours.