Per Martin-Löf

Available identifiers

zbMath Open martin-lof.perDBLP19/1882WikidataQ2067227 ScholiaQ2067227MaRDI QIDQ2702583

List of research outcomes

Publication	Date of Publication	Type
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS	2022-03-01	Paper
Logic and ethics	2021-02-06	Paper
100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?	2009-03-12	Paper
Comments on Prof. Kazuyuki Nomoto's Paper	2007-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4428886	2003-09-22	Paper
Verificationism then and now	2001-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4247306	2000-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4247025	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4360856	1998-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q5752569	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3722468	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3688389	1984-01-01	Paper
Constructive mathematics and computer programming	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3328540	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886868	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4099613	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4099614	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4110984	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4142502	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4777277	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130745	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4051391	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4153446	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4189953	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5646883	1972-01-01	Paper
Complexity oscillations in infinite binary sequences	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5181669	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638282	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638283	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5603187	1970-01-01	Paper
The Literature on von Mises' Kollektivs Revisited	1969-01-01	Paper
Algorithms and Randomness	1969-01-01	Paper
The definition of random sequences	1966-01-01	Paper
Probability theory on discrete semigroups	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5514854	1965-01-01	Paper

Research outcomes over time

This page was built for person: Per Martin-Löf