Precomplete Equivalence Relations in Dominical Categories
From MaRDI portal
Publication:3741621
DOI10.2307/2045781zbMath0604.03016MaRDI QIDQ3741621
Publication date: 1986
Full work available at URL: https://doi.org/10.2307/2045781
incompleteness; recursion categories; Fixed Point Theorem; precompleteness; categorical approach to recursion theory; precomplete equivalence relation
03G30: Categorical logic, topoi
03D45: Theory of numerations, effectively presented structures
03D75: Abstract and axiomatic computability and recursion theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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