Journal: Notre Dame Journal of Formal Logic

Volume 58, Issue 1

0 -- 0. Erratum
0 -- 0. Editorial Notice
1 -- 19Hartry Field. Disarming a Paradox of Validity
21 -- 45Guram Bezhanishvili, Nick Bezhanishvili. Locally Finite Reducts of Heyting Algebras and Canonical Formulas
47 -- 78Brice Halimi. Models as Universes
79 -- 95Osvaldo Guzmán González, Michael Hrusák, Arturo Martínez-Celis. Canjar Filters
97 -- 105Howard Becker. Strange Structures from Computable Model Theory
107 -- 113Owen Griffiths. Inferentialism and Quantification
115 -- 125Wen Chean Teh. Ramsey Algebras and Formal Orderly Terms
127 -- 132Sebastien Vasey. Indiscernible Extraction and Morley Sequences
133 -- 154Will Boney. Computing the Number of Types of Infinite Length