| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996210818503316 |
|
|
Autore |
Makowsky Johann A |
|
|
Titolo |
Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Held in Haifa, Israel, August 9-18 1995 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer, , 1998 |
|
©1998 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (368 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Logic ; ; v.11 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Lecture Notes in Logic 11 Logic Colloquium '95 Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18,1995 -- Logic Colloquium '95 -- Copyright -- Preface -- Table of Contents -- The Number of Path-Components of a Compact Subset of Rn -- Intervals Without Critical Triples -- Beyond Gödel's Theorem: Turing Nonrigidity Revisited -- Types and Indiscernibles in Finite Models -- Model Theory of Modules -- Noninterpretability of Infinite Linear Orders -- Combinatorial Principles from Adding Cohen Reals ★ -- Extensions of Models of PV -- Convergence Laws for Random Graphs -- V=L and Maximize -- Towards a Categorical Foundation of Mathematics -- Strongly Minimal Sets and Geometry -- Computationally-Sound Proofs -- Lambek Calculus and Formal Languages -- Zil'ber's Trichotomy and o-minimal Structures -- The Higher Infinite in Proof Theory -- There May Be No Nowhere Dense Ultrafilter -- Towards Recursive Model Theory★ -- Accessible Segments of the Fast Growing Hierarchy ★ -- Author Index. |
|
|
|
|
|
|
|
| |