Semigroups underlying first-order logic / [electronic resource] William Craig.
Material type:
TextSeries: Memoirs of the American Mathematical Society ; v. 866Publication details: Providence, R.I. : American Mathematical Society, 2006.Description: 1 online resource (xxv, 263 p.)ISBN: - 9781470404703 (online)
- 511.3/24 22
- QA10 .C74 2006
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK13319 |
"Volume 184, number 866 (second of 4 numbers)."
Includes bibliographical references (p. 243-244) and indexes.
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
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Description based on print version record.
There are no comments on this title.