scientific article; zbMATH DE number 3443640

zbMATH Open0283.02036MaRDI QIDQ4769050FDOQ4769050

Authors: John N. Crossley, Anil Nerode 

Publication date: 1974

Title of this publication is not available (Why is that?)

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
• The inverse of a regressive object
• Bounded linear logic: A modular approach to polynomial-time computability
• 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)