PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2005 | 186 | 1 | 79-84
Tytuł artykułu

A note on Δ₁ induction and Σ₁ collection

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
Slaman recently proved that Σₙ collection is provable from Δₙ induction plus exponentiation, partially answering a question of Paris. We give a new version of this proof for the case n = 1, which only requires the following very weak form of exponentiation: "$x^y$ exists for some y sufficiently large that x is smaller than some primitive recursive function of y".
Słowa kluczowe
Twórcy
autor
  • St Hilda's College, University of Oxford, Oxford OX1 4DY, UK
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm186-1-6
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ć.