Ansten Mørch Klev

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 4

Top Topics

Formal Concept Analysis

Top Venues

Bull. Symb. Log.

J. Philos. Log.

Rev. Symb. Log.

Publications

Charles McCarty, Stewart Shapiro, Ansten Mørch Klev
The Axiom of Choice Is False Intuitionistically (in Most Contexts). Bull. Symb. Log. 29 (1) (2023)
Ansten Mørch Klev
Eta-Rules in Martin-löF Type Theory. Bull. Symb. Log. 25 (3) (2019)
Ansten Mørch Klev
The Harmony of Identity. J. Philos. Log. 48 (5) (2019)
Ansten Mørch Klev
The Concept Horse is a Concept. Rev. Symb. Log. 11 (3) (2018)
Ansten Mørch Klev
Dedekind and Hilbert on the Foundations of the Deductive Sciences. Rev. Symb. Log. 4 (4) (2011)
Ansten Mørch Klev
. Arch. Math. Log. 48 (7) (2009)