Notre Dame Journal of Formal Logic

301	--	328	Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer. Randomness and Semimeasures
329	--	342	Pierre Joray. A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic
343	--	380	Amar Hadzihasanovic, Benno van den Berg. Nonstandard Functional Interpretations and Categorical Models
381	--	396	Teruyuki Yorioka. Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree
397	--	407	Daniel W. Cunningham. A Diamond Principle Consistent with AD
409	--	432	Martin Zeman. Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn
433	--	451	Anuj Dawar, Thomas Forster, Zachiri McKenzie. Decidable Fragments of the Simple Theory of Types with Infinity and NF
453	--	459	Oleksandr Petrenko, Igor Protasov. Selective and Ramsey Ultrafilters on G-spaces

External Links