Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

Author:   Johann A. Makowsky (Technion - Israel Institute of Technology, Haifa) ,  Elena V. Ravve (Technion - Israel Institute of Technology, Haifa)
Publisher:   Cambridge University Press
Volume:   11
ISBN:  

9781107167902


Pages:   365
Publication Date:   02 March 2017
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $333.76 Quantity:  
Add to Cart

Share |

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995


Add your own review!

Overview

Full Product Details

Author:   Johann A. Makowsky (Technion - Israel Institute of Technology, Haifa) ,  Elena V. Ravve (Technion - Israel Institute of Technology, Haifa)
Publisher:   Cambridge University Press
Imprint:   Cambridge University Press
Volume:   11
Dimensions:   Width: 15.80cm , Height: 2.80cm , Length: 23.50cm
Weight:   0.700kg
ISBN:  

9781107167902


ISBN 10:   1107167906
Pages:   365
Publication Date:   02 March 2017
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

1. The number of path-components of a compact subset of R^\ltimes H. Becker; 2. Intervals without critical triples P. Cholak, R. Downey and R. Shore; 3. Beyond Gödel's theorem - Turing nonrigidity revisited S. B. Cooper; 4. Types and indescernibles in finite models A. Dawar; 5. Model theory of modules I. Herzog; 6. Noninterpretability of infinite linear orders W. Hodges and A. Nies; 7. Combinatorial principles from adding Cohen reals I. Juhász, L. Soukup and Z. Szentmiklóssy; 8. Extensions of models of PV J. Krajíček; 9. Convergence laws for random graphs J. F. Lynch; 10. V=L and maximize P. Maddy; 11. Towards a categorical foundation of mathematics M. Makkai; 12. Strongly minimal sets and geometry D. Marker; 13. Computationally-sound proofs S. Micali; 14. Lambek calculus and formal languages M. Pentus; 15. Zil'ber's trichotomy and o-minimal structures Y. Peterzil; 16. The higher infinite in proof theory M. Rathjen; 17. There may be no nowhere dense ultrafilter S. Shelah; 18. Towards recursive model theory A. P. Stolboushkin; 19. Accessible segments of the fast-growing hierarchy S. S. Wainer.

Reviews

Author Information

Johann A. Makowsky works in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. Elena V. Ravve works in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List