PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2003 | 180 | 2 | 139-159
Tytuł artykułu

An application of a reflection principle

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We define a recursive theory which axiomatizes a class of models of IΔ₀ + Ω ₃ + ¬ exp all of which share two features: firstly, the set of Δ₀ definable elements of the model is majorized by the set of elements definable by Δ₀ formulae of fixed complexity; secondly, Σ₁ truth about the model is recursively reducible to the set of true Σ₁ formulae of fixed complexity.
Słowa kluczowe
Rocznik
Tom
180
Numer
2
Strony
139-159
Opis fizyczny
Daty
wydano
2003
Twórcy
  • Institute of Mathematics, Polish Academy of Sciences, Śniadeckich 8, 00-956 Warszawa, Poland
  • Institute of Philosophy, Warsaw University, Krakowskie Przedmieście 3, 00-047 Warszawa, Poland
  • (deceased; 1944-2002)
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm180-2-2
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ć.