scientific article; zbMATH DE number 3896923

zbMATH Open0563.03029MaRDI QIDQ3676136FDOQ3676136

John N. Crossley, Jeffrey Remmel

Publication date: 1984

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• Sound, totally sound, and unsound recursive equivalence types
• THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE
• Title not available (Why is that?)
• Title not available (Why is that?)
• Manifolds allowing RET arithmetic

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)