Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
著者
書誌事項
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
(Contemporary mathematics, 425)
American Mathematical Society, c2007
- タイトル別名
-
Advances in logic
大学図書館所蔵 件 / 全45件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
The articles in this book are based on talks given at the North Texas Logic Conference in October of 2004. The main goal of the editors was to collect articles representing diverse fields within logic that would both contain significant new results and be accessible to readers with a general background in logic. Included in the book is a problem list, jointly compiled by the speakers, that reflects some of the most important questions in various areas of logic. This book should be useful to graduate students and researchers alike across the spectrum of mathematical logic.
目次
A stationary-tower-free proof of the derived model theorem by J. R. Steel A proof of the $\Sigma^2_1$-absoluteness theorem by I. Farah A simple inductive measure analysis for cardinals under the axiom of determinacy by S. Bold and B. Lowe The complexity of the index sets of $\aleph_0$-cateogrical theories and of Ehrenfeucht theories by S. Lempp and T. Slaman Computable structures of Scott rank $\omega_1^{CK}$ in familiar classes by W. Calvert, S. S. Goncharov, and J. F. Knight Thin classes of separating sets by R. Solomon Voting rules for infinite sets and boolean algebras by A. Blass Very mad families by B. Kastermans Borel boundedness and the lattice rounding property by C. M. Boykin and S. Jackson Steinhaus sets and Jackson sets by S. Gao, A. W. Miller, and W. A. R. Weiss A problem list by S. Gao, S. Jackson, and Y. Zhang.
「Nielsen BookData」 より