# zbMATH — the first resource for mathematics

## Martin-Löf, Per

Compute Distance To:
 Author ID: martin-lof.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

#### Co-Authors

 34 single-authored 1 Awodey, Steve 1 Garner, Richard 1 Mints, Grigoriĭ Efroimovich 1 Voevodskiĭ, Vladimir Aleksandrovich
all top 5

#### Serials

 2 Scandinavian Journal of Statistics 2 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 1 Teoriya Veroyatnosteĭ i eë Primeneniya 1 Annals of the Japan Association for Philosophy of Science 1 Compositio Mathematica 1 Information and Control 1 Philosophical Transactions of the Royal Society of London. Ser. A 1 Theoria 1 Nordic Journal of Philosophical Logic 1 Oberwolfach Reports 1 Lecture Notes in Computer Science 1 Revue de l’Institut International de Statistique
all top 5

#### Fields

 24 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) 5 Statistics (62-XX) 3 General and overarching topics; collections (00-XX) 3 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Algebraic topology (55-XX) 1 Information and communication theory, circuits (94-XX)

#### 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
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
1984
Constructive mathematics and computer programming. Zbl 0552.03040
Martin-Löf, P.
1984
Notes on constructive mathematics. Zbl 0273.02021
Martin-Löf, Per
1971
An intuitionistic theory of types: Predicative part. Zbl 0334.02016
Martin-Löf, Per
1975
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0885.03009
Martin-Löf, Per
1996
Complexity oscillations in infinite binary sequences. Zbl 0212.23103
Martin-Löf, Per
1971
Hauptsatz for the intuitionistic theory of iterated inductive definitions. Zbl 0231.02040
Martin-Löf, Per
1971
Probability theory on discrete semigroups. Zbl 0137.35203
Martin-Löf, Per
1965
An intuitionistic theory of types. Zbl 0931.03070
Martin-Löf, Per
1998
Constructive mathematics and computer programming. Zbl 0541.03034
Martin-Löf, Per
1982
Constructive mathematics and computer programming. Zbl 0443.68039
Martin-Löf, Per
1979
Truth and knowability: On the principles $$C$$ and $$K$$ of Michael Dummett. Zbl 0925.03023
Martin-Löf, Per
1998
The literature on von Mises’ Kollektivs revisited. Zbl 0198.23103
Martin-Löf, Per
1969
About models for intuitionistic type theories and the notion of definitional equality. Zbl 0334.02017
Martin-Löf, Per
1975
Infinite terms and a system of natural deduction. Zbl 0237.02006
Martin-Löf, Per
1972
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0593.03005
Martin-Löf, Per
1985
Mathematics of infinity. Zbl 0721.03043
Martin-Löf, Per
1990
On the notion of randomness. Zbl 0203.29903
Martin-Löf, Per
1970
Verificationism then and now. Zbl 0966.03513
Martin-Löf, Per
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
1974
100 years of Zermelo’s axiom of choice: what was the problem with it? Zbl 1167.03033
Martin-Löf, Per
2009
Hauptsatz for the theory of species. Zbl 0231.02039
Martin-Löf, Per
1971
The continuity theorem on a locally compact group. Zbl 0139.33402
Martin-Löf, Per
1965
Algorithms and randomness. Zbl 0222.68014
Martin-Löf, Per
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
1975
Repetitive structures and the relation between canonical and microcanonical distributions in statistics and statistical mechanics. Zbl 0358.60068
Martin-Löf, Per
1974
Reply to Sverdrup’s polemical article Tests without power. Zbl 0366.62028
Martin-Löf, Per
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.)
2011
On the notion of randomness. Zbl 0289.02030
Martin-Löf, Per
1974
Comments on Prof. Kazuyuki Nomoto’s paper. Zbl 1111.03006
Martin-Löf, Per
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
2011
100 years of Zermelo’s axiom of choice: what was the problem with it? Zbl 1167.03033
Martin-Löf, Per
2009
Comments on Prof. Kazuyuki Nomoto’s paper. Zbl 1111.03006
Martin-Löf, Per
2006
An intuitionistic theory of types. Zbl 0931.03070
Martin-Löf, Per
1998
Truth and knowability: On the principles $$C$$ and $$K$$ of Michael Dummett. Zbl 0925.03023
Martin-Löf, Per
1998
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0885.03009
Martin-Löf, Per
1996
Verificationism then and now. Zbl 0966.03513
Martin-Löf, Per
1995
Mathematics of infinity. Zbl 0721.03043
Martin-Löf, Per
1990
On the meanings of the logical constants and the justifications of the logical laws. Zbl 0593.03005
Martin-Löf, Per
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
1984
Constructive mathematics and computer programming. Zbl 0552.03040
Martin-Löf, P.
1984
Constructive mathematics and computer programming. Zbl 0541.03034
Martin-Löf, Per
1982
Constructive mathematics and computer programming. Zbl 0443.68039
Martin-Löf, Per
1979
An intuitionistic theory of types: Predicative part. Zbl 0334.02016
Martin-Löf, Per
1975
About models for intuitionistic type theories and the notion of definitional equality. Zbl 0334.02017
Martin-Löf, Per
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
1975
Reply to Sverdrup’s polemical article Tests without power. Zbl 0366.62028
Martin-Löf, Per
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
1974
Repetitive structures and the relation between canonical and microcanonical distributions in statistics and statistical mechanics. Zbl 0358.60068
Martin-Löf, Per
1974
On the notion of randomness. Zbl 0289.02030
Martin-Löf, Per
1974
Infinite terms and a system of natural deduction. Zbl 0237.02006
Martin-Löf, Per
1972
Notes on constructive mathematics. Zbl 0273.02021
Martin-Löf, Per
1971
Complexity oscillations in infinite binary sequences. Zbl 0212.23103
Martin-Löf, Per
1971
Hauptsatz for the intuitionistic theory of iterated inductive definitions. Zbl 0231.02040
Martin-Löf, Per
1971
Hauptsatz for the theory of species. Zbl 0231.02039
Martin-Löf, Per
1971
On the notion of randomness. Zbl 0203.29903
Martin-Löf, Per
1970
The literature on von Mises’ Kollektivs revisited. Zbl 0198.23103
Martin-Löf, Per
1969
Algorithms and randomness. Zbl 0222.68014
Martin-Löf, Per
1969
The definition of random sequences. Zbl 0244.62008
Martin-Löf, Per
1966
Probability theory on discrete semigroups. Zbl 0137.35203
Martin-Löf, Per
1965
The continuity theorem on a locally compact group. Zbl 0139.33402
Martin-Löf, Per
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)

#### Wikidata Timeline

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