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: 1

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

Generic absoluteness under projective forcing

100%
EN
We study the preservation of the property of LR being a Solovay model under projective ccc forcing extensions. We compute the exact consistency strength of the generic absoluteness of LR under forcing with projective ccc partial orderings and, as an application, we build models in which Martin's Axiom holds for $Σ\limits_{∼}}^{1}_{n}$ partial orderings, but it fails for the $Σ\limits_{∼}^{1}_{n+1}$.
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ć.