Skip to Main Content


AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution


Semigroups underlying first-order logic

About this Title

William Craig

Publication: Memoirs of the American Mathematical Society
Publication Year: 2006; Volume 184, Number 866
ISBNs: 978-0-8218-4149-5 (print); 978-1-4704-0470-3 (online)
DOI: https://doi.org/10.1090/memo/0866
MathSciNet review: 2262055
MSC: Primary 03G15; Secondary 06F05, 20M99

PDF View full volume as PDF

View other years and numbers:

Table of Contents

Chapters

  • I. Boolean, relation-induced, and other operations for dealing with first-order definability
  • II. Uniform relations between sequences
  • III. Diagonal relations
  • IV. Uniform diagonal relations and some kinds of bisections or bisectable relations
  • V. Presentation of $\mathbf {S}_q$, $\mathbf {S}_p$, and related structures
  • VI. Presentation of $\mathbf {S}_{pq}$, $\mathbf {S}_{pe}$ and related structures
  • VII. Presentation of $\mathbf {S}_{pqe}$ and related structures