Limit search to available items
Book Cover
E-book
Author Craig, William, 1918-

Title Semigroups underlying first-order logic / William Craig
Published Providence, R.I. : American Mathematical Society, 2006

Copies

Description 1 online resource (xxv, 263 pages)
Series Memoirs of the American Mathematical Society, 1947-6221 ; v. 866
Memoirs of the American Mathematical Society ; no. 866. 0065-9266
Contents 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
Notes "Volume 184, number 866 (second of 4 numbers)."
Bibliography Includes bibliographical references (pages 243-244) and indexes
Notes Print version record
Subject Algebraic logic.
First-order logic.
Semigroups.
MATHEMATICS -- General.
Algebraic logic.
First-order logic.
Semigroups.
Form Electronic book
ISBN 9781470404703
1470404702