Precomplete Equivalence Relations in Dominical Categories

DOI10.2307/2045781zbMath0604.03016OpenAlexW4234695433MaRDI QIDQ3741621

Claudio Bernardi

Publication date: 1986

Full work available at URL: https://doi.org/10.2307/2045781

zbMATH Keywords

incompletenessrecursion categoriesFixed Point Theoremprecompletenesscategorical approach to recursion theoryprecomplete equivalence relation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Classifying positive equivalence relations
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• The hereditary partial effective functionals and recursion theory in higher types
• Dominical categories: recursion theory without elements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Precomplete Equivalence Relations in Dominical Categories