Czasopismo
Tytuł artykułu
Warianty tytułu
Języki publikacji
Abstrakty
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
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
139-159
Opis fizyczny
Daty
wydano
2003
Twórcy
autor
- 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
autor
- (deceased; 1944-2002)
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm180-2-2