On differences among elementary theories of finite levels of ershov hierarchies

  • Authors:

  • Yue Yang;Liang Yu

  • Affiliations:

  • Department of Mathematics, Faculty of Science, National University of Singapore, Singapore;Department of Mathematics, Faculty of Science, National University of Singapore, Singapore

  • Venue:
  • TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the differences among elementary theories of finite levels of Ershov hierarchies. We also give a brief survey on the current state of this area. Some questions are raised.