Prime Isols and the Theorems of Fermat and Wilson

  • J. Barback
Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 12)


Let pr denote the principal function of the set of prime numbers, and let prΛ. denote its extension to the isols of A. Nerode. Because pr is an increasing recursive function, then prΛ will map regressive isols into regressive isols. It is a well-known property that if A is a regressive isol, then prΛ(A) is a prime isol. In our paper we study these primes and show that there are very general analogues in the isols to both Fermat’s Theorem and Wilson’s Theorem.


Prime Number Infinite Series Recursive Function Principal Function Positive Isol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Barback, J. [1964], Contributions to the theory of isols. Ph.D. Thesis, Rutgers University, New Brunswick, New Jersey.Google Scholar
  2. [2]
    Barback, J. [1964], Recursive functions and regressive isols. Math. Scand, 15, 29–42.MathSciNetzbMATHGoogle Scholar
  3. [3]
    Barback, J. [1969], Two notes on recursive functions and regressive isols. Trans. Amer. Math. Soc, 144, 77–94.MathSciNetzbMATHGoogle Scholar
  4. [4]
    Barback, J. [1972], Universal regressive isols. Proceedings of AMS 36, 549–551.MathSciNetCrossRefGoogle Scholar
  5. [5]
    Dekker, J.C.E. [1958], The factorial function for isols. Math. Zeitschr, 70, 250–262.MathSciNetzbMATHCrossRefGoogle Scholar
  6. [6]
    Dekker, J.C.E. [1958], Congruences in isols with a finite modulus. Math. Zeitschr, 70, 113–124.MathSciNetzbMATHCrossRefGoogle Scholar
  7. [7]
    Dekker, J.C.E. [1962], Infinite series of isols. In: Recursive function theory, Proceedings of Symposia in Pure Mathematics, vol. 5, 77–96, Amer. Math. Soc, Providence, Rhode Island.CrossRefGoogle Scholar
  8. [8]
    Dekker, J.C.E. [1966], Les fonctions combinatoires et les isols. Collection de Logique Mathématique, ser. A, No. 22, Gauthier-Villars, Paris.zbMATHGoogle Scholar
  9. [9]
    Dekker, J.C.E. [1967], Regressive isols. In: Sets, models and recursion theory (J.N. Crossley, ed.), 272–296, North-Holland Publishing Company, Amsterdam.CrossRefGoogle Scholar
  10. [10]
    Dekker, J.C.E. and E. Ellentuck [1992], Myhill’s work in recursion theory. Annals of Pure and Applied Logic, 56, 43–71.MathSciNetzbMATHCrossRefGoogle Scholar
  11. [11]
    Dekker, J.C.E. and J. Myhill [1960], Recursive equivalence types. University of California Publications in Mathematics (N.S.), 3, 67–214.MathSciNetzbMATHGoogle Scholar
  12. [12]
    Ellentuck, E. [1973], On the form of functions which preserve regressive isols. Comp. Math, 26, 283–302.MathSciNetzbMATHGoogle Scholar
  13. [13]
    McLaughlin, T.G. [1982], Regressive sets and the theory of isols. Marcel Dekker, New York.zbMATHGoogle Scholar
  14. [14]
    Nerode, A. [1961], Extensions to isols. Annals of Math, 73, 362–403.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1993

Authors and Affiliations

  • J. Barback
    • 1
  1. 1.Department of MathematicsSUNY CollegeBuffaloUSA

Personalised recommendations