×

zbMATH — the first resource for mathematics

Martin-Löf, Per

Compute Distance To:
Author ID: martin-lof.per Recent zbMATH articles by "Martin-Löf, Per"
Published as: Martin-Löf, Per; Martin-Lof, Per; Martin-Löf, P.
Homepage: https://www.su.se/english/profiles/pml-1.181801
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 36 Publications since 1965, including 5 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 715 times in 616 Documents Cited by Year
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
295
1966
Intuitionistic type theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980. Zbl 0571.03030
Martin-Löf, Per
82
1984
Constructive mathematics and computer programming. Zbl 0552.03040
Martin-Löf, P.
42
1984
Notes on constructive mathematics. Zbl 0273.02021
Martin-Löf, Per
36
1971
An intuitionistic theory of types: Predicative part. Zbl 0334.02016
Martin-Löf, Per
33
1975
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0885.03009
Martin-Löf, Per
27
1996
Complexity oscillations in infinite binary sequences. Zbl 0212.23103
Martin-Löf, Per
24
1971
Hauptsatz for the intuitionistic theory of iterated inductive definitions. Zbl 0231.02040
Martin-Löf, Per
22
1971
Probability theory on discrete semigroups. Zbl 0137.35203
Martin-Löf, Per
22
1965
An intuitionistic theory of types. Zbl 0931.03070
Martin-Löf, Per
19
1998
Constructive mathematics and computer programming. Zbl 0541.03034
Martin-Löf, Per
18
1982
Constructive mathematics and computer programming. Zbl 0443.68039
Martin-Löf, Per
15
1979
Truth and knowability: On the principles \(C\) and \(K\) of Michael Dummett. Zbl 0925.03023
Martin-Löf, Per
11
1998
The literature on von Mises’ Kollektivs revisited. Zbl 0198.23103
Martin-Löf, Per
10
1969
About models for intuitionistic type theories and the notion of definitional equality. Zbl 0334.02017
Martin-Löf, Per
9
1975
Infinite terms and a system of natural deduction. Zbl 0237.02006
Martin-Löf, Per
6
1972
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0593.03005
Martin-Löf, Per
6
1985
Mathematics of infinity. Zbl 0721.03043
Martin-Löf, Per
5
1990
On the notion of randomness. Zbl 0203.29903
Martin-Löf, Per
5
1970
Verificationism then and now. Zbl 0966.03513
Martin-Löf, Per
5
1995
The notion of redundancy and its use as a quantitative measure of the discrepancy between a statistical hypothesis and a set of observational data. Zbl 0297.62011
Martin-Löf, Per
5
1974
100 years of Zermelo’s axiom of choice: what was the problem with it? Zbl 1167.03033
Martin-Löf, Per
5
2009
Hauptsatz for the theory of species. Zbl 0231.02039
Martin-Löf, Per
4
1971
The continuity theorem on a locally compact group. Zbl 0139.33402
Martin-Löf, Per
2
1965
Algorithms and randomness. Zbl 0222.68014
Martin-Löf, Per
1
1969
Notes on constructive mathematics. (Ocerki po konstruktivnoi matematike.) Translated from the English by G. E. Minc. Edited by A. G. Dragalin. Zbl 0343.02020
Martin-Löf, Per
1
1975
Repetitive structures and the relation between canonical and microcanonical distributions in statistics and statistical mechanics. Zbl 0358.60068
Martin-Löf, Per
1
1974
Reply to Sverdrup’s polemical article Tests without power. Zbl 0366.62028
Martin-Löf, Per
1
1975
Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037
Awodey, Steve (ed.); Garner, Richard (ed.); Martin-Löf, Per (ed.); Voevodsky, Vladimir (ed.)
1
2011
On the notion of randomness. Zbl 0289.02030
Martin-Löf, Per
1
1974
Comments on Prof. Kazuyuki Nomoto’s paper. Zbl 1111.03006
Martin-Löf, Per
1
2006
Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037
Awodey, Steve; Garner, Richard; Martin-Löf, Per; Voevodsky, Vladimir
1
2011
100 years of Zermelo’s axiom of choice: what was the problem with it? Zbl 1167.03033
Martin-Löf, Per
5
2009
Comments on Prof. Kazuyuki Nomoto’s paper. Zbl 1111.03006
Martin-Löf, Per
1
2006
An intuitionistic theory of types. Zbl 0931.03070
Martin-Löf, Per
19
1998
Truth and knowability: On the principles \(C\) and \(K\) of Michael Dummett. Zbl 0925.03023
Martin-Löf, Per
11
1998
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0885.03009
Martin-Löf, Per
27
1996
Verificationism then and now. Zbl 0966.03513
Martin-Löf, Per
5
1995
Mathematics of infinity. Zbl 0721.03043
Martin-Löf, Per
5
1990
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0593.03005
Martin-Löf, Per
6
1985
Intuitionistic type theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980. Zbl 0571.03030
Martin-Löf, Per
82
1984
Constructive mathematics and computer programming. Zbl 0552.03040
Martin-Löf, P.
42
1984
Constructive mathematics and computer programming. Zbl 0541.03034
Martin-Löf, Per
18
1982
Constructive mathematics and computer programming. Zbl 0443.68039
Martin-Löf, Per
15
1979
An intuitionistic theory of types: Predicative part. Zbl 0334.02016
Martin-Löf, Per
33
1975
About models for intuitionistic type theories and the notion of definitional equality. Zbl 0334.02017
Martin-Löf, Per
9
1975
Notes on constructive mathematics. (Ocerki po konstruktivnoi matematike.) Translated from the English by G. E. Minc. Edited by A. G. Dragalin. Zbl 0343.02020
Martin-Löf, Per
1
1975
Reply to Sverdrup’s polemical article Tests without power. Zbl 0366.62028
Martin-Löf, Per
1
1975
The notion of redundancy and its use as a quantitative measure of the discrepancy between a statistical hypothesis and a set of observational data. Zbl 0297.62011
Martin-Löf, Per
5
1974
Repetitive structures and the relation between canonical and microcanonical distributions in statistics and statistical mechanics. Zbl 0358.60068
Martin-Löf, Per
1
1974
On the notion of randomness. Zbl 0289.02030
Martin-Löf, Per
1
1974
Infinite terms and a system of natural deduction. Zbl 0237.02006
Martin-Löf, Per
6
1972
Notes on constructive mathematics. Zbl 0273.02021
Martin-Löf, Per
36
1971
Complexity oscillations in infinite binary sequences. Zbl 0212.23103
Martin-Löf, Per
24
1971
Hauptsatz for the intuitionistic theory of iterated inductive definitions. Zbl 0231.02040
Martin-Löf, Per
22
1971
Hauptsatz for the theory of species. Zbl 0231.02039
Martin-Löf, Per
4
1971
On the notion of randomness. Zbl 0203.29903
Martin-Löf, Per
5
1970
The literature on von Mises’ Kollektivs revisited. Zbl 0198.23103
Martin-Löf, Per
10
1969
Algorithms and randomness. Zbl 0222.68014
Martin-Löf, Per
1
1969
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
295
1966
Probability theory on discrete semigroups. Zbl 0137.35203
Martin-Löf, Per
22
1965
The continuity theorem on a locally compact group. Zbl 0139.33402
Martin-Löf, Per
2
1965
all top 5

