An Illustration of the Power of Structure Theory: Dedicated to Bernhard Banaschewski

Applied Categorical Structures

Volumn 8, Issue 1-2, 2000, Pages 145-160

  Hofmann, Karl H ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Models of the untyped calculus; Operator semigroup; Ramsey theory; Semigroup; Topological semigroup; Van der Waerden's theorem on arithmetic progressions; calculus

Indexed keywords

EID: 0043188934     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008655708680     Document Type: Article

References (10)

1. Ellis, R.: Distal transformation groups, Pacific J. Math. 8 (1958), 401-405.
2. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W., and Scott, D. S.: A Compendium of Continuous Lattices, Springer-Verlag, Heidelberg, 1980.
3. Hindman, N.: The semigroup βℕ and its applications to number theory, in K. H. Hofmann, J. D. Lawson, and J. S. Pym (eds), The Analytical and Topological Theory of Semigroups, De Gruyter, Berlin, 1990, pp. 347-360.
4. Hindman, N. and Papert, D.: Algebra in the Stone-Čech Compactification, De Gruyter, Berlin, 1998.
5. Hofmann, K. H. and Mislove, M. W.: All compact Hausdorff models are degenerate, Fund. Inform. 22 (1995), 23-52.
6. Hofmann, K. H. and Mislove, M. W.: Principles underlying the degeneracy of topological models of the untyped lambda calculus, in K. H. Hofmann and M. W. Mislove (eds), Semigroup Theory and Its Applications, Cambridge Univ. Press, 1996, pp. 123-155.
7. Hofmann, K. H. and Mostert, P. S.: Elements of Compact Semigroups, Charles E. Merrill Publishers, Columbus, OH, 1966.
8. Lawson, J. D.: A purely semigroup theoretical proof of van der Waerden's Theorem, Personal Communication, December 1995.
9. Mislove, M. W.: Topology, domain theory, and theoretical computer science, Elsevier Preprint, September 1996.
10. Haase, M.: Ramsey Theorie und die Stone-Čech-Kompaktifizierung diskreter Halbgruppen, Diplom Thesis, University of Tübingen, 1997.