An illustration of the power of structure theory

DOI10.1023/A:1008655708680zbMath0978.22002OpenAlexW4242027559MaRDI QIDQ1840723

Karl Heinrich Hofmann

Publication date: 25 January 2002

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008655708680

zbMATH Keywords

semigroupRamsey theorytopological semigroupoperator semigroup\(\lambda\)-calculus modelsvan der Waerden's theorem on arithmetic progressions

Mathematics Subject Classification ID

Representations of general topological groups and semigroups (22A25) General structure theory for semigroups (20M10) Groups and semigroups of linear operators (47D03) Specification and verification (program logics, model checking, etc.) (68Q60) Elementary theory of partitions (11P81) Structure of topological semigroups (22A15) Continuous lattices and posets, applications (06B35) Arithmetic progressions (11B25)

Related Items (1)

Complete Heyting algebra-valued convergence semigroups

This page was built for publication: An illustration of the power of structure theory