Cited by 585 Authors

20 Lutz, Jack H.
19 Calude, Cristian S.
16 Barmpalias, George
16 Nies, André Otfrid
14 Downey, Rodney Graham
13 Stephan, Frank
11 Coquand, Thierry
11 Valentini, Silvio
10 Miller, Joseph S.
9 Dybjer, Peter
9 Fouché, Willem Louw
9 Staiger, Ludwig
8 Yu, Liang
7 Bienvenu, Laurent
7 Terwijn, Sebastiaan A.
7 Vovk, Vladimir G.
6 Cenzer, Douglas
6 Hoyrup, Mathieu
6 Mukherjea, Arunava
6 Palmgren, Erik
6 Prawitz, Dag
6 Vitányi, Paul M. B.
5 Constable, Robert Lee
5 Hirschfeldt, Denis Roman
5 Lewis-Pye, Andrew E. M.
5 Merkle, Wolfgang
5 Monin, Benoît
5 Porter, Christopher P.
5 Rojas, Cristobal
5 Schnorr, Claus Peter
5 Shen, Alexander
5 Teutsch, Jason
4 Abel, Andreas M.
4 Awodey, Steve
4 Chitescu, Ion
4 Colson, Loïc
4 Davie, George
4 Fenner, Stephen A.
4 Franklin, Johanna N. Y.
4 Gacs, Peter
4 Hötzel Escardó, Martín
4 Kučera, Antonín
4 Lathrop, James I.
4 Li, Ming
4 Luo, Zhaohui
4 Maietti, Maria Emilia
4 Paulson, Lawrence Charles
4 Sun, Tze-Chien
4 Tadaki, Kohtaro
4 Van den Berg, Benno
4 Wansing, Heinrich Theodor
3 Becher, Verónica
3 Book, Ronald Vernon
3 Bridges, Douglas Suth
3 Durand, Bruno
3 Fang, Nan
3 Figueira, Santiago
3 Greenberg, Noam
3 Griffiths, Evan J.
3 Harper, Robert
3 Hazod, Wilfried
3 Hertling, Peter H.
3 Hognas, Goran
3 Hölzl, Rupert
3 Hutter, Marcus
3 Juedes, David W.
3 Kreinovich, Vladik Yakovlevich
3 Lewis, Andrew E. M.
3 Longpré, Luc
3 Mayordomo, Elvira
3 Mints, Grigoriĭ Efroimovich
3 Moerdijk, Ieke
3 Naibo, Alberto
3 Rabe, Florian
3 Remmel, Jeffrey B.
3 Sambin, Giovanni
3 Setzer, Anton
3 Simpson, Stephen G.
3 Šindelář, Jan
3 Smyth, Michael B.
3 Spitters, Bas
3 Troelstra, Anne Sjerp
3 Tserpes, Nicolas A.
3 Uspenskiĭ, Vladimir Andreevich
3 Vereshchagin, Nikolai K.
3 V’yugin, Vladimir V.
3 Wadler, Philip Lee
3 Weber, Rebecca
3 Weihrauch, Klaus
2 Altenkirch, Thorsten
2 Ambos-Spies, Klaus
2 Berardi, Stefano
2 Bickford, Mark
2 Blanqui, Frédéric
2 Boček, Pavel
2 Bove, Ana
2 Brodhead, Paul
2 Brown, Ray
2 Bunder, Martin W.
2 Chater, Nick
...and 485 more Authors
all top 5

