P
Peter Aczel
Researcher at University of Manchester
Publications - 45
Citations - 3133
Peter Aczel is an academic researcher from University of Manchester. The author has contributed to research in topics: Constructive set theory & Type theory. The author has an hindex of 19, co-authored 45 publications receiving 3028 citations. Previous affiliations of Peter Aczel include University of Oxford.
Papers
More filters
Book
Non-well-founded sets
TL;DR: If the lesson of the paradoxes of set theory is that a predicate need no more have a set as extension than the name "Santa Claus" need denote someone, then perhaps the lessons of the liar paradox is that nothing answers to a liar sentence.
Book ChapterDOI
An Introduction to Inductive Definitions
TL;DR: This chapter discusses monotone induction and its role in extensions of recursion theory and briefly considers inductive definitions in a more general context.
Book ChapterDOI
A Final Coalgebra Theorem
Peter Aczel,Nax Paul Mendler +1 more
TL;DR: It is proved that every set-based functor on the category of classes has a final coal algebra, which strengthens the final coalgebra theorem announced in the book “Non-well-founded Sets”, by the first author.
Book ChapterDOI
The Type Theoretic Interpretation of Constructive Set Theory
TL;DR: In this paper, a constructive interpretation of constructive set theory is given, which is a constructive version of the classical notion of the cumulative hierarchy of sets, and is based on Martin-LSf's intuitionistic theory of types.
Book ChapterDOI
Frege Structures and the notions of proposition, truth and set
TL;DR: The notion of Frege structure is introduced and shown to give a coherent context for the rigorous development of the Frege's logical notion of set and an explanation of Russell's paradox.