Precomplete Equivalence Relations in Dominical Categories (Q3741621)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Precomplete Equivalence Relations in Dominical Categories |
scientific article |
Statements
1986
0 references
incompleteness
0 references
categorical approach to recursion theory
0 references
precompleteness
0 references
recursion categories
0 references
Fixed Point Theorem
0 references
precomplete equivalence relation
0 references
Precomplete Equivalence Relations in Dominical Categories (English)
0 references
0 references
