505 |
0# |
$a Howard Becker, The number of path-components of a compact subset of $Rn$ -- Peter Cholak, Rod Downey and Richard Shore, Intervals without critical triples -- S. Barry Cooper, Beyond Gödel's theorem: Turing nonrigidity revisited -- Anuj Dawar, Types and indiscernibles in finite models -- Ivo Herzog, Model theory of modules (extended abstract) -- Wilfrid Hodges and André Nies, Noninterpretability of infinite linear orders -- I. Juhász, L. Soukup and Z. Szentmiklóssy, Combinatorial principles from adding Cohen reals -- Jan Krají\v cek, Extensions of models of PV -- James F. Lynch, Convergence laws for random graphs -- Penelope Maddy, $V=L$ and maximize -- M. Makkai, Towards a categorical foundation of mathematics -- David Marker, Strongly minimal sets and geometry -- Silvio Micali, Computationally-sound proofs -- Mati Pentus, Lambek calculus and formal languages (extended abstract) -- Ya'acov Peterzil, Zil\cprime ber's trichotomy and o-minimal structures (extended abstract) -- Michael Rathjen, The higher infinite in proof theory -- Saharon Shelah, There may be no nowhere dense ultrafilter -- Alexei P. Stolboushkin, Towards recursive model theory -- Stanley Scott Wainer, Accessible segments of the fast growing hierarchy. |