×
Author ID: palmgren.erik Recent zbMATH articles by "Palmgren, Erik"
Published as: Palmgren, Erik; Palmgren, E.
Further Spellings: Palmgren, Erik Henrik
Homepage: http://staff.math.su.se/palmgren/
External Links: MGP · dblp
all top 5

Co-Authors

41 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

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 352 times in 221 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
128
2013
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
45
2000
Type theories, toposes and constructive set theory: Predicative aspects of AST. Zbl 0999.03061
Moerdijk, Ieke; Palmgren, Erik
27
2002
Partial Horn logic and Cartesian categories. Zbl 1109.03022
Palmgren, E.; Vickers, S. J.
22
2007
Developments in constructive nonstandard analysis. Zbl 0920.03063
Palmgren, Erik
18
1998
On universes in type theory. Zbl 0930.03090
Palmgren, Erik
17
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
13
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
Constructing categories and setoids of setoids in type theory. Zbl 1341.03012
Palmgren, Erik; Wilander, Olov
10
2014
Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets. Zbl 1257.03095
Palmgren, Erik
10
2012
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
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
Maximal and partial points in formal spaces. Zbl 1079.03060
Palmgren, Erik
8
2006
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
An information system interpretation of Martin-Löf’s partial type theory with universes. Zbl 0789.03045
Palmgren, Erik
4
1993
Unifying constructive and nonstandard analysis. Zbl 1010.03058
Palmgren, Erik
4
2001
Metric Boolean algebras and constructive measure theory. Zbl 1064.03039
Coquand, Thierry; Palmgren, Erik
4
2002
A note on “Mathematics of infinity”. Zbl 0795.03084
Palmgren, Erik
4
1993
Intuitionistic choice and classical logic. Zbl 0947.03078
Coquand, Thierry; Palmgren, Erik
4
2000
Quotient spaces and coequalisers in formal topology. Zbl 1124.03038
Palmgren, E.
4
2005
Predicativity problems in point-free topology. Zbl 1102.03058
Palmgren, Erik
4
2006
Regular universes and formal spaces. Zbl 1079.03061
Palmgren, Erik
4
2006
A construction of Type:Type in Martin-Löf’s partial type theory with one universe. Zbl 0747.03027
Palmgren, Erik
3
1991
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
Open sublocales of localic completions. Zbl 1285.03075
Palmgren, Erik
3
2010
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
Continuity on the real line and in formal spaces. Zbl 1135.03348
Palmgren, Erik
3
2005
Non-standard analysis and historical infinitesimals. (Ickestandardanalys och historiska infinitesimaler.) Zbl 1188.26018
Palmgren, Erik
2
2007
From intuitionistic to point-free topology: On the foundation of homotopy theory. Zbl 1227.03080
Palmgren, Erik
2
2009
Metric complements of overt closed sets. Zbl 1251.03084
Coquand, Thierry; Palmgren, Erik; Spitters, Bas
2
2011
Resolution of the uniform lower bound problem in constructive analysis. Zbl 1134.03037
Palmgren, Erik
2
2008
Real numbers in the topos of sheaves over the category of filters. Zbl 0976.03068
Palmgren, Erik
2
2001
Constructive completions of ordered sets, groups and fields. Zbl 1074.03031
Palmgren, Erik
2
2005
Exact completion and constructive theories of sets. Zbl 1485.03257
Emmenegger, Jacopo; Palmgren, Erik
2
2020
Categories with families and first-order logic with dependent sorts. Zbl 1458.18003
Palmgren, Erik
2
2019
A logical presentation of the continuous functionals. Zbl 0890.03017
Palmgren, Erik; Stoltenberg-Hansen, Viggo
1
1997
Locally cartesian closed categories without chosen constructions. Zbl 1163.18003
Palmgren, Erik
1
2008
Denotational semantics of constraint logic programming. - A nonstandard approach. Zbl 0829.68081
Palmgren, Erik
1
1994
Hyperfinite type structures. Zbl 0938.03066
Normann, Dag; Palmgren, Erik; Stoltenberg-Hansen, Viggo
1
1999
Remarks on Martin-Löf’s partial type theory. Zbl 0787.03051
Palmgren, Erik; Stoltenberg-Hansen, Viggo
1
1992
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
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
Apartness and formal topology. Zbl 1108.03058
Palmgren, Erik; Schuster, Peter
1
2006
A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. Zbl 1051.03054
Palmgren, Erik
1
2004
Double sequences, almost Cauchyness and BD-N. Zbl 1315.03117
Berger, Josef; Bridges, Douglas; Palmgren, Erik
1
2012
A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040
Palmgren, Erik
1
2018
Exact completion and constructive theories of sets. Zbl 1485.03257
Emmenegger, Jacopo; Palmgren, Erik
2
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
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
128
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
A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis. Zbl 1288.03036
Palmgren, Erik
1
2012
Double sequences, almost Cauchyness and BD-N. Zbl 1315.03117
Berger, Josef; Bridges, Douglas; 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.
22
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
Quotient topologies in constructive set theory and type theory. Zbl 1094.03053
Ishihara, Hajime; Palmgren, Erik
8
2006
Maximal and partial points in formal spaces. Zbl 1079.03060
Palmgren, Erik
8
2006
Binary refinement implies discrete exponentiation. Zbl 1112.03048
Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
6
2006
Predicativity problems in point-free topology. Zbl 1102.03058
Palmgren, Erik
4
2006
Regular universes and formal spaces. Zbl 1079.03061
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
27
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
2
2001
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
45
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
1
1999
Developments in constructive nonstandard analysis. Zbl 0920.03063
Palmgren, Erik
18
1998
On universes in type theory. Zbl 0930.03090
Palmgren, Erik
17
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
13
1990
all top 5

Cited by 207 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 Sattler, Christian
3 Altenkirch, Thorsten
3 Andres, Eric
3 Chollet, Agathe
3 Emmenegger, Jacopo
3 Fuchs, Laurent
3 Hötzel Escardó, Martín
3 Largeteau-Skapin, Gaëlle
3 Lumsdaine, Peter LeFanu
3 Maietti, Maria Emilia
3 Pitts, Andrew M.
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 Giordano, Paolo Robuffo
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 Sambin, Giovanni
2 Shulman, Michael A.
2 Simpson, Alex K.
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 Crole, Roy L.
1 Dagnino, Francesco
1 De Marchi, Federico
1 Di Nasso, Mauro
1 Dinis, Bruno
1 Dotsenko, Vladimir Viktorovich
1 Dyckhoff, Roy
1 Eades, Harley III
1 Faissole, Florian
...and 107 more Authors
all top 5

Cited in 45 Serials

47 Annals of Pure and Applied Logic
14 The Journal of Symbolic Logic
14 Theoretical Computer Science
14 MSCS. Mathematical Structures in Computer Science
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
5 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 Journal of Symbolic Computation
1 Computational Statistics
1 Historia Mathematica
1 Pattern Recognition
1 Expositiones Mathematicae
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

Citations by Year