Wolfgang Degen

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

Coauthor Index

1	Barbara Heller	[4]
2	Heinrich Herre	[4]
3	Jan Johannsen	[2]
4	Barry Smith	[4]

Colors in the list of coauthors