The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
50th Anniversary Issue, Part 1
Volume 50, Number 4
Publication Date: 2009
Table of Contents to Volume 50, Number 4
Introduction to the Fiftieth Anniversary Issues
Michael Detlefsen ; 363 - 364
Comparing Borel Reducibility and Depth of an ω-Stable Theory
Martin Koerwien ; 365-380
The K-Degrees, Low for K Degrees,and Weakly Low for K Sets
Joseph S. Miller ; 381-391
How Incomputable Is the Separable Hahn-Banach Theorem?
Guido Gherardi and Alberto Marcone ; 393 - 425
Ramsey's Theorem for Pairs and Provably Recursive Functions
Ulrich Kohlenbach and Alexander Kreuzer ; 427-444
Packing Index of Subsets in Polish Groups
Taras Banakh , Nadya Lyaskovska and Dušan Repovš ; 453-468
On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin
Keng Meng Ng ; 469-493
Back Page to Volume 50, Number 4
Notre Dame Journal of Formal Logic
