Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 /
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin :
Springer,
c1998.
|
| Series: | Lecture notes in logic ;
11 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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.