Geometry of recursion for arithmetic and existentially defined relations

DOI10.1007/BF02367766zbMath0884.18002OpenAlexW1993939211MaRDI QIDQ1375270

A. I. Provotar'

Publication date: 1 April 1998

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02367766

zbMATH Keywords

recursiontoposnatural number object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (2)

Using categorical methods in computer science ⋮ Main directions in the development of informatics

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Geometry of recursion for arithmetic and existentially defined relations