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

• Autore: Makowsky Johann A
• Pubblicazione: Berlin, Heidelberg : , : Springer, , 1998; ©1998
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (368 pages)
• Disciplina: 511.3
• Altri autori: RavveElena V SlamanT
• 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.
• Titolo abbreviato (Periodici): LOGIC COLLOQUIUM '95
• Titolo autorizzato: Logic Colloquium '95
• ISBN: 3-662-22108-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996210818503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Logic