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) 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)

• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• Recursion theory on fields and abstract dependence
• Effective dimension
• Sound, totally sound, and unsound recursive equivalence types
• Bounded linear logic: A modular approach to polynomial-time computability
• The inverse of a regressive object
• Simple and hyperhypersimple vector spaces
• Paradox and potential infinity
• Cancellation laws for polynomial-time \(p\)-isolated sets
• Myhill's work in recursion theory
• Controlling the dependence degree of a recursively enumerable vector space

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)