The Intuitionistic Robinson Arithmetic(s)

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F15%3A10315802" target="_blank" >RIV/00216208:11210/15:10315802 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
The Intuitionistic Robinson Arithmetic(s)
Popis výsledku v původním jazyce
Heyting arithmetic HA is a well established intuitionistic theory. As a counterpart to Peano arithmetic PA, it forms the theory of constructive arithmetic. Its induction-less variant, the intuitionistic Robinson arithmetic iQ, is not as well understood though. One of the problems with iQ is that there is no true agreement among logicians what iQ is. Looking at the literature one finds two distinct non-equivalent axiomatics of iQ. We'll look at the differences and compare these two axiomatics with respect to provability strength, models, and translations.
Název v anglickém jazyce
The Intuitionistic Robinson Arithmetic(s)
Popis výsledku anglicky
Heyting arithmetic HA is a well established intuitionistic theory. As a counterpart to Peano arithmetic PA, it forms the theory of constructive arithmetic. Its induction-less variant, the intuitionistic Robinson arithmetic iQ, is not as well understood though. One of the problems with iQ is that there is no true agreement among logicians what iQ is. Looking at the literature one finds two distinct non-equivalent axiomatics of iQ. We'll look at the differences and compare these two axiomatics with respect to provability strength, models, and translations.

Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)