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

責任表示	Su Gao, Steve Jackson, Yi Zhang, editors
シリーズ	Contemporary mathematics ; 425
データ種別	図書
出版者	Providence, R.I. : American Mathematical Society
出版年	c2007
本文言語	英語
大きさ	vii, 150 p. : ill. ; 26 cm
概要	In these proceedings from the October 2004 conference, participants describe their work in diverse fields of logic that contain significant new results that are accessible to readers with a general ba...kground in logic. This includes a problem list compile by the speakers that reflects some of the most important questions in various areas of logic, and the presenters cover such topics as a stationary-tower-free proof of the derives model theorem, a proof of an absoluteness theorem, a simple inductive measure analysis of cardinals under the axiom of determinacy, the complexity of index set and Ehrenfeucht theories, computable structures in familiar classes, the classes of separating sets, voting rules for infinite sets and Boolean algebras, "very mad families," Borel boundedness and the lattice surrounding property, and Steinhous sets and Jackson sets. Annotation ©2007 Book News, Inc., Portland, OR (booknews.com) 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/6834605

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	SER/CM/425	2007		023212007000273		予約・取寄			予約・取寄

別書名	背表紙タイトル:Advances in logic
一般注記	Includes bibliographical references
著者標目	North Texas Logic Conference (2004 : University of North Texas) Gao, Su, 1968- Jackson, Steve, 1957- Zhang, Yi, 1964 Aug. 22-
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA9.A1 DC22:511.3
書誌ID	1001240242
ISBN	9780821838198
NCID	BA8126424X
巻冊次	ISBN:9780821838198 ; XISBN:0821838199
登録日	2009.09.18
更新日	2017.02.18