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

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

1

Analytic determinacy and 0# A forcing-free proof of Harrington’s theorem

100%

Sami R. L.

Fundamenta Mathematicae

|

1999

|

tom 160

|

nr 2

153-159

EN

We prove the following theorem: Given a⊆ω and $1 ≤ α < ω_1^{CK}$, if for some $η < ℵ_1$ and all u ∈ WO of length η, a is $Σ _α^0(u)$, then a is $Σ_α^0$. We use this result to give a new, forcing-free, proof of Leo Harrington's theorem: $Σ_1^1$-Turing-determinacy implies the existence of $0^#$.

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

Ograniczanie wyników

1 Fundamenta Mathematicae

1 Sami R. L.

1 1999

Wyniki wyszukiwania

Analytic determinacy and 0# A forcing-free proof of Harrington’s theorem