The Intuitionistic Robinson Arithmetic(s)
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The Intuitionistic Robinson Arithmetic(s)
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Logica Yearbook 2014
ISBN
978-1-84890-177-3
ISSN
—
e-ISSN
—
Number of pages
14
Pages from-to
77-90
Publisher name
College Publications
Place of publication
London
Event location
Hejnice
Event date
Jun 15, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—