Cantor diagrams: a unifying discussion of self-reference

DOI10.1023/A:1024447013739zbMath1032.03055OpenAlexW1505774517MaRDI QIDQ1404250

Giorgio Germano, Stefano Mazzanti

Publication date: 21 August 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024447013739

zbMATH Keywords

Cartesian closed categorydiagonal arguments

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Recursive functions and relations, subrecursive hierarchies (03D20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categoricity and completeness of theories (03C35)

This page was built for publication: Cantor diagrams: a unifying discussion of self-reference