Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Editor: Johann A. Makowsky
Editor: Elena V. Ravve
Lecture Notes in Logic, Volume 11
Berlin: Springer-Verlag, 1998.
348 pp.
Subjects:
03 (primary)04 (primary)05 (primary)06 (primary)18 (secondary)68 (secondary)94 (secondary)12 (secondary)14 (secondary)
Permanent link to this monograph: http://projecteuclid.org/euclid.lnl/1235415894
Mathmatical Reviews number (MathSciNet):
MR1690697
ISBN:3-540-63994-2
Copyright © 1998, Association for Symbolic Logic.
Miscellaneous Frontmatter
The Number of Path-Components of a Compact Subset of $R\sp n$
H. Becker; 1-16
Intervals without Critical Triples
P. Cholak, R. Downey, and R. Shore; 17-43
Beyond Gödel's Theorem: Turing Nonrigidity Revisited
S. B. Cooper; 44-50
Types and Indescernibles in Finite Models
A. Dawar; 51-65
Model Theory of Modules
I. Herzog; 66-72
Noninterpretability of Infinite Linear Orders
W. Hodges, and A. Nies; 73-78
Combinatorial Principles from Adding Cohen Reals
I. Juhász, L. Soukup, and Z. Szentmiklóssy; 79-103
Extensions of models of PV
J. Krajíček; 104-114
Convergence Laws for Random Graphs
J. F. Lynch; 115-133
$V=L$ and Maximize
P. Maddy; 134-152
Towards a Categorical Foundation of Mathematics
M. Makkai; 153-190
Strongly Minimal Sets and Geometry
D. Marker; 191-213
Computationally-Sound Proofs
S. Micali; 214-268
Lambek Calculus and Formal Languages
M. Pentus; 269-272
Zil'ber's Trichotomy and o-minimal Structures
Y. Peterzil; 273-274
The Higher Infinite in Proof Theory
M. Rathjen; 275-304
There May Be No Nowhere Dense Ultrafilter
S. Shelah; 305-324
Towards Recursive Model Theory
A. P. Stolboushkin; 325-338
Accessible Segments of the Fast Growing Hierarchy
S. S. Wainer; 339-348
