| 2002 | ||
|---|---|---|
| 5 | Wolfgang Degen: Factors of Functions, AC and Recursive Analogues. Math. Log. Q. 48(1): 73-86 (2002) | |
| 2001 | ||
| 4 | Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith: GOL: toward an axiomatized upper-level ontology. FOIS 2001: 34-46 | |
| 3 | Wolfgang Degen: Rigid Unary Functions and the Axiom of Choice. Math. Log. Q. 47(2): 197-204 (2001) | |
| 2000 | ||
| 2 | Wolfgang Degen, Jan Johannsen: Cumulative Higher-Order Logic as a Foundation for Set Theory. Math. Log. Q. 46(2): 147-170 (2000) | |
| 1 | Wolfgang Degen: Pigeonhole and Choice Principles. Math. Log. Q. 46(3): 313-334 (2000) | |
| 1 | Barbara Heller | [4] |
| 2 | Heinrich Herre | [4] |
| 3 | Jan Johannsen | [2] |
| 4 | Barry Smith | [4] |