Advertisement

Algebra and Logic

, Volume 58, Issue 1, pp 95–99 | Cite as

Primitive Recursive Fields and Categoricity

  • I. Sh. KalimullinEmail author
  • R. Miller
COMMUNICATIONS
  • 22 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Miller, B. Poonen, H. Schoutens, and A. Shlapentokh, “A computable functor from graphs to fields,” J. Symb. Log., 83, No. 1, 326-348 (2018).MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    P. E. Alaev, “Structures computable in polynomial time. I,” Algebra and Logic, 55, No. 6, 421-435 (2016).MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    P. E. Alaev, “Structures computable in polynomial time. II,” Algebra and Logic, 56, No. 6, 429-442 (2017).MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    P. E. Alaev, “Categoricity for primitive recursive and polynomial Boolean algebras,” Algebra and Logic, 57, No. 4, 251-274 (2018).MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    P. Alaev and V. Selivanov, “Polynomial-time presentations of algebraic number fields,” in Lect. Notes Comput. Sci., 10936, Springer, Cham (2018), pp. 20-29.Google Scholar
  6. 6.
    I. Kalimullin, A. Melnikov, and K. M. Ng, “Algebraic structures computable without delay,” Theor. Comput. Sci., 674, 73-98 (2017).MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    I. Kalimullin, A. Melnikov A., and K. M. Ng, “The diversity of categoricity without delay,” Algebra and Logic, 56, No. 2, 171-177 (2017).Google Scholar
  8. 8.
    A. Frolov, I. Kalimullin, and R. Miller, “Spectra of algebraic fields and subfields,” in Lect. Notes Comput. Sci., 5635, Springer-Verlag, Berlin (2009), pp. 232-241.Google Scholar
  9. 9.
    V. V. Koz’minykh, “On the representation of partial recursive functions as superpositions,” Algebra and Logic, 11, No. 3, 153-167 (1972).CrossRefGoogle Scholar
  10. 10.
    H. M. Edwards, Galois Theory, Grad. Texts Math., 101, Springer-Verlag, New York (1984).Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Kazan (Volga Region) Federal UniversityKazanRussia
  2. 2.Queens College—C.U.N.YNew YorkUSA
  3. 3.C.U.N.Y. Graduate CenterNew YorkUSA

Personalised recommendations