Advertisement

Conclusion

  • Ralph McKenzie
  • Matthew Valeriote
Chapter
Part of the Progress in Mathematics book series (PM, volume 79)

Abstract

For any class of similar structures we have the implications unstructured => hereditarily undecidable => undecidable.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston, Inc. 1989

Authors and Affiliations

  • Ralph McKenzie
    • 1
  • Matthew Valeriote
    • 2
  1. 1.Department of MathematicsUniversity of CaliforniaBerkeleyUSA
  2. 2.Department of Mathematics and StatisticsMcMaster UniversityHamiltonCanada

Personalised recommendations