Zobrazeno 1 - 10
of 437
pro vyhledávání: '"bounded arithmetic"'
Autor:
Alam, Abolfazl, Moniri, Morteza
Publikováno v:
Bulletin of the Section of Logic. 51(2):163-176
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1072268
Autor:
Abolfazl Alam, Morteza Moniri
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 163-176 (2022)
In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theo
Externí odkaz:
https://doaj.org/article/4dca557a86004aa1b3d4cb446999fef0
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:
Pollett, Chris
Publikováno v:
The Journal of Symbolic Logic, 2003 Dec 01. 68(4), 1082-1090.
Externí odkaz:
https://www.jstor.org/stable/4147749
Autor:
YAMAGATA, YORIYUKI
Publikováno v:
The Journal of Symbolic Logic, 2018 Sep 01. 83(3), 1063-1090.
Externí odkaz:
https://www.jstor.org/stable/26600362
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:
PUDLÁK, PAVEL
Publikováno v:
The Bulletin of Symbolic Logic, 2017 Dec 01. 23(4), 405-441.
Externí odkaz:
https://www.jstor.org/stable/26409194