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
• Makowsky, Johann A.
• Ravve, Elena V.
• Association for Symbolic Logic

書誌事項

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Johann A. Makowsky, Elena V. Ravve (eds.)

（Lecture notes in logic, 11）

Springer, c1998

注記

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」 より

• NII書誌ID(NCID): BA35080291
• ISBN:
  • 3540639942
• LCCN: 97051322
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: xvi, 348 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.A1
  • DC21 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA21291492