scientific article; zbMATH DE number 3896923

MaRDI QIDQ3676136zbMATH OpenFDO

Authors John N. Crossley, Jeffrey Remmel

Publication date 1984

zbMATH Keywords

matroidsrecursive equivalence typestheories of constructive order typesvector spaces over a recursive field

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Recursive equivalence types of sets and structures, isols (03D50)

Recommendations

• scientific article; zbMATH DE number 3880676
• Some undecidability results for lattices in recursion theory
• scientific article; zbMATH DE number 535104
• The theory of the recursively enumerable weak truth-table degrees is undecidable
• Undecidability and 1-types in the recursively enumerable degrees

Cited in

(6)

• scientific article; zbMATH DE number 3880676 (Why is no real title available?)
• Manifolds allowing RET arithmetic
• scientific article; zbMATH DE number 5497805 (Why is no real title available?)
• Sound, totally sound, and unsound recursive equivalence types
• THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE
• scientific article; zbMATH DE number 2236644 (Why is no real title available?)

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