Notre Dame J. Formal Log.

Keyphrases

Publications

volume 62, number 1, 2021

Christopher P. Porter
Revisiting Chaitin's Incompleteness Theorem. Notre Dame J. Formal Log. 62 (1) (2021)
Ellen Lehet
Impurity in Contemporary Mathematics. Notre Dame J. Formal Log. 62 (1) (2021)
Paul Anh Tran-Hoang
On the Virtue of Categoricity. Notre Dame J. Formal Log. 62 (1) (2021)
Anand Pillay
Remarks on Purity of Methods. Notre Dame J. Formal Log. 62 (1) (2021)
Stewart Shapiro, Craige Roberts
Open Texture and Mathematics. Notre Dame J. Formal Log. 62 (1) (2021)
Patricia A. Blanchette, Curtis Franks, Timothy Bays
Introduction. Notre Dame J. Formal Log. 62 (1) (2021)
Graham Leach-Krouse
Coalgebra and Abstraction. Notre Dame J. Formal Log. 62 (1) (2021)
Timothy McCarthy
Induction, Constructivity, and Grounding. Notre Dame J. Formal Log. 62 (1) (2021)
Emmylou Haffner
The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's Drafts Tell Us about His Ideal of Rigor? Notre Dame J. Formal Log. 62 (1) (2021)

volume 62, number 2, 2021

volume 62, number 3, 2021

Guozhen Shen
A Choice-Free Cardinal Equality. Notre Dame J. Formal Log. 62 (3) (2021)
Philip Dittmann, Arno Fehm
Nondefinability of Rings of Integers in Most Algebraic Fields. Notre Dame J. Formal Log. 62 (3) (2021)
Sara L. Uckelman
What Problem Did Ladd-Franklin (Think She) Solve(d)? Notre Dame J. Formal Log. 62 (3) (2021)
Jie Fan
Two Variants of Noncontingency Operator. Notre Dame J. Formal Log. 62 (3) (2021)
Damián Enrique Szmuc, Thomas Macaulay Ferguson
Meaningless Divisions. Notre Dame J. Formal Log. 62 (3) (2021)
Damir D. Dzhafarov, Stephen Flood, Reed Solomon, Linda Brown Westrick
Effectiveness for the Dual Ramsey Theorem. Notre Dame J. Formal Log. 62 (3) (2021)
Edoardo Rivello
Generalizing Montague's Theorem on Recursive Definitions. Notre Dame J. Formal Log. 62 (3) (2021)
Gabriel Fernandes, Ralf Schindler
Tall Cardinals in Extender Models. Notre Dame J. Formal Log. 62 (3) (2021)

volume 62, number 4, 2021

volume 61, number 2, 2020

Fabrice Correia, Sven Rosenkranz
The Formalities of Temporaryism without Presentness. Notre Dame J. Formal Log. 61 (2) (2020)
Volker Halbach
Formal Notes on the Substitutional Analysis of Logical Consequence. Notre Dame J. Formal Log. 61 (2) (2020)
Linda Westrick
An Effective Analysis of the Denjoy Rank. Notre Dame J. Formal Log. 61 (2) (2020)
Alexander Berenstein, Rafael Zamora
Isometry Groups of Borel Randomizations. Notre Dame J. Formal Log. 61 (2) (2020)
Pierre Simon
Theories and Generically Simple Generics. Notre Dame J. Formal Log. 61 (2) (2020)
Keng Meng Ng, Hongyuan Yu
Effective Domination and the Bounded Jump. Notre Dame J. Formal Log. 61 (2) (2020)
Allen Gehret, Elliot Kaplan
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries. Notre Dame J. Formal Log. 61 (2) (2020)
J. C. Beall, Caleb Camrud
A Note on FDE "All the Way Up". Notre Dame J. Formal Log. 61 (2) (2020)
Michael C. Laskowski, Caroline A. Terry
Uniformly Bounded Arrays and Mutually Algebraic Structures. Notre Dame J. Formal Log. 61 (2) (2020)
Guozhen Shen
A Note on Strongly Almost Disjoint Families. Notre Dame J. Formal Log. 61 (2) (2020)

volume 61, number 3, 2020