Logic Colloquium '95 -

Logic Colloquium '95

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
XVI, 349 Seiten
1998
Springer Berlin (Hersteller)
978-3-540-63994-7 (ISBN)
59,95 inkl. MwSt
  • 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?