Abstract
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.
1980 Mathematics Subject Classification (1985 revision): Primary 03D50.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barback, J. [1964], Contributions to the theory of isols. Ph.D. Thesis, Rutgers University, New Brunswick, New Jersey.
Barback, J. [1964], Recursive functions and regressive isols. Math. Scand, 15, 29–42.
Barback, J. [1969], Two notes on recursive functions and regressive isols. Trans. Amer. Math. Soc, 144, 77–94.
Barback, J. [1972], Universal regressive isols. Proceedings of AMS 36, 549–551.
Dekker, J.C.E. [1958], The factorial function for isols. Math. Zeitschr, 70, 250–262.
Dekker, J.C.E. [1958], Congruences in isols with a finite modulus. Math. Zeitschr, 70, 113–124.
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.
Dekker, J.C.E. [1966], Les fonctions combinatoires et les isols. Collection de Logique Mathématique, ser. A, No. 22, Gauthier-Villars, Paris.
Dekker, J.C.E. [1967], Regressive isols. In: Sets, models and recursion theory (J.N. Crossley, ed.), 272–296, North-Holland Publishing Company, Amsterdam.
Dekker, J.C.E. and E. Ellentuck [1992], Myhill’s work in recursion theory. Annals of Pure and Applied Logic, 56, 43–71.
Dekker, J.C.E. and J. Myhill [1960], Recursive equivalence types. University of California Publications in Mathematics (N.S.), 3, 67–214.
Ellentuck, E. [1973], On the form of functions which preserve regressive isols. Comp. Math, 26, 283–302.
McLaughlin, T.G. [1982], Regressive sets and the theory of isols. Marcel Dekker, New York.
Nerode, A. [1961], Extensions to isols. Annals of Math, 73, 362–403.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media New York
About this chapter
Cite this chapter
Barback, J. (1993). Prime Isols and the Theorems of Fermat and Wilson. In: Crossley, J.N., Remmel, J.B., Shore, R.A., Sweedler, M.E. (eds) Logical Methods. Progress in Computer Science and Applied Logic, vol 12. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-0325-4_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0325-4_3
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-6708-9
Online ISBN: 978-1-4612-0325-4
eBook Packages: Springer Book Archive