Contribution to the study of the natural number object in elementary topoi

DOI10.1016/0022-4049(80)90022-5zbMath0427.03056OpenAlexW2024561835WikidataQ126746403 ScholiaQ126746403MaRDI QIDQ1136762

Michel Coste, Louis Mahé, Marie-Françoise Roy

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90022-5

zbMATH Keywords

completenessrecursive functionsnatural number objectsemantics for higher order intuitionistic arithmetic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Intuitionist type theory and the free topos

Cites Work

• Good ideals in fields of sets
• Aspects of topoi
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item