We stand with Ukraine  

Ansten Mørch Klev

Affiliations:
  • Czech Academy of Sciences, Institute of Philosophy, Prague, Czech Republic


According to our database1, Ansten Mørch Klev authored at least 7 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Martin-Löf on the Validity of Inference.
[BibTeX]
[DOI]
Ansten Mørch Klev
Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023
The Axiom of Choice Is False Intuitionistically (in Most Contexts).
[BibTeX]
[DOI]
Charles McCarty
,
Stewart Shapiro
,
Ansten Mørch Klev
Bull. Symb. Log., March, 2023

2019
The Harmony of Identity.
[BibTeX]
[DOI]
Ansten Mørch Klev
J. Philos. Log., 2019

Eta-Rules in Martin-löF Type Theory.
[BibTeX]
[DOI]
Ansten Mørch Klev
Bull. Symb. Log., 2019

2018
The Concept Horse is a Concept.
[BibTeX]
[DOI]
Ansten Mørch Klev
Rev. Symb. Log., 2018

2011
Dedekind and Hilbert on the Foundations of the Deductive Sciences.
[BibTeX]
[DOI]
Ansten Mørch Klev
Rev. Symb. Log., 2011

2009
Infinite time extensions of Kleene's <i>O</i>.
[BibTeX]
[DOI]
Ansten Mørch Klev
Arch. Math. Log., 2009


  Loading...