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.
Volume 40, Number 4
Publication Date: Fall 1999
Table of Contents to Volume 40, Number 4
Set Theory with Indeterminacy of Identity
Terence Parsons and Peter Woodruff; 473-495
The Theory of Computability Developed in Terms of Satisfaction
James Cain; 515-532
Completeness and Definability in the Logic of Noncontingency
Evgeni E. Zolin; 533-547
Nonconstructive Properties of Well-Ordered T2 topological Spaces
Kyriakos Keremedis and Eleftherios Tachtsis; 548-553
Descending Chains and the Contextualist Approach to Semantic Paradoxes
Byeong-Uk Yi; 554-567
Dependent Choices and Weak Compactness
Christian Delhommé and Marianne Morillon; 568-573
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules
Marcus Kracht; 578-587
Index to Volume 40 1999
Author Index VII Volumes 36-40 1995-1999
Back Page to Volume 40, Number 4
Notre Dame Journal of Formal Logic
