Semigroups underlying first-order logic
著者
書誌事項
Semigroups underlying first-order logic
(Memoirs of the American Mathematical Society, no. 866)
American Mathematical Society, c2006
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"November 2006, volume 184, number 866 (second of 4 numbers)"
Bibliography: p. 243-244
Includes indexes
内容説明・目次
目次
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.
「Nielsen BookData」 より