Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Ograniczanie wyników
Autorzy
1
Shavrukov V. Y.
Lata
1
1993
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Znaleziono wyników: 1
Liczba wyników na stronie
10
20
50
100
Strona
/ 1
Wyniki wyszukiwania
Sortuj według:
trafności
tytułu publikacji
daty malejąco
daty rosnąco
tytułu czasopisma
nazwiska pierwszego autora
Ogranicz wyniki do:
we wszystkich polach
w tytułach publikacji
w tytułach czasopism
w nazwiskach autorów
w słowach kluczowych
w cytowaniach
Strona
/ 1
1
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Subalgebras of diagonalizable algebras of theories containing arithmetic
100%
Shavrukov V. Y.
Instytut Matematyczny Polskiej Akademii Nauk
EN
CONTENTS 0. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5 1. Preliminaries. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6 2. On conservativity in L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13 3. A family of Kripke models. . . . . . . . . . . . . . . . . . . . . . . . . . . 20 4. Finite credibility extent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 5. The strong disjunction property and steady formulae. . . . . .33 6. $Σ_1$-ill theories of infinite credibility extent. . . . . . . . . . . . 41 7. $Σ_1$-sound theories. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 8. An application. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .57 9. A question of arithmetical complexity. . . . . . . . . . . . . . . . . . .59 10. Arbitrary subalgebras. $Σ_1$-ill theories. . . . . . . . . . . . . . 66 11. Arbitrary subalgebras. $Σ_1$-sound theories. . . . . . . . . . 74 References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .80
Strona
/ 1
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ć.