Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Definable hereditary families in the projective hierarchy

100%
EN
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_{2n+1}$-encodable reals is also shown.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.