The jump operation for structure degrees

@article{Baleva2006TheJO,
  title={The jump operation for structure degrees},
  author={V. Baleva},
  journal={Arch. Math. Log.},
  year={2006},
  volume={45},
  pages={249-265}
}
One of the main problems in effective model theory is to find an appropriate information complexity measure of the algebraic structures in the sense of computability. Unlike the commonly used degrees of structures, the structure degree measure is total. We introduce and study the jump operation for structure degrees. We prove that it has all natural jump properties (including jump inversion theorem, theorem of Ash), which show that our definition is relevant. We study the relation between the… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 26 references

Degree spectra and co-spectra of structures

  • I. N. Soskov
  • To appear in Ann. Univ. Sofia,
  • 2003
Highly Influential
5 Excerpts

Abstract first order computability I

  • Y. N. Moschovakis
  • Trans. Amer. Math. Soc. 138, 427–464
  • 1969
Highly Influential
6 Excerpts

Abstract first order computability II

  • Y. N. Moschovakis
  • Trans. Amer. Math. Soc. 138, 465–504
  • 1969
Highly Influential
6 Excerpts

Computability, definability and algebraic structures

  • R. Downey
  • Proceedings of 7th and 8th Asian logic conference…
  • 2003
1 Excerpt