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
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