Semigroups underlying first-order logic / William Craig.

Format:

Book

Author/Creator:

Craig, William, 1918- author.

Series:

Memoirs of the American Mathematical Society ; no. 866.

Memoirs of the American Mathematical Society, 0065-9266 ; number 866

Language:

English

Subjects (All):

Algebraic logic.

First-order logic.

Semigroups.

Physical Description:

1 online resource (298 p.)

Edition:

1st ed.

Place of Publication:

Providence, Rhode Island : American Mathematical Society, [2006]

Language Note:

English

Summary:

Boolean, relation-induced, and other operations for dealing with first-order definability Uniform relations between sequences Diagonal relations Uniform diagonal relations and some kinds of bisections or bisectable relations Presentation of ${\mathbf S}_q$, ${\mathbf S}_p$ and related structures Presentation of ${\mathbf S}_{pq}$, ${\mathbf S}_{pe}$ and related structures Appendix. Presentation of ${\mathbf S}_{pqe}$ and related structures Bibliography Index of symbols Index of phrases and subjects List of relations involved in presentations Synopsis of presentations

Contents:

""Contents""; ""Abstract""; ""Acknowledgements""; ""Overview""; ""Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability""; ""Chapter II. Uniform Relations Between Sequences""; ""Chapter III. Diagonal Relations""; ""Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or Bisectable Relations""; ""Chapter V. Presentation of S[sub(g)], S[sub(p)], and Related Structures""; ""Chapter VI. Presentation of S[sub(pq)], S[sub(pe)] and Related Structures""; ""Chapter VII. Presentation of S[sub(pqe)] and Related Structures""

""Appendix. Presentation of Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations""

Notes:

"Volume 184, number 866 (second of 4 numbers)."

Includes bibliographical references (pages 243-244) and indexes.

Description based on print version record.

ISBN:

1-4704-0470-2