AMS Bookstore LOGO amslogo
Return to List

AMS TextbooksAMS Applications-related Books

Semigroups Underlying First-Order Logic
William Craig, University of California, Berkeley, CA
cover
SEARCH THIS BOOK:

Memoirs of the American Mathematical Society
2006; 263 pp; softcover
Volume: 184
ISBN-10: 0-8218-4149-1
ISBN-13: 978-0-8218-4149-5
List Price: US$85
Individual Members: US$51
Institutional Members: US$68
Order Code: MEMO/184/866
[Add Item]

Request Permissions

Table of Contents

  • 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
Powered by MathJax

  AMS Home | Comments: webmaster@ams.org
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia