| |
| 2006 | ||
|---|---|---|
| 2 | EE | Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006) |
| 2002 | ||
| 1 | Laura Crosilla, Michael Rathjen: Inaccessible set axions may have little consistency strength. Ann. Pure Appl. Logic 115(1-3): 33-70 (2002) | |
| 1 | Peter Aczel | [2] |
| 2 | Hajime Ishihara | [2] |
| 3 | Erik Palmgren | [2] |
| 4 | Michael Rathjen | [1] |
| 5 | Peter Schuster | [2] |