Logic Colloquium

Keyphrases

Publications

volume 11, 1998

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995 Logic Colloquium 11 (1998)

1995

Jan Krajícek
Extensions of Models of PV. Logic Colloquium (1995)
S. Barry Cooper
Beyond Gödel's Theorem: Turing Nonrigidity Revisited. Logic Colloquium (1995)
Stanley S. Wainer
Accessible Segments of the Fast Growing Hierarchy. Logic Colloquium (1995)
Ivo Herzog
Model Theory of Modules. Logic Colloquium (1995)
Wilfrid Hodges, André Nies
Noninterpretability of Infinite Linear Orders. Logic Colloquium (1995)
Peter Cholak, Rod Downey, Richard A. Shore
Intervals Without Critical Triples. Logic Colloquium (1995)
Michael Makkai
Towards a Categorical Foundation of Mathematics. Logic Colloquium (1995)
Saharon Shelah
There May Be No Nowhere Dense Ultrafilter. Logic Colloquium (1995)
Silvio Micali
Computationally-Sound Proofs. Logic Colloquium (1995)
Ya'acov Peterzil
Zil'ber's Trichotomy and o-minimal Structures. Logic Colloquium (1995)
Michael Rathjen
The Higher Infinite in Proof Theory. Logic Colloquium (1995)
David Marker
Strongly Minimal Sets and Geometry. Logic Colloquium (1995)
Alexei P. Stolboushkin
Towards Recursive Model Theory. Logic Colloquium (1995)
István Juhász, Lajos Soukup, Zoltán Szentmiklóssy
Combinatorial Principles from Adding Cohen Reals. Logic Colloquium (1995)
Mati Pentus
Lambek Calculus and Formal Languages. Logic Colloquium (1995)
James F. Lynch
Convergence Laws for Random Graphs. Logic Colloquium (1995)
Penelope Maddy
V=L and Maximize. Logic Colloquium (1995)
Anuj Dawar
Types and Indiscernibles in Finite Models. Logic Colloquium (1995)
Howard Becker
The Number of Path-Components of a Compact Subset of ℝ n. Logic Colloquium (1995)

1987

Logic Colloquium '85, Orsay, France Logic Colloquium (1987)

1985