Erik Palmgren

1.0k total citations
61 papers, 444 citations indexed

About

Erik Palmgren is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Erik Palmgren has authored 61 papers receiving a total of 444 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Artificial Intelligence, 30 papers in Computational Theory and Mathematics and 24 papers in Mathematical Physics. Recurrent topics in Erik Palmgren's work include Logic, programming, and type systems (30 papers), Logic, Reasoning, and Knowledge (26 papers) and Computability, Logic, AI Algorithms (16 papers). Erik Palmgren is often cited by papers focused on Logic, programming, and type systems (30 papers), Logic, Reasoning, and Knowledge (26 papers) and Computability, Logic, AI Algorithms (16 papers). Erik Palmgren collaborates with scholars based in Sweden, United Kingdom and Japan. Erik Palmgren's co-authors include Ieke Moerdijk, V. Stoltenberg-Hansen, Thierry Coquand, Edward Griffor, Hajime Ishihara, Michael Rathjen, Peter Schuster, Krister Segerberg, Sten Lindström and Peter Dybjer and has published in prestigious journals such as BIT Numerical Mathematics, Journal of Symbolic Logic and Information and Computation.

In The Last Decade

Erik Palmgren

54 papers receiving 387 citations

Peers

Countries citing papers authored by Erik Palmgren

Since Specialization

Citations

This map shows the geographic impact of Erik Palmgren's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Erik Palmgren with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Erik Palmgren more than expected).

Fields of papers citing papers by Erik Palmgren

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Erik Palmgren. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Erik Palmgren. The network helps show where Erik Palmgren may publish in the future.

Co-authorship network of co-authors of Erik Palmgren

This figure shows the co-authorship network connecting the top 25 collaborators of Erik Palmgren. A scholar is included among the top collaborators of Erik Palmgren based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Erik Palmgren. Erik Palmgren is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Intuitionistic Type Theory 2016 ·Chalmers Research (Chalmers University of Technology) ·Peter Dybjer, Erik Palmgren	3
2	Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets 2012 ·Annals of Pure and Applied Logic ·Erik Palmgren	14
3	A predicative completion of a uniform space 2011 ·Annals of Pure and Applied Logic ·(unknown), Hajime Ishihara, Erik Palmgren, Peter Schuster	3
4	Logicism, intuitionism, and formalism : what has become of them? 2009 ·Springer eBooks ·Sten Lindström, Erik Palmgren, Krister Segerberg, V. Stoltenberg-Hansen	10
5	A constructive and functorial embedding of locally compact metric spaces into locales 2007 ·Topology and its Applications ·Erik Palmgren	14
6	Partial Horn logic and cartesian categories 2006 ·Annals of Pure and Applied Logic ·Erik Palmgren, (unknown)	18
7	Internalising modified realisability in constructive 2005 ·Logical Methods in Computer Science ·Erik Palmgren	10
8	Constructive completions of ordered sets, groups and fields 2005 ·Annals of Pure and Applied Logic ·Erik Palmgren	4
9	Regular universes and formal spaces 2005 ·Annals of Pure and Applied Logic ·Erik Palmgren	5
10	Maximal and partial points in formal spaces 2005 ·Annals of Pure and Applied Logic ·Erik Palmgren	12
11	Quotient topologies in constructive set theory and type theory 2005 ·Annals of Pure and Applied Logic ·Hajime Ishihara, Erik Palmgren	9
12	Apartness and formal topology 2004 ·Erik Palmgren, Peter Schuster	4
13	Real numbers in the topos of sheaves over the category of filters 2001 ·Journal of Pure and Applied Algebra ·Erik Palmgren	3
14	Constructive nonstandard representations of generalized functions 2000 ·Indagationes Mathematicae ·Erik Palmgren	4
15	Wellfounded trees in categories 2000 ·Annals of Pure and Applied Logic ·Ieke Moerdijk, Erik Palmgren	62
16	Inaccessibility in constructive set theory and type theory 1998 ·Annals of Pure and Applied Logic ·Michael Rathjen, Edward Griffor, Erik Palmgren	17
17	Minimal models of Heyting arithmetic 1997 ·Journal of Symbolic Logic ·Ieke Moerdijk, Erik Palmgren	16
18	A sheaf-theoretic foundation for nonstandard analysis 1997 ·Annals of Pure and Applied Logic ·Erik Palmgren	12
19	An Information System Interpretation of Martin-Löf′s Partial Type Theory with Universes 1993 ·Information and Computation ·Erik Palmgren	8
20	Domain interpretations of martin-löf’s partial type theory 1990 ·Annals of Pure and Applied Logic ·Erik Palmgren, V. Stoltenberg-Hansen	23

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact