scientific article; zbMATH DE number 3443640
From MaRDI portal
Publication:4769050
zbMath0283.02036MaRDI QIDQ4769050
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive equivalence types of sets and structures, isols (03D50) Computability and recursion theory (03D99) Categories of sets, characterizations (18B05) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (11)
Paradox and potential infinity ⋮ Recursion theory on fields and abstract dependence ⋮ Myhill's work in recursion theory ⋮ Cancellation laws for polynomial-time \(p\)-isolated sets ⋮ Bounded linear logic: A modular approach to polynomial-time computability ⋮ The inverse of a regressive object ⋮ Effective dimension ⋮ Sound, totally sound, and unsound recursive equivalence types ⋮ Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces ⋮ Controlling the dependence degree of a recursively enumerable vector space ⋮ Simple and hyperhypersimple vector spaces
This page was built for publication:
