×

Aczel, Peter (b. 1941 d. 2023)

Author ID: aczel.peter Recent zbMATH articles by "Aczel, Peter"
Published as: Aczel, Peter; Aczel, P.; Aczel, P. H. G.
Further Spellings: Aczel, Peter Henry George
Homepage: http://www.cs.man.ac.uk/~petera/
External Links: MGP · Wikidata · ResearchGate · dblp · GND · IdRef
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

Publications by Year

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 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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.