Logic Colloquium '95
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Seiten
1998
Springer Berlin (Hersteller)
978-3-540-63994-7 (ISBN)
Springer Berlin (Hersteller)
978-3-540-63994-7 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
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)
Verlagsort | Berlin |
---|---|
Sprache | englisch |
Gewicht | 480 g |
Einbandart | Paperback |
Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
ISBN-10 | 3-540-63994-2 / 3540639942 |
ISBN-13 | 978-3-540-63994-7 / 9783540639947 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |