|
Logic Colloquium (1995 : Haifa, Israel)
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / Johann A. Makowsky, Elena V. Ravve (eds.).
— Berlin : Springer, c1998. xvi, 348 p. ; 24 cm. — (Lecture notes in logic ; 11)
Includes bibliographical references and index.
Contenido: Howard Becker, The number of path-components of a compact subset of $Rn$ — Peter Cholak, Rod Downey and Richard Shore, Intervals without critical triples — S. Barry Cooper, Beyond Gödel's theorem: Turing nonrigidity revisited — Anuj Dawar, Types and indiscernibles in finite models — Ivo Herzog, Model theory of modules (extended abstract) — Wilfrid Hodges and André Nies, Noninterpretability of infinite linear orders — I. Juhász, L. Soukup and Z. Szentmiklóssy, Combinatorial principles from adding Cohen reals — Jan Krají\v cek, Extensions of models of PV — James F. Lynch, Convergence laws for random graphs — Penelope Maddy, $V=L$ and maximize — M. Makkai, Towards a categorical foundation of mathematics — David Marker, Strongly minimal sets and geometry — Silvio Micali, Computationally-sound proofs — Mati Pentus, Lambek calculus and formal languages (extended abstract) — Ya'acov Peterzil, Zil\cprime ber's trichotomy and o-minimal structures (extended abstract) — Michael Rathjen, The higher infinite in proof theory — Saharon Shelah, There may be no nowhere dense ultrafilter — Alexei P. Stolboushkin, Towards recursive model theory — Stanley Scott Wainer, Accessible segments of the fast growing hierarchy.
ISBN 3540639942
|