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 302 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 617 times in 493 Documents Cited by ▼ Year ▼ Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001Aczel, Peter 143 1988 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 A final coalgebra theorem. Zbl 1496.03206Aczel, Peter; Mendler, Nax 56 1989 The type theoretic interpretation of constructive set theory: Inductive definitions. Zbl 0624.03044Aczel, Peter 51 1986 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 Frege structures and the notions of proposition, truth and set. Zbl 0462.03002Aczel, Peter 38 1980 Recursive density types and Nerode extensions of arithmetic. Zbl 0308.02045Aczel, P. 34 1975 The type theoretic interpretation of constructive set theory. Zbl 0481.03035Aczel, Peter 33 1978 Aspects of general topology in constructive set theory. Zbl 1077.03035Aczel, Peter 33 2006 The type theoretic interpretation of constructive set theory: Choice principles. Zbl 0529.03035Aczel, Peter 24 1982 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 19 1980 On relating type theories and set theories. Zbl 0944.03056Aczel, Peter 18 1999 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235Aczel, Peter; Adámek, Jiří; Velebil, Jiří 17 2001 Inductive definitions and reflecting properties of admissible ordinals. Zbl 0318.02042Richter, Wayne; Aczel, Peter 16 1974 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052Gambino, 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 9 1978 Describing ordinals using functionals of transfinite type. Zbl 0264.02025Aczel, Peter 9 1972 Separation properties in constructive topology. Zbl 1095.03073Aczel, Peter; Fox, Christopher 8 2005 Quantifiers, games and inductive definitions. Zbl 0324.02009Aczel, Peter 7 1975 On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology. Zbl 1223.03050Aczel, Peter; Curi, Giovanni 7 2010 The Russell-Prawitz modality. Zbl 0988.03033Aczel, Peter 7 2001 Binary refinement implies discrete exponentiation. Zbl 1112.03048Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 The relation reflection scheme. Zbl 1134.03038Aczel, Peter 6 2008 Saturated intuitionistic theories. Zbl 0198.32205Aczel, P. H. G. 6 1968 Inductive definitions and analogues of large cardinals. Zbl 0272.02065Aczel, Peter; Richter, Wayne 5 1972 Final universes of processes. Zbl 1509.68179Aczel, Peter 5 1994 Representability in some systems of second order arithmetic. Zbl 0216.00602Aczel, P. 4 1970 Collection principles in dependent type theory. Zbl 1054.03036Aczel, Peter; Gambino, Nicola 4 2002 Chapter 3. Algebras and coalgebras. Zbl 1065.68512Aczel, Peter 4 2002 Generalized geometric theories and set-generated classes. Zbl 1362.03056Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi 4 2015 A constructive version of the Lusin separation theorem. Zbl 1171.03037Aczel, Peter 3 2009 Generalised set theory. Zbl 0862.03027Aczel, Peter 3 1996 Lectures on semantics: The initial algebra and final coalgebra perspectives. Zbl 0882.68086Aczel, Peter 2 1997 Constructive order types. III. Zbl 0199.02901Aczel, P. H. G.; Crossley, J. N. 2 1966 The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035Clarke, E. M. jun. 2 1984 Are there enough injective sets? Zbl 1319.03053Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 2013 Two frameworks of theories and their implementation in Isabelle. Zbl 0756.03013Aczel, Peter; Carlisle, David P.; Mendler, Nax 1 1991 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 Recursion in the superjump. Zbl 0292.02038Aczel, Peter; Hinman, Peter G. 1 1974 Schematic consequence. Zbl 0860.03011Aczel, Peter 1 1994 Equalisers of frames in constructive set theory. Zbl 1256.03053Aczel, Peter 1 2011 Rudimentary and arithmetical constructive set theory. Zbl 1270.03129Aczel, Peter 1 2013 Infinitary logic and the Barwise compactness theorem. Zbl 1416.03014Aczel, Peter 1 1973 Generalized geometric theories and set-generated classes. Zbl 1362.03056Aczel, Peter; Ishihara, Hajime; Nemoto, Takako; Sangu, Yasushi 4 2015 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 Are there enough injective sets? Zbl 1319.03053Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 2013 Rudimentary and arithmetical constructive set theory. Zbl 1270.03129Aczel, Peter 1 2013 Equalisers of frames in constructive set theory. Zbl 1256.03053Aczel, Peter 1 2011 On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology. Zbl 1223.03050Aczel, Peter; Curi, Giovanni 7 2010 A constructive version of the Lusin separation theorem. Zbl 1171.03037Aczel, Peter 3 2009 The relation reflection scheme. Zbl 1134.03038Aczel, Peter 6 2008 Aspects of general topology in constructive set theory. Zbl 1077.03035Aczel, Peter 33 2006 The generalised type-theoretic interpretation of constructive set theory. Zbl 1100.03052Gambino, Nicola; Aczel, Peter 11 2006 Binary refinement implies discrete exponentiation. Zbl 1112.03048Aczel, Peter; Crosilla, Laura; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter 6 2006 Separation properties in constructive topology. Zbl 1095.03073Aczel, Peter; Fox, Christopher 8 2005 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 Collection principles in dependent type theory. Zbl 1054.03036Aczel, Peter; Gambino, Nicola 4 2002 Chapter 3. Algebras and coalgebras. Zbl 1065.68512Aczel, Peter 4 2002 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235Aczel, Peter; Adámek, Jiří; Velebil, Jiří 17 2001 The Russell-Prawitz modality. Zbl 0988.03033Aczel, Peter 7 2001 On relating type theories and set theories. Zbl 0944.03056Aczel, Peter 18 1999 Lectures on semantics: The initial algebra and final coalgebra perspectives. Zbl 0882.68086Aczel, Peter 2 1997 Generalised set theory. Zbl 0862.03027Aczel, Peter 3 1996 Final universes of processes. Zbl 1509.68179Aczel, Peter 5 1994 Schematic consequence. Zbl 0860.03011Aczel, Peter 1 1994 Two frameworks of theories and their implementation in Isabelle. Zbl 0756.03013Aczel, Peter; Carlisle, David P.; Mendler, Nax 1 1991 A final coalgebra theorem. Zbl 1496.03206Aczel, Peter; Mendler, Nax 56 1989 Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001Aczel, Peter 143 1988 The type theoretic interpretation of constructive set theory: Inductive definitions. Zbl 0624.03044Aczel, Peter 51 1986 The characterization problem for Hoare logics. With discussion by P. Aczel, J. V. Tucker and J. C. Shepherdson. Zbl 0598.68035Clarke, E. M. jun. 2 1984 The type theoretic interpretation of constructive set theory: Choice principles. Zbl 0529.03035Aczel, Peter 24 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 1 1982 Frege structures and the notions of proposition, truth and set. Zbl 0462.03002Aczel, Peter 38 1980 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 19 1980 The type theoretic interpretation of constructive set theory. Zbl 0481.03035Aczel, Peter 33 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 9 1978 Recursive density types and Nerode extensions of arithmetic. Zbl 0308.02045Aczel, P. 34 1975 Quantifiers, games and inductive definitions. Zbl 0324.02009Aczel, Peter 7 1975 Inductive definitions and reflecting properties of admissible ordinals. Zbl 0318.02042Richter, Wayne; Aczel, Peter 16 1974 Recursion in the superjump. Zbl 0292.02038Aczel, Peter; Hinman, Peter G. 1 1974 Infinitary logic and the Barwise compactness theorem. Zbl 1416.03014Aczel, Peter 1 1973 Describing ordinals using functionals of transfinite type. Zbl 0264.02025Aczel, Peter 9 1972 Inductive definitions and analogues of large cardinals. Zbl 0272.02065Aczel, Peter; Richter, Wayne 5 1972 Representability in some systems of second order arithmetic. Zbl 0216.00602Aczel, P. 4 1970 Saturated intuitionistic theories. Zbl 0198.32205Aczel, P. H. G. 6 1968 Constructive order types. III. Zbl 0199.02901Aczel, P. H. G.; Crossley, J. N. 2 1966 all cited Publications top 5 cited Publications all top 5 Cited by 482 Authors 25 Milius, Stefan 17 Rathjen, Michael 16 Adámek, Jiří 15 Schuster, Peter Michael 14 Velebil, Jiří 13 Palmgren, Erik 11 Ishihara, Hajime 10 Coquand, Thierry 8 Aczel, Peter 8 Curi, Giovanni 7 Schröder, Lutz 7 Uustalu, Tarmo 6 Cantini, Andrea 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 Van den Berg, Benno 6 Wessel, Daniel 6 Wißmann, Thorsten 5 Dybjer, Peter 5 Goncharov, Sergeĭ Savost’yanovich 5 Piróg, Maciej 5 Rauch, Christoph 4 Ciraulo, Francesco 4 De Marchi, Federico 4 Goldblatt, Robert Ian 4 Kurz, Alexander 4 Maschio, Samuele 4 Rutten, Jan J. M. M. 4 Sattler, Christian 4 Schumann, Andrew 4 Tomescu, Alexandru Ioan 3 Aguilera, Juan Pablo 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 Grue, Klaus E. 3 Hamana, Makoto 3 Hartonas, Chrysafis 3 Huber, Simon 3 Jacobs, Bart 3 Jäger, Gerhard 3 Lüth, Christoph 3 Maietti, Maria Emilia 3 Miculan, Marino 3 Moerdijk, Ieke 3 Paulson, Lawrence Charles 3 Rinaldi, Davide 3 Sambin, Giovanni 3 Sato, Kentaro 3 Sazonov, Vladimir Yu. 3 Setzer, Anton 3 Streicher, Thomas 3 van Ditmarsch, Hans Pieter 3 Vene, Varmo 3 Ziegler, Albert 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 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 Gabbay, Murdoch James 2 Gambino, Nicola 2 Gibbons, Jeremy 2 Griffor, Edward R. 2 Halbach, Volker 2 Honsell, Furio 2 Hötzel Escardó, Martín 2 Iemhoff, Rosalie 2 Jaspars, Jan O. M. 2 Kamareddine, Fairouz D. 2 Kechris, Alexander S. 2 Kirst, Dominik 2 Klin, Bartek 2 Levy, Paul Blain 2 Lisitsa, Alexei P. 2 Litak, Tadeusz 2 Luo, Zhaohui ...and 382 more Authors all top 5 Cited in 89 Serials 70 Annals of Pure and Applied Logic 53 Theoretical Computer Science 19 Archive for Mathematical Logic 16 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 10 Journal of Automated Reasoning 9 Studia Logica 9 Synthese 8 International Journal of General Systems 8 Mathematical Logic Quarterly (MLQ) 7 Cybernetics and Systems 5 Journal of Information & Optimization Sciences 5 The Bulletin of Symbolic Logic 5 The Journal of Logic and Algebraic Programming 5 Journal of Applied Logic 4 Transactions of the American Mathematical Society 4 Communications in Statistics. Theory and Methods 4 Journal of Logic, Language and Information 4 RAIRO. Theoretical Informatics and Applications 4 The Review of Symbolic Logic 3 Information Processing Letters 3 Journal of Pure and Applied Algebra 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 Journal of Computer and System Sciences 2 Topology and its Applications 2 Formal Aspects of Computing 2 Indagationes Mathematicae. New Series 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 and Logic 1 BIT 1 Information Sciences 1 International Journal of Mathematics and Mathematical Sciences 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 Applied Categorical Structures 1 Journal of Functional Programming 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 326 Mathematical logic and foundations (03-XX) 187 Computer science (68-XX) 100 Category theory; homological algebra (18-XX) 31 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 Quantum theory (81-XX) 5 History and biography (01-XX) 5 Number theory (11-XX) 5 Commutative algebra (13-XX) 5 Functional analysis (46-XX) 5 Biology and other natural sciences (92-XX) 5 Systems theory; control (93-XX) 4 Algebraic topology (55-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 Difference and functional equations (39-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-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.