Дальше идут АCA^'_0, АТR_0, Pi_1^2 CA_0 и Z_2.
До АТR_0 бесконечность еще не называют актуальной, потому что нет сильных формул выделения.

обзор и топос в науке про эти системы и особенно бесконечности..

какой я был глупый, могу представить. впрочем, и есть. меня не интересует сложность (вычислений-теперь) .)

(Reply to this) (Parent) (Thread)

Misha, okroj pozhalusta novuju, otdelnuju temu pro eto. Ja chto-nibud' esche umnoe skazhu.

Pro eti sistemy - pochti vse logicheskie knizhki v mire. V Kleene oni vypisany v jazyke p[ervogo porjadka
i nazyvajutsya

RCA_0 --- primitivno rekursivnaja arifmetika

ACA_o --- arifmetika Peano

ACA^'_0 --- arifmetika Peano rasshirennaja mnogochislennymi dobavlenijami principa refleksii (rovno epsilon_{epsilon_0} raz.

(Reply to this) (Parent)

sovsem novuju temu (novyj post).

(Reply to this) (Parent) (Thread)

mozhno. no luchshe by ego sdelat' citatoj ili naborom citat
(wse eti spory uzhe sporeny-peresporeny..) any ideas ?

(Reply to this) (Parent) (Thread)

ne znaju dazhe chto i posovetovat'... Ty v kakoj sejchas strane (kotoraja biblioteka pod rukoj)?

Ja dumal chto raz u tebja PhD po logike, to ty vsyo eto ne xuzhe menja znaesh'?

Mozhno simpsonovu knizhku pochitat' konechno, no tam ne vsyo.

(Reply to this) (Parent)