Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Pakhomov, A. N."'
We explore the idea of using automatic and similar kind of presentations of structures to deal with the conceptual problem of natural proof-theoretic ordinal notations. We conclude that this approach still does not meet the goals.
Comment: 19 pa
Comment: 19 pa
Externí odkaz:
http://arxiv.org/abs/2407.10198
We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original system of
Externí odkaz:
http://arxiv.org/abs/1908.10302
Publikováno v:
In Annals of Pure and Applied Logic May 2022 173(5)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Belyaev, V. M., Bol'shukhin, M. A., Pakhomov, A. N., Khizbullin, A. M., Lepekhin, A. N., Polunichev, V. I., Veshnyakov, K. B., Sokolov, A. N., Turusov, A. Yu.
Publikováno v:
Atomic Energy; Jan2021, Vol. 129 Issue 1, p27-34, 8p