Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Author(s)
Bibliographic Information
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
Available at / 27 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Haifa||1995.898001358
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
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.
Table of Contents
- 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)
by "Nielsen BookData"