Cited in 131 Serials

78 Theoretical Computer Science
43 Annals of Pure and Applied Logic
30 Information and Computation
23 The Journal of Symbolic Logic
18 Synthese
16 Theory of Computing Systems
14 Archive for Mathematical Logic
13 Journal of Computer and System Sciences
10 Information Processing Letters
10 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
10 MSCS. Mathematical Structures in Computer Science
8 Journal of Applied Logic
7 Kybernetika
7 Transactions of the American Mathematical Society
7 Mathematical Logic Quarterly (MLQ)
6 International Journal of Theoretical Physics
6 BIT
6 Proceedings of the American Mathematical Society
6 Studia Logica
6 Journal of Automated Reasoning
6 Logical Methods in Computer Science
5 Journal of Philosophical Logic
5 Mathematical Systems Theory
5 Notre Dame Journal of Formal Logic
5 Journal of Complexity
5 Formal Aspects of Computing
5 Annales de l’Institut Henri Poincaré. Nouvelle Série. Section B. Calcul des Probabilités et Statistique
5 International Journal of Computer Mathematics
5 Journal of Functional Programming
5 The Bulletin of Symbolic Logic
5 The Review of Symbolic Logic
4 Advances in Mathematics
4 Information Sciences
4 Journal of Soviet Mathematics
4 Semigroup Forum
4 International Journal of Foundations of Computer Science
4 Indagationes Mathematicae. New Series
4 Topoi
4 Journal of Mathematical Logic
4 Logica Universalis
3 Journal of Mathematical Psychology
3 Journal of Symbolic Computation
3 Proceedings of the National Academy of Sciences of the United States of America
3 Journal of Logic, Language and Information
3 Annals of Mathematics and Artificial Intelligence
3 Communications in Nonlinear Science and Numerical Simulation
2 International Journal of General Systems
2 Journal of Mathematical Physics
2 Journal of Statistical Physics
2 Psychometrika
2 Journal of Combinatorial Theory. Series A
2 Manuscripta Mathematica
2 Monatshefte für Mathematik
2 Advances in Applied Mathematics
2 Statistics & Probability Letters
2 History and Philosophy of Logic
2 Statistical Science
2 Journal of Applied Non-Classical Logics
2 Erkenntnis
2 Dynamics of Continuous, Discrete & Impulsive Systems. Series B. Applications & Algorithms
2 Foundations of Physics
2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 Acta Informatica
1 Archive for History of Exact Sciences
1 Artificial Intelligence
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Astrophysics and Space Science
1 Israel Journal of Mathematics
1 Journal of Mathematical Analysis and Applications
1 Letters in Mathematical Physics
1 Mathematical Biosciences
1 Mathematical Notes
1 Physics Reports
1 Problems of Information Transmission
1 Russian Mathematical Surveys
1 Mathematics of Computation
1 Chaos, Solitons and Fractals
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Archiv der Mathematik
1 Automatica
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Journal of Pure and Applied Algebra
1 Linguistics and Philosophy
1 Mathematica Slovaca
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Siberian Mathematical Journal
1 Theory and Decision
1 Tohoku Mathematical Journal. Second Series
1 Topology and its Applications
1 Cybernetics and Systems
1 Journal of Information & Optimization Sciences
1 Ergodic Theory and Dynamical Systems
1 Acta Applicandae Mathematicae
1 Journal of Computer Science and Technology
1 Journal of Cryptology
1 Sugaku Expositions
1 Communications in Statistics. Theory and Methods
1 Historia Mathematica
1 Journal of Statistical Computation and Simulation
...and 31 more Serials
all top 5

