On some generalizations of the primitive recursive arithmetic
type: Item
instance of: scholarly article
title: On some generalizations of the primitive recursive arithmetic
zbMATH Open document ID: 1058.03064
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 2111112
zbMATH Keywords: Branching
zbMATH Keywords: Loading operator
zbMATH Keywords: Logical operator
zbMATH Keywords: extension of primitive recursive arithmetic
zbMATH Keywords: program schemes
author: I. D. Zaslavskii
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.03.067
OpenAlex ID: W2020893225
cites work: Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
cites work: Q4263838
cites work: Q5812175
cites work: Q3815289
cites work: Q5586197
cites work: Q4149746
cites work: On the Consistency and Undecidability of Recursive Arithmetic
DOI: 10.1016/J.TCS.2004.03.067
description: scientific article; zbMATH DE number 2111112