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

Ograniczanie wyników

Autorzy help

  1. 1 Jensen D.

Lata help

  1. 1 1973

Preferencje help
Polish version English version Język
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
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

On local proof restrictions for strong theories

100%
Jensen D.
Instytut Matematyczny Polskiej Akademii Nauk
EN
CONTENTS Introduction.................................................................................................................... 5 Chapter 1. Preliminaries............................................................................................. 7 Chapter 2. Formal arithmetization............................................................................. 12 Chapter 3. Proof restriction functions....................................................................... 18 Chapter 4. Reflexive theories and proof restriction functions.............................. 24 Chapter 5. Truth definitions and formalized consistency proofs......................... 30 Chapter 6. Pair proof restriction functions............................................................... 37 Conclusions.................................................................................................................. 45 Bibliography................................................................................................................... 46
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ć.