PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2011 | 212 | 3 | 191-216
Tytuł artykułu

Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We prove that for i ≥ 1, the arithmetic $IΔ₀ + Ω_i$ does not prove a variant of its own Herbrand consistency restricted to the terms of depth in $(1+ε)log^{i+2}$, where ε is an arbitrarily small constant greater than zero. On the other hand, the provability holds for the set of terms of depths in $log^{i+3}$.
Słowa kluczowe
Twórcy
  • Institute of Mathematics, Polish Academy of Sciences, 00-956 Warszawa, Poland
  • Institute of Mathematics, Polish Academy of Sciences, 00-956 Warszawa, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm212-3-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ć.