Edit Profile (opens in new tab) Palmgren, Erik Co-Author Distance Author ID: palmgren.erik Published as: Palmgren, Erik; Palmgren, E. Further Spellings: Palmgren, Erik Henrik Homepage: http://staff.math.su.se/palmgren/ External Links: MGP · dblp Documents Indexed: 64 Publications since 1990, including 1 Additional arXiv Preprint 4 Contributions as Editor · 1 Further Contribution Co-Authors: 24 Co-Authors with 27 Joint Publications 412 Co-Co-Authors all top 5 Co-Authors 42 single-authored 5 Coquand, Thierry 5 Stoltenberg-Hansen, Viggo 4 Schuster, Peter Michael 3 Ishihara, Hajime 3 Lindström, Sten 3 Moerdijk, Ieke 2 Aczel, Peter 2 Awodey, Steve 2 Berger, Josef 2 Bridges, Douglas Suth 2 Crosilla, Laura 2 Dybjer, Peter 2 Gambino, Nicola 2 Spitters, Bas 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cohen, Cyril 1 Constable, Robert Lee 1 Curien, Pierre-Louis 1 Emmenegger, Jacopo 1 Finster, Eric 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Griffor, Edward R. 1 Hales, Thomas Callister 1 Harper, Robert 1 Hendtlass, Matthew Ralph John 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Maietti, Maria Emilia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Normann, Dag 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Rathjen, Michael 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Segerberg, Krister 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Sundholm, Göran 1 1 Van den Berg, Benno 1 Vickers, S. J. 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Wilander, Olov 1 Zeilberger, Noam all top 5 Serials 14 Annals of Pure and Applied Logic 7 Mathematical Logic Quarterly (MLQ) 6 The Journal of Symbolic Logic 5 Archive for Mathematical Logic 4 Journal of Logic and Analysis 3 MSCS. Mathematical Structures in Computer Science 2 The Bulletin of Symbolic Logic 2 Logic Journal of the IGPL 2 Logical Methods in Computer Science 1 BIT 1 Journal of Pure and Applied Algebra 1 Normat 1 Studia Logica 1 Topology and its Applications 1 Information and Computation 1 Indagationes Mathematicae. New Series 1 New Zealand Journal of Mathematics 1 Theory and Applications of Categories 1 Journal of Universal Computer Science 1 Synthese Library 1 Logic, Epistemology, and the Unity of Science all top 5 Fields 67 Mathematical logic and foundations (03-XX) 17 Category theory; homological algebra (18-XX) 11 General topology (54-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 7 Computer science (68-XX) 6 Real functions (26-XX) 5 General and overarching topics; collections (00-XX) 3 Measure and integration (28-XX) 3 Algebraic topology (55-XX) 2 Field theory and polynomials (12-XX) 1 General algebraic systems (08-XX) 1 Functional analysis (46-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 58 Publications have been cited 365 times in 231 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 160 2013 Wellfounded trees in categories. Zbl 1010.03056 Moerdijk, Ieke; Palmgren, Erik 48 2000 Type theories, toposes and constructive set theory: Predicative aspects of AST. Zbl 0999.03061 Moerdijk, Ieke; Palmgren, Erik 28 2002 Partial Horn logic and Cartesian categories. Zbl 1109.03022 Palmgren, E.; Vickers, S. J. 24 2007 Developments in constructive nonstandard analysis. Zbl 0920.03063 Palmgren, Erik 19 1998 On universes in type theory. Zbl 0930.03090 Palmgren, Erik 18 1998 Inaccessibility in constructive set theory and type theory. Zbl 0926.03074 Rathjen, Michael; Griffor, Edward R.; Palmgren, Erik 14 1998 Domain interpretations of Martin-Löf’s partial type theory. Zbl 0704.03041 Palmgren, Erik; Stoltenberg-Hansen, Viggo 14 1990 Minimal models of Heyting arithmetic. Zbl 0899.03044 Moerdijk, Ieke; Palmgren, Erik 12 1997 A constructive approach to nonstandard analysis. Zbl 0830.03037 Palmgren, Erik 11 1995 Type-theoretic interpretation of iterated, strictly positive inductive definitions. Zbl 0787.03052 Palmgren, Erik 11 1992 Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets. Zbl 1257.03095 Palmgren, Erik 10 2012 Constructing categories and setoids of setoids in type theory. Zbl 1341.03012 Palmgren, Erik; Wilander, Olov 10 2014 Constructive sheaf semantics. Zbl 0934.03051 Palmgren, Erik 9 1997 A constructive and functorial embedding of locally compact metric spaces into locales. Zbl 1116.03057 Palmgren, Erik 8 2007 Maximal and partial points in formal spaces. Zbl 1079.03060 Palmgren, Erik 8 2006 Quotient topologies in constructive set theory and type theory. Zbl 1094.03053 Ishihara, Hajime; Palmgren, Erik 8 2006 A sheaf-theoretic foundation for nonstandard analysis. Zbl 0880.03032 Palmgren, Erik 8 1997 Proof-relevance of families of setoids and identity in type theory. Zbl 1241.03005 Palmgren, Erik 6 2012 Binary refinement implies discrete exponentiation. Zbl 1112.03048 Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 An intuitionistic axiomatisation of real closed fields. Zbl 1003.03050 Palmgren, Erik 5 2002 Constructive nonstandard analysis. Zbl 0861.03050 Palmgren, E. 5 1996 Quotient spaces and coequalisers in formal topology. Zbl 1124.03038 Palmgren, E. 4 2005 Intuitionistic choice and classical logic. Zbl 0947.03078 Coquand, Thierry; Palmgren, Erik 4 2000 Regular universes and formal spaces. Zbl 1079.03061 Palmgren, Erik 4 2006 Predicativity problems in point-free topology. Zbl 1102.03058 Palmgren, Erik 4 2006 An information system interpretation of Martin-Löf’s partial type theory with universes. Zbl 0789.03045 Palmgren, Erik 4 1993 A note on “Mathematics of infinity”. Zbl 0795.03084 Palmgren, Erik 4 1993 Metric Boolean algebras and constructive measure theory. Zbl 1064.03039 Coquand, Thierry; Palmgren, Erik 4 2002 Unifying constructive and nonstandard analysis. Zbl 1010.03058 Palmgren, Erik 4 2001 An effective conservation result for nonstandard arithmetic. Zbl 0941.03068 Palmgren, Erik 3 2000 Constructive nonstandard representations of generalized functions. Zbl 0981.46039 Palmgren, Erik 3 2000 Real numbers in the topos of sheaves over the category of filters. Zbl 0976.03068 Palmgren, Erik 3 2001 Continuity on the real line and in formal spaces. Zbl 1135.03348 Palmgren, Erik 3 2005 A construction of Type:Type in Martin-Löf’s partial type theory with one universe. Zbl 0747.03027 Palmgren, Erik 3 1991 A predicative completion of a uniform space. Zbl 1257.03092 Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 3 2012 Exact completion and constructive theories of sets. Zbl 1485.03257 Emmenegger, Jacopo; Palmgren, Erik 3 2020 Open sublocales of localic completions. Zbl 1285.03075 Palmgren, Erik 3 2010 Resolution of the uniform lower bound problem in constructive analysis. Zbl 1134.03037 Palmgren, Erik 2 2008 Metric complements of overt closed sets. Zbl 1251.03084 Coquand, Thierry; Palmgren, Erik; Spitters, Bas 2 2011 Hyperfinite type structures. Zbl 0938.03066 Normann, Dag; Palmgren, Erik; Stoltenberg-Hansen, Viggo 2 1999 From intuitionistic to point-free topology: On the foundation of homotopy theory. Zbl 1227.03080 Palmgren, Erik 2 2009 Constructive completions of ordered sets, groups and fields. Zbl 1074.03031 Palmgren, Erik 2 2005 Non-standard analysis and historical infinitesimals. (Ickestandardanalys och historiska infinitesimaler.) Zbl 1188.26018 Palmgren, Erik 2 2007 Categories with families and first-order logic with dependent sorts. Zbl 1458.18003 Palmgren, Erik 2 2019 Locally cartesian closed categories without chosen constructions. Zbl 1163.18003 Palmgren, Erik 1 2008 A logical presentation of the continuous functionals. Zbl 0890.03017 Palmgren, Erik; Stoltenberg-Hansen, Viggo 1 1997 A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040 Palmgren, Erik 1 2018 A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. Zbl 1051.03054 Palmgren, Erik 1 2004 Apartness and formal topology. Zbl 1108.03058 Palmgren, Erik; Schuster, Peter 1 2006 Remarks on Martin-Löf’s partial type theory. Zbl 0787.03051 Palmgren, Erik; Stoltenberg-Hansen, Viggo 1 1992 Denotational semantics of constraint logic programming. - A nonstandard approach. Zbl 0829.68081 Palmgren, Erik 1 1994 Double sequences, almost Cauchyness and BD-N. Zbl 1315.03117 Berger, Josef; Bridges, Douglas; Palmgren, Erik 1 2012 Constructions of categories of setoids from proof-irrelevant families. Zbl 1390.03013 Palmgren, Erik 1 2017 A constructive examination of rectifiability. Zbl 1403.03128 Bridges, Douglas S.; Hendtlass, Matthew; Palmgren, Erik 1 2016 On equality of objects in categories in constructive type theory. Zbl 1528.03111 Palmgren, Erik 1 2018 A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis. Zbl 1288.03036 Palmgren, Erik 1 2012 Formal continuity implies uniform continuity near compact images on metric spaces. Zbl 1510.03026 Palmgren, Erik 1 2014 Exact completion and constructive theories of sets. Zbl 1485.03257 Emmenegger, Jacopo; Palmgren, Erik 3 2020 Categories with families and first-order logic with dependent sorts. Zbl 1458.18003 Palmgren, Erik 2 2019 A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040 Palmgren, Erik 1 2018 On equality of objects in categories in constructive type theory. Zbl 1528.03111 Palmgren, Erik 1 2018 Constructions of categories of setoids from proof-irrelevant families. Zbl 1390.03013 Palmgren, Erik 1 2017 A constructive examination of rectifiability. Zbl 1403.03128 Bridges, Douglas S.; Hendtlass, Matthew; Palmgren, Erik 1 2016 Constructing categories and setoids of setoids in type theory. Zbl 1341.03012 Palmgren, Erik; Wilander, Olov 10 2014 Formal continuity implies uniform continuity near compact images on metric spaces. Zbl 1510.03026 Palmgren, Erik 1 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 160 2013 Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets. Zbl 1257.03095 Palmgren, Erik 10 2012 Proof-relevance of families of setoids and identity in type theory. Zbl 1241.03005 Palmgren, Erik 6 2012 A predicative completion of a uniform space. Zbl 1257.03092 Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 3 2012 Double sequences, almost Cauchyness and BD-N. Zbl 1315.03117 Berger, Josef; Bridges, Douglas; Palmgren, Erik 1 2012 A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis. Zbl 1288.03036 Palmgren, Erik 1 2012 Metric complements of overt closed sets. Zbl 1251.03084 Coquand, Thierry; Palmgren, Erik; Spitters, Bas 2 2011 Open sublocales of localic completions. Zbl 1285.03075 Palmgren, Erik 3 2010 From intuitionistic to point-free topology: On the foundation of homotopy theory. Zbl 1227.03080 Palmgren, Erik 2 2009 Resolution of the uniform lower bound problem in constructive analysis. Zbl 1134.03037 Palmgren, Erik 2 2008 Locally cartesian closed categories without chosen constructions. Zbl 1163.18003 Palmgren, Erik 1 2008 Partial Horn logic and Cartesian categories. Zbl 1109.03022 Palmgren, E.; Vickers, S. J. 24 2007 A constructive and functorial embedding of locally compact metric spaces into locales. Zbl 1116.03057 Palmgren, Erik 8 2007 Non-standard analysis and historical infinitesimals. (Ickestandardanalys och historiska infinitesimaler.) Zbl 1188.26018 Palmgren, Erik 2 2007 Maximal and partial points in formal spaces. Zbl 1079.03060 Palmgren, Erik 8 2006 Quotient topologies in constructive set theory and type theory. Zbl 1094.03053 Ishihara, Hajime; Palmgren, Erik 8 2006 Binary refinement implies discrete exponentiation. Zbl 1112.03048 Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 Regular universes and formal spaces. Zbl 1079.03061 Palmgren, Erik 4 2006 Predicativity problems in point-free topology. Zbl 1102.03058 Palmgren, Erik 4 2006 Apartness and formal topology. Zbl 1108.03058 Palmgren, Erik; Schuster, Peter 1 2006 Quotient spaces and coequalisers in formal topology. Zbl 1124.03038 Palmgren, E. 4 2005 Continuity on the real line and in formal spaces. Zbl 1135.03348 Palmgren, Erik 3 2005 Constructive completions of ordered sets, groups and fields. Zbl 1074.03031 Palmgren, Erik 2 2005 A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. Zbl 1051.03054 Palmgren, Erik 1 2004 Type theories, toposes and constructive set theory: Predicative aspects of AST. Zbl 0999.03061 Moerdijk, Ieke; Palmgren, Erik 28 2002 An intuitionistic axiomatisation of real closed fields. Zbl 1003.03050 Palmgren, Erik 5 2002 Metric Boolean algebras and constructive measure theory. Zbl 1064.03039 Coquand, Thierry; Palmgren, Erik 4 2002 Unifying constructive and nonstandard analysis. Zbl 1010.03058 Palmgren, Erik 4 2001 Real numbers in the topos of sheaves over the category of filters. Zbl 0976.03068 Palmgren, Erik 3 2001 Wellfounded trees in categories. Zbl 1010.03056 Moerdijk, Ieke; Palmgren, Erik 48 2000 Intuitionistic choice and classical logic. Zbl 0947.03078 Coquand, Thierry; Palmgren, Erik 4 2000 An effective conservation result for nonstandard arithmetic. Zbl 0941.03068 Palmgren, Erik 3 2000 Constructive nonstandard representations of generalized functions. Zbl 0981.46039 Palmgren, Erik 3 2000 Hyperfinite type structures. Zbl 0938.03066 Normann, Dag; Palmgren, Erik; Stoltenberg-Hansen, Viggo 2 1999 Developments in constructive nonstandard analysis. Zbl 0920.03063 Palmgren, Erik 19 1998 On universes in type theory. Zbl 0930.03090 Palmgren, Erik 18 1998 Inaccessibility in constructive set theory and type theory. Zbl 0926.03074 Rathjen, Michael; Griffor, Edward R.; Palmgren, Erik 14 1998 Minimal models of Heyting arithmetic. Zbl 0899.03044 Moerdijk, Ieke; Palmgren, Erik 12 1997 Constructive sheaf semantics. Zbl 0934.03051 Palmgren, Erik 9 1997 A sheaf-theoretic foundation for nonstandard analysis. Zbl 0880.03032 Palmgren, Erik 8 1997 A logical presentation of the continuous functionals. Zbl 0890.03017 Palmgren, Erik; Stoltenberg-Hansen, Viggo 1 1997 Constructive nonstandard analysis. Zbl 0861.03050 Palmgren, E. 5 1996 A constructive approach to nonstandard analysis. Zbl 0830.03037 Palmgren, Erik 11 1995 Denotational semantics of constraint logic programming. - A nonstandard approach. Zbl 0829.68081 Palmgren, Erik 1 1994 An information system interpretation of Martin-Löf’s partial type theory with universes. Zbl 0789.03045 Palmgren, Erik 4 1993 A note on “Mathematics of infinity”. Zbl 0795.03084 Palmgren, Erik 4 1993 Type-theoretic interpretation of iterated, strictly positive inductive definitions. Zbl 0787.03052 Palmgren, Erik 11 1992 Remarks on Martin-Löf’s partial type theory. Zbl 0787.03051 Palmgren, Erik; Stoltenberg-Hansen, Viggo 1 1992 A construction of Type:Type in Martin-Löf’s partial type theory with one universe. Zbl 0747.03027 Palmgren, Erik 3 1991 Domain interpretations of Martin-Löf’s partial type theory. Zbl 0704.03041 Palmgren, Erik; Stoltenberg-Hansen, Viggo 14 1990 all cited Publications top 5 cited Publications all top 5 Cited by 217 Authors 26 Palmgren, Erik 12 Coquand, Thierry 11 Van den Berg, Benno 9 Moerdijk, Ieke 9 Petrakis, Iosif 8 Rathjen, Michael 7 Gambino, Nicola 6 Ishihara, Hajime 6 Schuster, Peter Michael 5 Aczel, Peter 5 Awodey, Steve 5 Butz, Carsten 5 Kawai, Tatsuji 5 Kock, Joachim 5 Spitters, Bas 5 Vickers, Steven 4 Avigad, Jeremy 4 Curi, Giovanni 4 Dybjer, Peter 4 Huber, Simon 4 Maietti, Maria Emilia 4 Pitts, Andrew M. 4 Sattler, Christian 3 Altenkirch, Thorsten 3 Andres, Eric 3 Chollet, Agathe 3 Emmenegger, Jacopo 3 Fuchs, Laurent 3 Giordano, Paolo Robuffo 3 Hötzel Escardó, Martín 3 Largeteau-Skapin, Gaëlle 3 Lumsdaine, Peter LeFanu 3 Sanders, Sam 3 Setzer, Anton 3 Stoltenberg-Hansen, Viggo 3 Streicher, Thomas 3 van Oosten, Jaap 3 Wallet, Guy 3 Wessel, Daniel 2 Abramsky, Samson 2 Bezem, Marc 2 Birkedal, Lars 2 Cockett, J. Robin B. 2 Crosilla, Laura 2 Diener, Hannes 2 Eliasson, Jonas 2 Gratzer, Daniel 2 Griffor, Edward R. 2 Hofstra, Pieter J. W. 2 Jagadeesan, Radha 2 Kapulkin, Krzysztof 2 Kock, Anders Jungersen 2 Nemoto, Takako 2 Orton, Ian 2 Parker, Jason T. 2 Sambin, Giovanni 2 Shulman, Michael A. 2 Simpson, Alex K. 2 Steenkamp, S. C. 2 Tiwari, Diksha 2 Tsementzis, Dimitris 2 Tupailo, Sergei 2 Vákár, Matthijs 2 Vernaeve, Hans 2 Warren, Michael Alton 2 Ziegler, Albert 1 Achourioti, Theodora 1 Ahrens, Benedikt 1 Angiuli, Carlo 1 Apaaboah, G. 1 Banaschewski, Bernhard 1 Barendregt, Hendrik Pieter 1 Barras, Bruno 1 Basold, Henning 1 Batanin, Michael A. 1 Benci, Vieri 1 Benveniste, Albert 1 Berger, Clemens 1 Bertrand, Claude 1 Bidlingmaier, Martin E. 1 Bonsangue, Marcello Maria 1 Boulier, Simon 1 Bourke, Timothy 1 Bridges, Douglas Suth 1 Briseid, Eyvind Martol 1 Buchholtz, Ulrik 1 Buro, Samuele 1 Caillaud, Benoît 1 Caldarola, Fabio 1 Capretta, Venanzio 1 Caramello, Olivia 1 Chen, Yixiang 1 Ciraulo, Francesco 1 Constable, Robert Lee 1 Contente, Michele 1 Crole, Roy L. 1 Dagnino, Francesco 1 De Marchi, Federico 1 Di Nasso, Mauro 1 Dinis, Bruno ...and 117 more Authors all top 5 Cited in 47 Serials 48 Annals of Pure and Applied Logic 16 Theoretical Computer Science 15 MSCS. Mathematical Structures in Computer Science 14 The Journal of Symbolic Logic 13 Logical Methods in Computer Science 10 Mathematical Logic Quarterly (MLQ) 8 Journal of Pure and Applied Algebra 7 Archive for Mathematical Logic 7 The Bulletin of Symbolic Logic 6 Applied Categorical Structures 3 Monatshefte für Mathematik 3 Notre Dame Journal of Formal Logic 3 Synthese 3 Indagationes Mathematicae. New Series 3 Theory and Applications of Categories 3 The Journal of Logic and Algebraic Programming 2 BIT 2 Studia Logica 2 Topology and its Applications 2 Information and Computation 2 Journal of Automated Reasoning 2 Journal of Mathematical Logic 2 Journal of Logic and Analysis 2 The Review of Symbolic Logic 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Journal of Symbolic Computation 1 Computational Statistics 1 Historia Mathematica 1 Pattern Recognition 1 Expositiones Mathematicae 1 Journal of Functional Programming 1 Theory of Computing Systems 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Journal of the European Mathematical Society (JEMS) 1 Communications in Nonlinear Science and Numerical Simulation 1 Algebraic & Geometric Topology 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Applied Logic 1 New Mathematics and Natural Computation 1 Nonlinear Analysis. Hybrid Systems 1 Confluentes Mathematici 1 Forum of Mathematics, Sigma 1 Computability 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 24 Fields 185 Mathematical logic and foundations (03-XX) 83 Category theory; homological algebra (18-XX) 53 Computer science (68-XX) 24 Order, lattices, ordered algebraic structures (06-XX) 23 General topology (54-XX) 14 Algebraic topology (55-XX) 10 Real functions (26-XX) 9 Functional analysis (46-XX) 5 Measure and integration (28-XX) 3 General and overarching topics; collections (00-XX) 3 Associative rings and algebras (16-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 General algebraic systems (08-XX) 2 Group theory and generalizations (20-XX) 2 Partial differential equations (35-XX) 2 Geometry (51-XX) 2 Quantum theory (81-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Sequences, series, summability (40-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year