Abstract
The Kahn domain on p symbols can be given an arithmetic structure so that its maximal elements are isomorphic to the p-adic integers. This is described as a fixpoint of a functor in a category of sheaves of rings.
Preview
Unable to display preview. Download preview PDF.
8. Bibliography
P.M. Cohn, 1977: “Algebra”, vol. 2, Wiley.
M.P. Fourman and D.S. Scott, 1979: “Sheaves and Logic”, in “Applications of Sheaves”, Springer LNM 753.
P.T. Johnstone, 1982: “Stone Spaces”, Cambridge University Press.
M. Tierney, 1976: “On the Spectrum of a Ringed Topos”, in “Algebra, Topology and Category Theory: a collection of papers in honor of Samuel Eilenberg”, Academic Press.
S.J. Vickers, 1987: “An Algorithmic Approach to the p-adic Integers”, in the Third Workshop on the Mathematical Foundations of Programming Language Semantics, held at Tulane University; Springer.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vickers, S. (1987). A fixpoint construction of the p-adic domain. In: Pitt, D.H., Poigné, A., Rydeheard, D.E. (eds) Category Theory and Computer Science. Lecture Notes in Computer Science, vol 283. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18508-9_31
Download citation
DOI: https://doi.org/10.1007/3-540-18508-9_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18508-6
Online ISBN: 978-3-540-48006-8
eBook Packages: Springer Book Archive