1.1 Aims and motivation (1996)
unknown authors
http://www.math.uio.no/eprint/pure_math/1996/19-96.ps
Add To MetaCart
Abstract:
Continuity, proof systems and the of transfinite computations theory Dag Normann*
Citations
| 11 | A hierarchy of domains with totality but without density – Normann - 1996 |
| 7 | The next admissible set – Barwise, Gandy, et al. - 1971 |
| 1 | The Strength of Martin-Lb) Type Theories with Well-Ordering Types – Sci - 1986 |
| 1 | S.C. Kleene, Recursire functionals and quantifiers of finite types – Kreisel - 1978 |
