A fixpoint construction of the p-adic domain

  • Steven Vickers
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 283)


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.


Local Section Ring Homomorphism Sheaf Theory Domain Equation Ringed Frame 
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.

8. Bibliography

  1. P.M. Cohn, 1977: “Algebra”, vol. 2, Wiley.Google Scholar
  2. M.P. Fourman and D.S. Scott, 1979: “Sheaves and Logic”, in “Applications of Sheaves”, Springer LNM 753.Google Scholar
  3. P.T. Johnstone, 1982: “Stone Spaces”, Cambridge University Press.Google Scholar
  4. 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.Google Scholar
  5. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Steven Vickers
    • 1
  1. 1.Department of ComputingImperial College of Science and TechnologyLondon

Personalised recommendations