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 308 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 37 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 MSCS. 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 43 Publications have been cited 667 times in 530 Documents Cited by ▼ Year ▼ Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001 Aczel, Peter 164 1988 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 160 2013 A final coalgebra theorem. Zbl 1496.03206 Aczel, Peter; Mendler, Nax 60 1989 The type theoretic interpretation of constructive set theory: Inductive definitions. Zbl 0624.03044 Aczel, Peter 55 1986 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 44 1980 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077 Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 The type theoretic interpretation of constructive set theory. Zbl 0481.03035 Aczel, Peter 42 1978 Frege structures and the notions of proposition, truth and set. Zbl 0462.03002 Aczel, Peter 41 1980 Aspects of general topology in constructive set theory. Zbl 1077.03035 Aczel, Peter 35 2006 Recursive density types and Nerode extensions of arithmetic. Zbl 0308.02045 Aczel, P. 34 1975 The type theoretic interpretation of constructive set theory: Choice principles. Zbl 0529.03035 Aczel, Peter 25 1982 On relating type theories and set theories. Zbl 0944.03056 Aczel, Peter 18 1999 Inductive definitions and reflecting properties of admissible ordinals. Zbl 0318.02042 Richter, Wayne; Aczel, Peter 18 1974 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235 Aczel, Peter; Adámek, Jiří; Velebil, Jiří 17 2001 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052 Gambino, Nicola; Aczel, Peter 11 2006 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 10 1978 Describing ordinals using functionals of transfinite type. Zbl 0264.02025 Aczel, Peter 9 1972 The Russell-Prawitz modality. Zbl 0988.03033 Aczel, Peter 8 2001 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 Quantifiers, games and inductive definitions. Zbl 0324.02009 Aczel, Peter 7 1975 Saturated intuitionistic theories. Zbl 0198.32205 Aczel, P. H. G. 7 1968 The relation reflection scheme. Zbl 1134.03038 Aczel, Peter 6 2008 Binary refinement implies discrete exponentiation. Zbl 1112.03048 Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 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 Collection principles in dependent type theory. Zbl 1054.03036 Aczel, Peter; Gambino, Nicola 4 2002 Chapter 3. Algebras and coalgebras. Zbl 1065.68512 Aczel, Peter 4 2002 Representability in some systems of second order arithmetic. Zbl 0216.00602 Aczel, P. 4 1970 A constructive version of the Lusin separation theorem. Zbl 1171.03037 Aczel, Peter 4 2009 Generalized geometric theories and set-generated classes. Zbl 1362.03056 Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi 4 2015 Generalised set theory. Zbl 0862.03027 Aczel, Peter 3 1996 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 2 1982 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 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 Are there enough injective sets? Zbl 1319.03053 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 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 Schematic consequence. Zbl 0860.03011 Aczel, Peter 1 1994 Recursion in the superjump. Zbl 0292.02038 Aczel, Peter; Hinman, Peter G. 1 1974 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 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 160 2013 Are there enough injective sets? Zbl 1319.03053 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 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 35 2006 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052 Gambino, Nicola; Aczel, Peter 11 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ří 43 2003 Collection principles in dependent type theory. Zbl 1054.03036 Aczel, Peter; Gambino, Nicola 4 2002 Chapter 3. Algebras and coalgebras. Zbl 1065.68512 Aczel, Peter 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 8 2001 On relating type theories and set theories. Zbl 0944.03056 Aczel, Peter 18 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 60 1989 Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001 Aczel, Peter 164 1988 The type theoretic interpretation of constructive set theory: Inductive definitions. Zbl 0624.03044 Aczel, Peter 55 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 25 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 2 1982 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 44 1980 Frege structures and the notions of proposition, truth and set. Zbl 0462.03002 Aczel, Peter 41 1980 The type theoretic interpretation of constructive set theory. Zbl 0481.03035 Aczel, Peter 42 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 10 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 7 1975 Inductive definitions and reflecting properties of admissible ordinals. Zbl 0318.02042 Richter, Wayne; Aczel, Peter 18 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. 4 1970 Saturated intuitionistic theories. Zbl 0198.32205 Aczel, P. H. G. 7 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 505 Authors 25 Milius, Stefan 18 Rathjen, Michael 16 Adámek, Jiří 15 Schuster, Peter Michael 14 Velebil, Jiří 13 Palmgren, Erik 11 Coquand, Thierry 11 Ishihara, Hajime 9 Aczel, Peter 8 Curi, Giovanni 7 Schröder, Lutz 7 Uustalu, Tarmo 6 Cantini, Andrea 6 Dybjer, Peter 6 Ghani, Neil 6 Jumarie, Guy M. 6 Kawai, Tatsuji 6 Lubarsky, Robert S. 6 Moss, Lawrence S. 6 Pattinson, Dirk 6 Policriti, Alberto 6 Rutten, Jan J. M. M. 6 Van den Berg, Benno 6 Wessel, Daniel 6 Wißmann, Thorsten 5 Goncharov, Sergeĭ Savost’yanovich 5 Piróg, Maciej 5 Rauch, Christoph 4 Aguilera, Juan Pablo 4 Ciraulo, Francesco 4 De Marchi, Federico 4 Goldblatt, Robert Ian 4 Kurz, Alexander 4 Maschio, Samuele 4 Paulson, Lawrence Charles 4 Sattler, Christian 4 Schumann, Andrew 4 Setzer, Anton 4 Tomescu, Alexandru Ioan 3 Blass, Andreas Raphael 3 Capretta, Venanzio 3 Crosilla, Laura 3 Crossley, John Newsome 3 Dagnino, Francesco 3 Dovier, Agostino 3 Feferman, Solomon 3 Fujimoto, Kentaro 3 Gambino, Nicola 3 Grue, Klaus E. 3 Hamana, Makoto 3 Hartonas, Chrysafis 3 Honsell, Furio 3 Hötzel Escardó, Martín 3 Huber, Simon 3 Jacobs, Bart 3 Jäger, Gerhard 3 Lenisa, Marina 3 Lüth, Christoph 3 Maietti, Maria Emilia 3 Miculan, Marino 3 Misselbeck-Wessel, Daniel 3 Moerdijk, Ieke 3 Rinaldi, Davide 3 Sambin, Giovanni 3 Sato, Kentaro 3 Sazonov, Vladimir Yu. 3 Streicher, Thomas 3 van Ditmarsch, Hans Pieter 3 Vene, Varmo 3 Ziegler, Albert 2 Abramsky, Samson 2 Adams, Robin 2 Akman, Varol 2 Altenkirch, Thorsten 2 Arora, Prem Nath 2 Avigad, Jeremy 2 Barbosa, Luís Soares 2 Barr, Michael 2 Bellè, Dorella 2 Berline, Chantal 2 Bradfield, Julian Charles 2 Buchholz, Wilfried 2 Butz, Carsten 2 Cantone, Domenico 2 Chakrabarti, Charu Gopal 2 Chowdhary, Subhash 2 De Groot, Jim 2 Dunne, Ciarán 2 Esser, Olivier 2 Flagg, Robert C. 2 Forti, Marco 2 Gabbay, Murdoch James 2 Gibbons, Jeremy 2 Griffor, Edward R. 2 Halbach, Volker 2 Hermida, Claudio 2 Iemhoff, Rosalie 2 Jaspars, Jan O. M. 2 Kamareddine, Fairouz D. 2 Kechris, Alexander S. ...and 405 more Authors all top 5 Cited in 92 Serials 71 Annals of Pure and Applied Logic 55 Theoretical Computer Science 19 Archive for Mathematical Logic 18 MSCS. Mathematical Structures in Computer Science 15 The Journal of Symbolic Logic 15 Information and Computation 14 Journal of Philosophical Logic 14 Logical Methods in Computer Science 13 Notre Dame Journal of Formal Logic 11 Journal of Automated Reasoning 10 Synthese 9 Studia Logica 8 International Journal of General Systems 8 Mathematical Logic Quarterly (MLQ) 7 Cybernetics and Systems 5 Journal of Information & Optimization Sciences 5 Journal of Logic, Language and Information 5 The Bulletin of Symbolic Logic 5 The Journal of Logic and Algebraic Programming 5 Journal of Applied Logic 4 Journal of Pure and Applied Algebra 4 Transactions of the American Mathematical Society 4 Communications in Statistics. Theory and Methods 4 RAIRO. Theoretical Informatics and Applications 4 The Review of Symbolic Logic 3 Information Processing Letters 3 History and Philosophy of Logic 3 Journal of Symbolic Computation 3 Entropy 3 Journal of Logic and Analysis 3 Journal of Logical and Algebraic Methods in Programming 2 Modern Physics Letters B 2 Communications in Mathematical Physics 2 Algebra and Logic 2 Journal of Computer and System Sciences 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 Theory and Applications of Categories 2 Journal of Mathematical Logic 2 Confluentes Mathematici 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 Algebra Universalis 1 BIT 1 Bulletin of the London Mathematical Society 1 Information Sciences 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 Proceedings of the American Mathematical Society 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 International Journal of Computer Mathematics 1 Formal Methods in System Design 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 Computer Languages, Systems & Structures 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 Computability all top 5 Cited in 33 Fields 349 Mathematical logic and foundations (03-XX) 209 Computer science (68-XX) 106 Category theory; homological algebra (18-XX) 34 Order, lattices, ordered algebraic structures (06-XX) 27 General topology (54-XX) 27 Information and communication theory, circuits (94-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 General algebraic systems (08-XX) 7 General and overarching topics; collections (00-XX) 7 Combinatorics (05-XX) 7 Statistics (62-XX) 6 History and biography (01-XX) 6 Number theory (11-XX) 6 Quantum theory (81-XX) 5 Commutative algebra (13-XX) 5 Functional analysis (46-XX) 5 Algebraic topology (55-XX) 5 Biology and other natural sciences (92-XX) 5 Systems theory; control (93-XX) 4 Probability theory and stochastic processes (60-XX) 4 Operations research, mathematical programming (90-XX) 3 Associative rings and algebras (16-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Group theory and generalizations (20-XX) 2 Difference and functional equations (39-XX) 1 Field theory and polynomials (12-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-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.