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, ©1998.
xvi, 348 págs. ; 24 cm.
Serie: Lecture notes in logic ; 11
ISBN: 3540639942
Includes bibliographical references and index.
Reseña: MathSciNet, 99m:03003
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.