Peter Aczel

2.4k total citations
26 papers, 599 citations indexed

About

Peter Aczel is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Peter Aczel has authored 26 papers receiving a total of 599 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 9 papers in Mathematical Physics. Recurrent topics in Peter Aczel's work include Logic, programming, and type systems (13 papers), Logic, Reasoning, and Knowledge (8 papers) and Advanced Algebra and Logic (8 papers). Peter Aczel is often cited by papers focused on Logic, programming, and type systems (13 papers), Logic, Reasoning, and Knowledge (8 papers) and Advanced Algebra and Logic (8 papers). Peter Aczel collaborates with scholars based in United Kingdom, Germany and United States. Peter Aczel's co-authors include Jiřı́ Velebil, Jiřı́ Adámek, Stefan Milius, Nicola Gambino, Jouko Väänánen, Pavel Janoš, John N. Crossley, Harold Simmons, Stanley S. Wainer and Hajime Ishihara and has published in prestigious journals such as Journal of Chromatography A, Theoretical Computer Science and Journal of Symbolic Logic.

In The Last Decade

Peter Aczel

22 papers receiving 528 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Peter Aczel United Kingdom 9 410 322 133 93 49 26 599
Jeremy Avigad United States 16 300 0.7× 387 1.2× 134 1.0× 150 1.6× 56 1.1× 75 660
Steven Givant United States 11 414 1.0× 437 1.4× 56 0.4× 117 1.3× 38 0.8× 39 696
Jouko Väänánen Finland 16 710 1.7× 656 2.0× 83 0.6× 181 1.9× 91 1.9× 108 1.0k
Giovanni Sambin Italy 16 605 1.5× 496 1.5× 160 1.2× 113 1.2× 29 0.6× 32 763
Yiannis N. Moschovakis United States 18 439 1.1× 747 2.3× 169 1.3× 360 3.9× 50 1.0× 53 994
Andrzej Grzegorczyk Poland 12 411 1.0× 627 1.9× 72 0.5× 113 1.2× 31 0.6× 35 768
Kosta Došen Serbia 16 549 1.3× 475 1.5× 91 0.7× 93 1.0× 61 1.2× 66 698
Erik Palmgren Sweden 13 243 0.6× 250 0.8× 195 1.5× 150 1.6× 13 0.3× 61 444
Erwin Engeler Switzerland 11 348 0.8× 368 1.1× 39 0.3× 81 0.9× 23 0.5× 38 592
Steve Awodey United States 13 309 0.8× 257 0.8× 205 1.5× 141 1.5× 143 2.9× 42 712

Countries citing papers authored by Peter Aczel

Since Specialization
Citations

This map shows the geographic impact of Peter Aczel'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 Peter Aczel with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Aczel more than expected).

Fields of papers citing papers by Peter Aczel

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Peter Aczel. 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 Peter Aczel. The network helps show where Peter Aczel may publish in the future.

Co-authorship network of co-authors of Peter Aczel

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Aczel. A scholar is included among the top collaborators of Peter Aczel 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 Peter Aczel. Peter Aczel is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Aczel, Peter, et al.. (2014). Generalized geometric theories and set-generated classes. Mathematical Structures in Computer Science. 25(7). 1466–1483. 5 indexed citations
2.
Aczel, Peter. (2012). Rudimentary and arithmetical constructive set theory. Annals of Pure and Applied Logic. 164(4). 396–415. 1 indexed citations
3.
Aczel, Peter, et al.. (2012). Are There Enough Injective Sets?. Studia Logica. 101(3). 467–482.
4.
Aczel, Peter, et al.. (2009). On the T1 axiom and other separation properties in constructive point-free and point-set topology. Annals of Pure and Applied Logic. 161(4). 560–569. 6 indexed citations
5.
Aczel, Peter. (2008). Proof Theory. 3 indexed citations
6.
Aczel, Peter, et al.. (2006). Binary Refinement Implies Discrete Exponentiation. Studia Logica. 84(3). 361–368. 6 indexed citations
7.
Gambino, Nicola & Peter Aczel. (2006). The generalised type-theoretic interpretation of constructive set theory. Journal of Symbolic Logic. 71(1). 67–103. 17 indexed citations
8.
Aczel, Peter. (2005). Aspects of general topology in constructive set theory. Annals of Pure and Applied Logic. 137(1-3). 3–29. 43 indexed citations
9.
Aczel, Peter, Jiřı́ Adámek, Stefan Milius, & Jiřı́ Velebil. (2003). Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science. 300(1-3). 1–45. 69 indexed citations
10.
Aczel, Peter, et al.. (2003). The notion of a framework and a framework for LTC. 392–399. 2 indexed citations
11.
Aczel, Peter. (2002). Term declaration logic and generalised composita. 22–30. 1 indexed citations
12.
Aczel, Peter. (2001). The Russell–Prawitz modality. Mathematical Structures in Computer Science. 11(4). 541–554. 15 indexed citations
13.
Aczel, Peter. (1994). Schematic Consequence*. 261–272. 2 indexed citations
14.
Aczel, Peter, et al.. (1993). Situation Theory and its Applications, Volume 3. 2 indexed citations
15.
Aczel, Peter, Harold Simmons, & Stanley S. Wainer. (1993). Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990. Medical Entomology and Zoology. 5 indexed citations
16.
Aczel, Peter. (1988). Non-well-founded sets. Medical Entomology and Zoology. 344 indexed citations
17.
Aczel, Peter, et al.. (1984). The Strength of Martin-Löf's Intuitionistic Type Theory with One Universe. 13 indexed citations
18.
Aczel, Peter. (1981). In 1967 Errett Bishop's book ‘Foundations of constructive analysis’ appeared.. Proceedings of the Edinburgh Mathematical Society. 24(2). 148–149. 5 indexed citations
19.
Aczel, Peter. (1972). Describing ordinals using functionals of transfinite type. Journal of Symbolic Logic. 37(1). 35–47. 9 indexed citations
20.
Aczel, Peter. (1970). Representability in some systems of second order arithmetic. Israel Journal of Mathematics. 8(4). 309–328. 8 indexed citations

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

Breakdown of academic impact, for papers by Jeremy Avigad Breakdown of academic impact, for papers by Steven Givant Breakdown of academic impact, for papers by Jouko Väänánen Breakdown of academic impact, for papers by Giovanni Sambin Breakdown of academic impact, for papers by Yiannis N. Moschovakis Breakdown of academic impact, for papers by Andrzej Grzegorczyk Breakdown of academic impact, for papers by Kosta Došen Breakdown of academic impact, for papers by Erik Palmgren Breakdown of academic impact, for papers by Erwin Engeler Breakdown of academic impact, for papers by Steve Awodey
Rankless by CCL
2026