Sheaf representations and the dedekind reals

1. Birkhoff, G., Pierce, R.S.: Lattice ordered rings. An. Acad. Brasil Ci., 28, 41–69 (1956)

   MathSciNet  MATH  Google Scholar 

2. Brezuleanu, A., Diaconescu, R.: Sur la duale de la catégorie des treillis. Rev. Roumaine Math. Pures Appl., 14, 311–323 (1969)

   MathSciNet  MATH  Google Scholar 

3. Henriksen, M., Johnson, D.G.: On the structure of a class of Archimedean lattice-ordered algebras. Fund. Math., 50, 73–94 (1961)

   MathSciNet  MATH  Google Scholar 

4. Henriksen, M., Isbell, J.R., Johnson, D.G.: Residue class fields of lattice ordered algebras. Fund. Math., 50, 107–117 (1961)

   MathSciNet  MATH  Google Scholar 

5. Hofmann, K.H., Keimel, K.: A General Character Theory for Partially Ordered Sets and Lattices. Mem. Amer. Math. Soc., 122 (1972)

   Google Scholar 

6. Isbell, J.R.: Atomless parts of spaces. Math. Scand., 31, 5–32 (1972)

   MathSciNet  MATH  Google Scholar 

7. Johnstone, P.T.: Topos Theory. Academic Press 1977

   Google Scholar 

8. Kennison, J.F.: Integral domains type representations in sheaves and other topoi. Math. Zeit., 151, 35–56 (1976)

   Article  MathSciNet  MATH  Google Scholar 

9. Ledbetter, C.S.: Sheaf representations and first order conditions. Clark University, Worcester, Mass., U.S.A. 1977. Ph. D. Thesis.

   Google Scholar 

10. Reynolds, G.: Notes on real representable rings. Miemographed Notes, 1977

    Google Scholar 

11. Smith, J.: Mal'cev Varieties. Lecture Notes in Mathematics, 554. Berlin and New York: Springer 1976

    Book  MATH  Google Scholar 

12. Stone, M.H.: Topological representations of distributive lattices and Brouwerian logics. Cas. Mat. Fys., 67, 1–25 (1937)

    MATH  Google Scholar 

Download references