Edit Profile (opens in new tab) Aczel, Peter (b. 1941 d. 2023) Co-Author Distance Author ID: aczel.peter Published as: Aczel, Peter; Aczel, P.; Aczel, P. H. G. more...less Further Spellings: Aczel, Peter Henry George Homepage: http://www.cs.man.ac.uk/~petera/ External Links: MGP · Wikidata · ResearchGate · dblp · GND · IdRef Documents Indexed: 43 Publications since 1966, including 1 Book 2 Contributions as Editor · 5 Further Contributions Co-Authors: 20 Co-Authors with 17 Joint Publications 309 Co-Co-Authors all top 5 Co-Authors 27 single-authored 3 Barendregt, Hendrik Pieter 3 Barwise, Kenneth Jon 3 Feferman, Solomon 3 Gambino, Nicola 3 Statman, Richard 2 Adámek, Jiří 2 Burgess, John P. 2 Davis, Martin David 2 Devlin, Keith J. 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Fourman, Michael Paul 2 Harrington, Leo A. 2 Ishihara, Hajime 2 Jech, Thomas J. 2 Juhász, István 2 Kechris, Alexander S. 2 Keisler, Howard Jerome 2 Kock, Anders Jungersen 2 Kunen, Kenneth 2 Macintyre, Angus John 2 Makkai, Michael 2 Martin, Donald A. 2 Mendler, Nax Paul 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Palmgren, Erik 2 Paris, Jeffrey Bruce 2 Rabin, Michael O. 2 Reyes, Gonzalo E. 2 Richter, Wayne 2 Rudin, Mary Ellen 2 Schuster, Peter Michael 2 Schwichtenberg, Helmut 2 Scott, Dana Stewart 2 Shönfield, Joseph R. 2 Shore, Richard Arnold 2 Simmons, Harold 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Stroyan, Keith D. 2 Troelstra, Anne Sjerp 2 Van den Berg, Benno 2 Velebil, Jiří 2 Wainer, Stanley Scott 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Böhm, Corrado 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Bunder, Martin W. 1 Carlisle, David P. 1 Clarke, Edmund Melson jun. 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coppo, Mario 1 Coquand, Thierry 1 Crosilla, Laura 1 Crossley, John Newsome 1 Curi, Giovanni 1 Curien, Pierre-Louis 1 de Bruijn, Nicolaas Govert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Dybjer, Peter 1 Finster, Eric 1 Fitch, Frederic Brenton 1 Gandy, Robin O. 1 Garner, Richard 1 Gilmore, Paul C. 1 Gonthier, Georges 1 Granström, Johan Georg 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hindley, J. Roger 1 Hinman, Peter G. 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Howard, William Alvin 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kearns, John T. 1 Klop, Jan Willem 1 Kock, Joachim 1 Koymans, Karst 1 Kraus, Nicolai 1 Kuzichev, Alexander Sergeevich 1 Lambek, Joachim 1 Levy, Jean-Jacques ...and 36 more Co-Authors all top 5 Serials 3 Annals of Pure and Applied Logic 2 Archiv für Mathematische Logik und Grundlagenforschung 2 The Journal of Symbolic Logic 2 Studia Logica 2 Mathematical Structures in Computer Science 2 Studies in Logic and the Foundations of Mathematics 1 Israel Journal of Mathematics 1 Philosophical Transactions of the Royal Society of London. Ser. A 1 Theoretical Computer Science 1 Journal of the Australian Mathematical Society. Series A 1 Mathematical Logic Quarterly (MLQ) 1 CSLI Lecture Notes all top 5 Fields 43 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 6 Category theory; homological algebra (18-XX) 5 General topology (54-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 44 Publications have been cited 825 times in 630 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 264 2013 Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001 Aczel, Peter 206 1988 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 155 1980 A final coalgebra theorem. Zbl 1496.03206 Aczel, Peter; Mendler, Nax 81 1989 The type theoretic interpretation of constructive set theory. Zbl 0481.03035 Aczel, Peter 76 1978 The type theoretic interpretation of constructive set theory: Inductive definitions. Zbl 0624.03044 Aczel, Peter 62 1986 Frege structures and the notions of proposition, truth and set. Zbl 0462.03002 Aczel, Peter 49 1980 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077 Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 45 2003 The type theoretic interpretation of constructive set theory: Choice principles. Zbl 0529.03035 Aczel, Peter 44 1982 Aspects of general topology in constructive set theory. Zbl 1077.03035 Aczel, Peter 37 2006 Recursive density types and Nerode extensions of arithmetic. Zbl 0308.02045 Aczel, P. 34 1975 Inductive definitions and reflecting properties of admissible ordinals. Zbl 0318.02042 Richter, Wayne; Aczel, Peter 26 1974 On relating type theories and set theories. Zbl 0944.03056 Aczel, Peter 21 1999 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235 Aczel, Peter; Adámek, Jiří; Velebil, Jiří 17 2001 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052 Gambino, Nicola; Aczel, Peter 12 2006 Quantifiers, games and inductive definitions. Zbl 0324.02009 Aczel, Peter 10 1975 Saturated intuitionistic theories. Zbl 0198.32205 Aczel, P. H. G. 10 1968 The Russell-Prawitz modality. Zbl 0988.03033 Aczel, Peter 9 2001 Describing ordinals using functionals of transfinite type. Zbl 0264.02025 Aczel, Peter 9 1972 Separation properties in constructive topology. Zbl 1095.03073 Aczel, Peter; Fox, Christopher 8 2005 On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology. Zbl 1223.03050 Aczel, Peter; Curi, Giovanni 7 2010 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Binary refinement implies discrete exponentiation. Zbl 1112.03048 Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 The relation reflection scheme. Zbl 1134.03038 Aczel, Peter 6 2008 Representability in some systems of second order arithmetic. Zbl 0216.00602 Aczel, P. 5 1970 Inductive definitions and analogues of large cardinals. Zbl 0272.02065 Aczel, Peter; Richter, Wayne 5 1972 Final universes of processes. Zbl 1509.68179 Aczel, Peter 5 1994 Chapter 3. Algebras and coalgebras. Zbl 1065.68512 Aczel, Peter 5 2002 Generalized geometric theories and set-generated classes. Zbl 1362.03056 Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi 4 2015 A constructive version of the Lusin separation theorem. Zbl 1171.03037 Aczel, Peter 4 2009 Collection principles in dependent type theory. Zbl 1054.03036 Aczel, Peter; Gambino, Nicola 4 2002 Generalised set theory. Zbl 0862.03027 Aczel, Peter 3 1996 Are there enough injective sets? Zbl 1319.03053 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 3 2013 Lectures on semantics: The initial algebra and final coalgebra perspectives. Zbl 0882.68086 Aczel, Peter 2 1997 Constructive order types. III. Zbl 0199.02901 Aczel, P. H. G.; Crossley, J. N. 2 1966 Rudimentary and arithmetical constructive set theory. Zbl 1270.03129 Aczel, Peter 2 2013 The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035 Clarke, E. M. jun. 2 1984 Schematic consequence. Zbl 0860.03011 Aczel, Peter 1 1994 Two frameworks of theories and their implementation in Isabelle. Zbl 0756.03013 Aczel, Peter; Carlisle, David P.; Mendler, Nax 1 1991 Infinitary logic and the Barwise compactness theorem. Zbl 1416.03014 Aczel, Peter 1 1973 Recursion in the superjump. Zbl 0292.02038 Aczel, Peter; Hinman, Peter G. 1 1974 Two notes on the Paris independence result. I: A generalization of Ramsey’s theorem. II: The ordinal height of a density. Zbl 0487.03025 Aczel, Peter 1 1981 Equalisers of frames in constructive set theory. Zbl 1256.03053 Aczel, Peter 1 2011 Generalized geometric theories and set-generated classes. Zbl 1362.03056 Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi 4 2015 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 264 2013 Are there enough injective sets? Zbl 1319.03053 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 3 2013 Rudimentary and arithmetical constructive set theory. Zbl 1270.03129 Aczel, Peter 2 2013 Equalisers of frames in constructive set theory. Zbl 1256.03053 Aczel, Peter 1 2011 On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology. Zbl 1223.03050 Aczel, Peter; Curi, Giovanni 7 2010 A constructive version of the Lusin separation theorem. Zbl 1171.03037 Aczel, Peter 4 2009 The relation reflection scheme. Zbl 1134.03038 Aczel, Peter 6 2008 Aspects of general topology in constructive set theory. Zbl 1077.03035 Aczel, Peter 37 2006 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052 Gambino, Nicola; Aczel, Peter 12 2006 Binary refinement implies discrete exponentiation. Zbl 1112.03048 Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 Separation properties in constructive topology. Zbl 1095.03073 Aczel, Peter; Fox, Christopher 8 2005 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077 Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 45 2003 Chapter 3. Algebras and coalgebras. Zbl 1065.68512 Aczel, Peter 5 2002 Collection principles in dependent type theory. Zbl 1054.03036 Aczel, Peter; Gambino, Nicola 4 2002 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235 Aczel, Peter; Adámek, Jiří; Velebil, Jiří 17 2001 The Russell-Prawitz modality. Zbl 0988.03033 Aczel, Peter 9 2001 On relating type theories and set theories. Zbl 0944.03056 Aczel, Peter 21 1999 Lectures on semantics: The initial algebra and final coalgebra perspectives. Zbl 0882.68086 Aczel, Peter 2 1997 Generalised set theory. Zbl 0862.03027 Aczel, Peter 3 1996 Final universes of processes. Zbl 1509.68179 Aczel, Peter 5 1994 Schematic consequence. Zbl 0860.03011 Aczel, Peter 1 1994 Two frameworks of theories and their implementation in Isabelle. Zbl 0756.03013 Aczel, Peter; Carlisle, David P.; Mendler, Nax 1 1991 A final coalgebra theorem. Zbl 1496.03206 Aczel, Peter; Mendler, Nax 81 1989 Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001 Aczel, Peter 206 1988 The type theoretic interpretation of constructive set theory: Inductive definitions. Zbl 0624.03044 Aczel, Peter 62 1986 The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035 Clarke, E. M. jun. 2 1984 The type theoretic interpretation of constructive set theory: Choice principles. Zbl 0529.03035 Aczel, Peter 44 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Two notes on the Paris independence result. I: A generalization of Ramsey’s theorem. II: The ordinal height of a density. Zbl 0487.03025 Aczel, Peter 1 1981 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 155 1980 Frege structures and the notions of proposition, truth and set. Zbl 0462.03002 Aczel, Peter 49 1980 The type theoretic interpretation of constructive set theory. Zbl 0481.03035 Aczel, Peter 76 1978 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Recursive density types and Nerode extensions of arithmetic. Zbl 0308.02045 Aczel, P. 34 1975 Quantifiers, games and inductive definitions. Zbl 0324.02009 Aczel, Peter 10 1975 Inductive definitions and reflecting properties of admissible ordinals. Zbl 0318.02042 Richter, Wayne; Aczel, Peter 26 1974 Recursion in the superjump. Zbl 0292.02038 Aczel, Peter; Hinman, Peter G. 1 1974 Infinitary logic and the Barwise compactness theorem. Zbl 1416.03014 Aczel, Peter 1 1973 Describing ordinals using functionals of transfinite type. Zbl 0264.02025 Aczel, Peter 9 1972 Inductive definitions and analogues of large cardinals. Zbl 0272.02065 Aczel, Peter; Richter, Wayne 5 1972 Representability in some systems of second order arithmetic. Zbl 0216.00602 Aczel, P. 5 1970 Saturated intuitionistic theories. Zbl 0198.32205 Aczel, P. H. G. 10 1968 Constructive order types. III. Zbl 0199.02901 Aczel, P. H. G.; Crossley, J. N. 2 1966 all cited Publications top 5 cited Publications all top 5 Cited by 572 Authors 26 Milius, Stefan 21 Rathjen, Michael 18 Adámek, Jiří 18 Schuster, Peter Michael 16 Palmgren, Erik 15 Velebil, Jiří 12 Coquand, Thierry 11 Ishihara, Hajime 10 Curi, Giovanni 10 Policriti, Alberto 9 Aczel, Peter 9 Schröder, Lutz 9 Van den Berg, Benno 8 Rutten, Jan J. M. M. 7 Aguilera, Juan Pablo 7 Moss, Lawrence S. 7 Uustalu, Tarmo 7 Wessel, Daniel 6 Cantini, Andrea 6 Dybjer, Peter 6 Ghani, Neil 6 Jumarie, Guy M. 6 Kawai, Tatsuji 6 Kurz, Alexander 6 Lubarsky, Robert S. 6 Moerdijk, Ieke 6 Pattinson, Dirk 6 Wißmann, Thorsten 5 Dovier, Agostino 5 Goncharov, Sergeĭ Savost’yanovich 5 Maschio, Samuele 5 Piróg, Maciej 5 Rauch, Christoph 4 Arai, Toshiyasu 4 Ciraulo, Francesco 4 De Marchi, Federico 4 Goldblatt, Robert Ian 4 Honsell, Furio 4 Huber, Simon 4 Jacobs, Bart 4 Lenisa, Marina 4 Maietti, Maria Emilia 4 Omodeo, Eugenio Giovanni 4 Paulson, Lawrence Charles 4 Pavlović, Duško 4 Rot, Jurriaan 4 Sato, Kentaro 4 Sattler, Christian 4 Schumann, Andrew 4 Setzer, Anton 4 Tomescu, Alexandru Ioan 4 Tzouvaras, Athanassios 3 Bellman, Kirstie L. 3 Blass, Andreas Raphael 3 Capretta, Venanzio 3 Crosilla, Laura 3 Crossley, John Newsome 3 Dagnino, Francesco 3 de Vink, Erik P. 3 Emmenegger, Jacopo 3 Feferman, Solomon 3 Formisano, Andrea 3 Forti, Marco 3 Fujimoto, Kentaro 3 Gambino, Nicola 3 Grue, Klaus E. 3 Hamana, Makoto 3 Hartonas, Chrysafis 3 Hötzel Escardó, Martín 3 Iemhoff, Rosalie 3 Jäger, Gerhard 3 Klev, Ansten Mørch 3 Landauer, Christopher 3 Levy, Paul Blain 3 Lüth, Christoph 3 Majster-Cederbaum, Mila E. 3 Mavoungou, Jean-Paul 3 Miculan, Marino 3 Misselbeck-Wessel, Daniel 3 Parlamento, Franco 3 Peressotti, Marco 3 Piazza, Carla 3 Popescu, Andrei 3 Pous, Damien 3 Rinaldi, Davide 3 Sambin, Giovanni 3 Sazonov, Vladimir Yu. 3 Simpson, Alex K. 3 Spitters, Bas 3 Streicher, Thomas 3 Turkenburg, Ruben 3 van Ditmarsch, Hans Pieter 3 Vene, Varmo 3 Welch, Philip D. 3 Ziegler, Albert 2 Abramsky, Samson 2 Adam-Day, Bea 2 Adams, Robin 2 Akman, Varol 2 Altenkirch, Thorsten ...and 472 more Authors all top 5 Cited in 100 Serials 89 Annals of Pure and Applied Logic 71 Theoretical Computer Science 21 Mathematical Structures in Computer Science 19 Archive for Mathematical Logic 19 Logical Methods in Computer Science 17 The Journal of Symbolic Logic 16 Information and Computation 14 Journal of Philosophical Logic 13 Notre Dame Journal of Formal Logic 11 Journal of Automated Reasoning 10 Studia Logica 10 Synthese 9 Mathematical Logic Quarterly (MLQ) 8 International Journal of General Systems 7 Journal of Pure and Applied Algebra 7 Cybernetics and Systems 7 The Bulletin of Symbolic Logic 7 The Review of Symbolic Logic 5 Journal of Information & Optimization Sciences 5 Journal of Logic, Language and Information 5 The Journal of Logic and Algebraic Programming 5 Journal of Applied Logic 4 Transactions of the American Mathematical Society 4 Journal of Symbolic Computation 4 Communications in Statistics. Theory and Methods 4 Theory and Applications of Categories 4 RAIRO. Theoretical Informatics and Applications 3 Information Processing Letters 3 History and Philosophy of Logic 3 Entropy 3 Journal of Logic and Analysis 3 Nôus 3 Journal of Logical and Algebraic Methods in Programming 2 Modern Physics Letters B 2 Communications in Mathematical Physics 2 Algebra and Logic 2 Applied Mathematics and Computation 2 Bulletin of the London Mathematical Society 2 Information Sciences 2 Journal of Computer and System Sciences 2 Proceedings of the American Mathematical Society 2 Topology and its Applications 2 Formal Aspects of Computing 2 Indagationes Mathematicae. New Series 2 Applied Categorical Structures 2 Journal of Functional Programming 2 Journal of Mathematical Logic 2 Computer Languages, Systems & Structures 2 Confluentes Mathematici 2 Computability 1 Artificial Intelligence 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Computers & Mathematics with Applications 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Letters in Mathematical Physics 1 Mathematical Notes 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Mathematische Semesterberichte 1 Metrika 1 Moscow University Mathematics Bulletin 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Algebra Universalis 1 BIT 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of the London Mathematical Society. Second Series 1 Kybernetes 1 Linguistics and Philosophy 1 Monatshefte für Mathematik 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 European Journal of Combinatorics 1 Mathematical Social Sciences 1 Optimization 1 International Journal of Intelligent Systems 1 Discrete Event Dynamic Systems 1 Artificial Intelligence Review 1 Aequationes Mathematicae 1 International Journal of Computer Mathematics 1 Formal Methods in System Design 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Doklady Mathematics 1 Topoi 1 Soft Computing 1 Journal of Interdisciplinary Mathematics 1 Higher-Order and Symbolic Computation 1 International Journal of Applied Mathematics and Computer Science 1 Annales Mathematicae Silesianae 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 Journal of Algebra and its Applications 1 Oberwolfach Reports 1 Bulletin of the American Mathematical Society 1 Logica Universalis 1 Logic and Analysis 1 Acta Universitatis Sapientiae. Mathematica 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Theoretical Biology all top 5 Cited in 35 Fields 409 Mathematical logic and foundations (03-XX) 256 Computer science (68-XX) 132 Category theory; homological algebra (18-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 30 General topology (54-XX) 27 Information and communication theory, circuits (94-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General algebraic systems (08-XX) 9 Combinatorics (05-XX) 9 Algebraic topology (55-XX) 8 General and overarching topics; collections (00-XX) 7 History and biography (01-XX) 7 Statistics (62-XX) 7 Quantum theory (81-XX) 6 Number theory (11-XX) 6 Commutative algebra (13-XX) 6 Biology and other natural sciences (92-XX) 5 Functional analysis (46-XX) 5 Systems theory; control (93-XX) 4 Associative rings and algebras (16-XX) 4 Probability theory and stochastic processes (60-XX) 4 Operations research, mathematical programming (90-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 Difference and functional equations (39-XX) 2 Geometry (51-XX) 2 Differential geometry (53-XX) 1 Field theory and polynomials (12-XX) 1 Real functions (26-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Relativity and gravitational theory (83-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.