scientific article; zbMATH DE number 3443640

MaRDI QIDQ4769050zbMATH OpenFDO

Authors John N. Crossley, Anil Nerode

Publication date 1974

Mathematics Subject Classification ID

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 on ordinals, admissible sets, etc. (03D60) Computability and recursion theory (03D99) Categories of sets, characterizations (18B05)

Cited in

(11)

• 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
• Effective dimension
• Paradox and potential infinity
• The inverse of a regressive object
• 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
• Sound, totally sound, and unsound recursive equivalence types

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)