``Pathologies in two syntactic categories of partial maps

DOI10.1305/ndjfl/1093634998zbMath0665.03038OpenAlexW2060195588MaRDI QIDQ1115866

Franco Montagna

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634998

zbMATH Keywords

incompleteness theoremscategories of partial mapsdominical categoriesrecursion categoriesRosolini pointed p-categoriessyntactic classification of totality by category theoretic meansTuring morphism

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Special categories (18B99) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Obituary: Franco Montagna (1948--2015) ⋮ More existence theorems for recursion categories.