Charles Explorer logo
🇬🇧

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

Publication at Faculty of Arts |
2007

Abstract

The paper presents an interpretation of Robinson arithmetic in its weaker variant considered by A. Grzegorczyk, in which addition and multiplication are partial functions.