Record Nr.

UNINA9910479856603321

Autore

Craig William <1918->

Titolo

Semigroups underlying first-order logic / / William Craig

Pubbl/distr/stampa


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

ISBN

1-4704-0470-2

Descrizione fisica

1 online resource (298 p.)

Collana

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

Disciplina

511.3/24

Soggetti

Algebraic logic

First-order logic

Semigroups

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

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

Nota di bibliografia

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

Nota di contenuto

""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 Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations""