| |
| 1998 | ||
|---|---|---|
| 2 | Michael Rathjen, Edward R. Griffor, Erik Palmgren: Inaccessibility in Constructive Set Theory and Type Theory. Ann. Pure Appl. Logic 94(1-3): 181-200 (1998) | |
| 1984 | ||
| 1 | Edward R. Griffor, Dag Normann: The Definability of E(alpha). J. Symb. Log. 49(2): 437-442 (1984) | |
| 1 | Dag Normann | [1] |
| 2 | Erik Palmgren | [2] |
| 3 | Michael Rathjen | [2] |