On Rudimentarity, Primitive Recursivity and Representability

DOI10.4467/20842589RM.20.004.12436zbMath1472.03067arXiv1907.00658MaRDI QIDQ5121960

Saeed Salehi

Publication date: 22 September 2020

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.00658

zbMATH Keywords

representabilityrudimentary relationsprimitive recursive functionsincompleteness theorembounded formulasprimitive recursive relations

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: On Rudimentarity, Primitive Recursivity and Representability