Wolfgang Degen

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

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