Infinite time extensions of Kleene's O. - Ansten Mørch Klev (Arch. Math. Log., 2009)

Dedekind and Hilbert on the Foundations of the Deductive Sciences. - Ansten Mørch Klev (Rev. Symb. Log., 2011)

The Concept Horse is a Concept. - Ansten Mørch Klev (Rev. Symb. Log., 2018)

Eta-Rules in Martin-löF Type Theory. - Ansten Mørch Klev (Bull. Symb. Log., 2019)

The Harmony of Identity. - Ansten Mørch Klev (J. Philos. Log., 2019)

The Axiom of Choice Is False Intuitionistically (in Most Contexts). - Charles McCarty; Stewart Shapiro; Ansten Mørch Klev (Bull. Symb. Log., 2023)

Martin-Löf on the Validity of Inference. - Ansten Mørch Klev (Perspectives on Deduction, 2024)