Cited in 37 Fields

393 Mathematical logic and foundations (03-XX)
315 Computer science (68-XX)
69 Probability theory and stochastic processes (60-XX)
26 Statistics (62-XX)
23 Information and communication theory, circuits (94-XX)
19 Category theory; homological algebra (18-XX)
18 General topology (54-XX)
15 Dynamical systems and ergodic theory (37-XX)
14 History and biography (01-XX)
14 Order, lattices, ordered algebraic structures (06-XX)
14 Numerical analysis (65-XX)
12 Measure and integration (28-XX)
12 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
11 Quantum theory (81-XX)
10 Number theory (11-XX)
9 General and overarching topics; collections (00-XX)
8 Abstract harmonic analysis (43-XX)
7 Statistical mechanics, structure of matter (82-XX)
6 Algebraic topology (55-XX)
5 Combinatorics (05-XX)
4 Group theory and generalizations (20-XX)
4 Systems theory; control (93-XX)
3 Commutative algebra (13-XX)
3 Geometry (51-XX)
3 Biology and other natural sciences (92-XX)
2 General algebraic systems (08-XX)
2 Topological groups, Lie groups (22-XX)
2 Real functions (26-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Mechanics of particles and systems (70-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Special functions (33-XX)
1 Ordinary differential equations (34-XX)
1 Functional analysis (46-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.