A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Aczel, Peter, A Natural Interpretation of Schutte's System $\Sigma(N)$ of Ordinal Notations
Aczel, Peter, A New Approach to the Bachmann Method for Describing Countable Ordinals
Aczel, Peter, An Axiomatic Approach to Recursion on Admissible Ordinals and the Kreisel-Sacks Construction of Meta-Recursion Theory
Aczel, Peter, Infinitary Logic and the Barwise Compactness Theorem
Aczel, Peter, Non-Well-Founded Sets
Aczel, Peter, Quantifiers, Games, and Inductive Definitions
Aczel, Peter, Some Characterisations of |$\Sigma_1^1$|
Aczel, Peter, Some Characterisations of |$\Sigma_1^1$-mon|
Aczel, Peter, Some small large cardinals
Aczel, Peter, Stage Comparison Theorems and Game Playing with Inductive Definitions