scientific article; zbMATH DE number 3443640
From MaRDI portal
Publication:4769050
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categories of sets, characterizations (18B05) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Computability and recursion theory (03D99) Recursive equivalence types of sets and structures, isols (03D50)
Cited in
(11)- Simple and hyperhypersimple vector spaces
- Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
- Sound, totally sound, and unsound recursive equivalence types
- Cancellation laws for polynomial-time \(p\)-isolated sets
- Myhill's work in recursion theory
- The inverse of a regressive object
- Bounded linear logic: A modular approach to polynomial-time computability
- Effective dimension
- Controlling the dependence degree of a recursively enumerable vector space
- Paradox and potential infinity
- Recursion theory on fields and abstract dependence
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4769050)
