An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F07%3A00000723" target="_blank" >RIV/00216208:11210/07:00000723 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant
Original language description
The paper presents an interpretation of Robinson arithmetic in its weaker variant considered by A. Grzegorczyk, in which addition and multiplication are partial functions.
Czech name
Interpretace Robinsonovy aritmetiky v její Grzegorczykově slabší variantě
Czech description
V článku je zkonstruována interpretace Robinsonovy aritmetiky v její slabší variantě, kterou uvažoval A. Grzegorczyk a v níž sčítání a násobení jsou netotálními funkcemi.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Result description