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!
|
| LEADER | 02136nam a22002295a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb000101 | ||
| 008 | 971218s1998####gw#a#####b####101#0#eng## | ||
| 005 | 20170526131212.0 | ||
| 245 | 1 | 0 | |a Logic Colloquium '95 : |b proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / |c Johann A. Makowsky, Elena V. Ravve (eds.). |
| 260 | |a Berlin : |b Springer, |c c1998. | ||
| 300 | |a xvi, 348 p. ; |c 24 cm. | ||
| 440 | 0 | |a Lecture notes in logic ; |v 11 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a 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. | |
| 510 | 4 | |a MR, |c 99m:03003 | |
| 020 | |a 3540639942 | ||
| 111 | 2 | |a Logic Colloquium |d (1995 : |c Haifa, Israel) | |
| 700 | 1 | |a Makowsky, Johann A., |d 1948- |4 edt | |
| 700 | 1 | |a Ravve, Elena V., |d 1963- |4 edt | |
| 710 | 2 | |a Association of Symbolic Logic. | |
| 084 | |a 03-06 |2 msc2000 | ||
| 859 | |h 03 |i L832d-1995 |p A-7803 |b BIB. MATEMATICA | ||