Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

Algorithmic procedures


Authors: Harvey Friedman and Richard Mansfield
Journal: Trans. Amer. Math. Soc. 332 (1992), 297-312
MSC: Primary 03D75
DOI: https://doi.org/10.1090/S0002-9947-1992-1055807-7
MathSciNet review: 1055807
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We consider the state of elementary recursion theory when the familiar $ 0, 1, +, \times, =, < $ of ordinary arithmetic are replaced by constants, functions, and relations from an arbitrary model.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03D75

Retrieve articles in all journals with MSC: 03D75


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1992-1055807-7
Article copyright: © Copyright 1992 American Mathematical Society