Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
著者
書誌事項
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
（Lecture notes in logic, 11）
Springer, c1998
大学図書館所蔵 件 / 全27件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995. The papers discuss subjects such as: intervals without critical triples; Turing rigidity revisited; types and indiscernibles in finite models; and noninterpretability of infinite linear orders.
目次
- The number of path components of a compact subset of Rn, H. Becker
- intervals without critical triples, P. Cholak, R. Downey and R. Shore
- beyond Goedel's theorem - Turing rigidity revisited, B. Cooper
- types and indiscernibles in finite models, A. Dawar
- model theory of modules (extended abstract), I. Herzog
- noninterpretability of infinite linear orders, W. Hodges and A. Nies
- combinatorial principles from adding Cohen reals, I. Juhasz, L. Soukup and Z. Szentmiklossy
- extensions of models of PV, J. Krajicek. (Part contents)
「Nielsen BookData」 より