< previous issue
next issue >
Well-ordering proofs for Martin-Lof type theory
Is there a set of reals not in K(R)?
Choice principles in hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35-52
Forti M.; Honsell F.
Arity and alternation in second-order logic
Makowsky J.A.; Pnueli Y.B.
Here are a few pages on the site that we think you may find useful: