577:
718:
31:
752:
285:
757:
668:
672:
289:
772:
345:
140:
389:
361:
160:
552:
516:
480:
401:
96:
373:
180:
767:
431:
333:
211:
377:
175:
297:
747:
393:
and the
Cambridge Tracts in Theoretical Computer Science, having previously served on the editorial boards of the
444:
395:
353:
293:
150:
301:
104:
722:
762:
686:
742:
737:
329:
325:
135:
86:
369:
170:
365:
357:
349:
165:
155:
145:
122:
449:. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
443:
Moss, Lawrence S. (February 20, 2018). "Non-wellfounded Set Theory". In Zalta, Edward N. (ed.).
662:
548:
512:
476:
540:
504:
468:
317:
253:
206:
700:
384:
576:
467:. Studies in Logic and the Foundations of Mathematics. Vol. 90. pp. 739–201.
544:
539:. Studies in Logic and the Foundations of Mathematics. Vol. 101. pp. 31–32.
472:
731:
305:
100:
594:
753:
People associated with the
Department of Computer Science, University of Manchester
321:
276:; 31 October 1941 – 1 August 2023) was a British mathematician, logician and
427:
281:
30:
717:
535:(1980). "Frege Structures and the Notions of Proposition, Truth and Set".
277:
508:
190:
226:
503:. Lecture Notes in Computer Science. Vol. 389. p. 357.
649:
571:
567:
631:
268:
259:
35:
Peter Aczel (left) with
Michael Rathjen, Oberwolfach 2004
650:
612:
265:
262:
463:(1977). "An Introduction to Inductive Definitions".
499:; Mendler, N. (1989). "A final coalgebra theorem".
256:
221:
205:
189:
128:
118:
92:
82:
74:
59:
40:
21:
595:"Peter Aczel page the University of Manchester"
758:Institute for Advanced Study visiting scholars
356:. He has also held visiting positions at the
589:
587:
585:
344:After two years of visiting positions at the
8:
667:: CS1 maint: multiple names: authors list (
671:) CS1 maint: numeric names: authors list (
575:
423:
421:
29:
18:
701:"Fom - [FOM] Peter Aczel - arc"
446:The Stanford Encyclopedia of Philosophy
417:
689:– via www.journals.elsevier.com.
660:
617:(DPhil thesis). University of Oxford.
7:
651:"Notre Dame Journal of Formal Logic"
501:Category Theory and Computer Science
376:. He was a visiting scholar at the
773:Alumni of the University of Oxford
687:"Annals of Pure and Applied Logic"
655:Notre Dame Journal of Formal Logic
390:Notre Dame Journal of Formal Logic
362:California Institute of Technology
16:British mathematician and logician
14:
332:in 1966 under the supervision of
716:
402:Annals of Pure and Applied Logic
252:
352:, Aczel took a position at the
346:University of Wisconsin–Madison
196:Mathematical Problems in Logic
141:University of Wisconsin–Madison
614:Mathematical problems in logic
465:Handbook of Mathematical Logic
374:Indiana University Bloomington
296:. He is known for his work in
286:Department of Computer Science
181:Indiana University Bloomington
1:
545:10.1016/S0049-237X(08)71252-7
473:10.1016/S0049-237X(08)71120-0
432:Mathematics Genealogy Project
97:Aczel's anti-foundation axiom
636:Institute for Advanced Study
378:Institute for Advanced Study
176:Institute for Advanced Study
298:non-well-founded set theory
789:
408:He died on 1 August 2023.
396:Journal of Symbolic Logic
217:
111:
28:
354:University of Manchester
294:University of Manchester
248:Peter Henry George Aczel
151:University of Manchester
45:Peter Henry George Aczel
620:(subscription required)
302:constructive set theory
105:Constructive set theory
324:in 1963 followed by a
725:at Wikimedia Commons
290:School of Mathematics
212:John Newsome Crossley
768:British philosophers
574:Bibliography Server
537:The Kleene Symposium
330:University of Oxford
316:Aczel completed his
136:University of Oxford
87:University of Oxford
370:Stanford University
340:Career and research
171:Stanford University
509:10.1007/BFb0018361
366:Utrecht University
358:University of Oslo
350:Rutgers University
166:Utrecht University
156:University of Oslo
146:Rutgers University
123:Mathematical logic
748:British logicians
721:Media related to
638:. 14 August 2015.
383:Aczel was on the
245:
244:
113:Scientific career
780:
720:
705:
704:
697:
691:
690:
683:
677:
676:
666:
658:
646:
640:
639:
628:
622:
621:
618:
605:
599:
598:
591:
580:
579:
565:
559:
558:
529:
523:
522:
493:
487:
486:
457:
451:
450:
440:
434:
425:
318:Bachelor of Arts
275:
274:
271:
270:
267:
264:
261:
258:
241:
238:
236:
234:
232:
230:
228:
207:Doctoral advisor
201:
69:
67:
54:
52:
33:
19:
788:
787:
783:
782:
781:
779:
778:
777:
728:
727:
714:
709:
708:
699:
698:
694:
685:
684:
680:
659:
648:
647:
643:
630:
629:
625:
619:
607:
606:
602:
593:
592:
583:
566:
562:
555:
531:
530:
526:
519:
495:
494:
490:
483:
459:
458:
454:
442:
441:
437:
426:
419:
414:
385:editorial board
342:
314:
255:
251:
225:
199:
185:
103:
99:
83:Alma mater
65:
63:
55:31 October 1941
50:
48:
47:
46:
36:
24:
17:
12:
11:
5:
786:
784:
776:
775:
770:
765:
760:
755:
750:
745:
740:
730:
729:
713:
712:External links
710:
707:
706:
692:
678:
641:
623:
600:
581:
560:
553:
524:
517:
488:
481:
452:
435:
416:
415:
413:
410:
341:
338:
313:
310:
243:
242:
223:
219:
218:
215:
214:
209:
203:
202:
193:
187:
186:
184:
183:
178:
173:
168:
163:
158:
153:
148:
143:
138:
132:
130:
126:
125:
120:
116:
115:
109:
108:
101:Reflexive sets
94:
93:Known for
90:
89:
84:
80:
79:
76:
72:
71:
61:
57:
56:
44:
42:
38:
37:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
785:
774:
771:
769:
766:
764:
763:Set theorists
761:
759:
756:
754:
751:
749:
746:
744:
741:
739:
736:
735:
733:
726:
724:
719:
711:
702:
696:
693:
688:
682:
679:
674:
670:
664:
656:
652:
645:
642:
637:
633:
627:
624:
616:
615:
610:
604:
601:
596:
590:
588:
586:
582:
578:
573:
569:
564:
561:
556:
554:9780444853455
550:
546:
542:
538:
534:
528:
525:
520:
518:3-540-51662-X
514:
510:
506:
502:
498:
492:
489:
484:
482:9780444863881
478:
474:
470:
466:
462:
456:
453:
448:
447:
439:
436:
433:
429:
424:
422:
418:
411:
409:
406:
404:
403:
398:
397:
392:
391:
386:
381:
379:
375:
371:
367:
363:
359:
355:
351:
347:
339:
337:
335:
334:John Crossley
331:
327:
323:
319:
311:
309:
307:
303:
299:
295:
291:
287:
283:
279:
273:
249:
240:
224:
220:
216:
213:
210:
208:
204:
197:
194:
192:
188:
182:
179:
177:
174:
172:
169:
167:
164:
162:
159:
157:
154:
152:
149:
147:
144:
142:
139:
137:
134:
133:
131:
127:
124:
121:
117:
114:
110:
106:
102:
98:
95:
91:
88:
85:
81:
77:
73:
70:1 August 2023
62:
58:
43:
39:
32:
27:
20:
715:
695:
681:
654:
644:
635:
626:
613:
609:Aczel, Peter
608:
603:
563:
536:
532:
527:
500:
496:
491:
464:
460:
455:
445:
438:
407:
400:
394:
388:
382:
343:
315:
308:structures.
247:
246:
195:
129:Institutions
112:
743:2023 deaths
738:1941 births
723:Peter Aczel
568:Peter Aczel
428:Peter Aczel
322:Mathematics
75:Nationality
23:Peter Aczel
732:Categories
632:"Scholars"
412:References
66:2023-08-01
51:1941-10-31
533:Aczel, P.
497:Aczel, P.
461:Aczel, P.
380:in 2012.
312:Education
282:Professor
663:cite web
611:(1966).
399:and the
288:and the
278:Emeritus
237:/~petera
430:at the
387:of the
372:, and
328:at the
292:at the
284:in the
222:Website
161:Caltech
78:British
551:
515:
479:
304:, and
280:joint
200:(1967)
198:
191:Thesis
119:Fields
326:DPhil
306:Frege
107:(CZF)
673:link
669:link
572:DBLP
549:ISBN
513:ISBN
477:ISBN
348:and
231:.man
60:Died
41:Born
570:at
541:doi
505:doi
469:doi
320:in
235:.uk
233:.ac
229:.cs
227:www
734::
665:}}
661:{{
653:.
634:.
584:^
547:.
511:.
475:.
420:^
405:.
368:,
364:,
360:,
336:.
300:,
269:əl
703:.
675:)
657:.
597:.
557:.
543::
521:.
507::
485:.
471::
272:/
266:s
263:k
260:æ
257:ˈ
254:/
250:(
239:/
68:)
64:(
53:)
49:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
