Ansten Mørch Klev

Available identifiers

Publication	Date of Publication	Type
Modality and the structure of assertion	2024-11-20	Paper
The purely iterative conception of set	2024-10-31	Paper
A Comparison of Type Theory with Set Theory	2023-09-20	Paper
Spiritus asper versus lambda: on the nature of functional abstraction	2023-07-28	Paper
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)	2023-03-20	Paper
Matthias Wille.* ›Largely unknown‹ Gottlob Frege und der posthume Ruhm ›alles in den Wind geschrieben‹ Gottlob Frege wider den Zeitgeist	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5149140	2021-02-06	Paper
The justification of identity elimination in Martin-Löf's type theory	2020-01-17	Paper
Husserl's Logical Grammar	2020-01-15	Paper
The harmony of identity	2019-12-19	Paper
ETA-RULES IN MARTIN-LÖF TYPE THEORY	2019-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q5224885	2019-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q5224672	2019-07-24	Paper
Dedekind's Logicism	2019-02-26	Paper
THE CONCEPTHORSEIS A CONCEPT	2018-10-25	Paper
Immanent reasoning or equality in action. A plaidoyer for the play level	2018-06-29	Paper
Identity and sortals (and Caesar)	2018-03-28	Paper
DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES	2012-03-29	Paper
Infinite time extensions of Kleene's \({\mathcal O}\)	2009-10-23	Paper

This page was built for person: Ansten Mørch Klev