Wolfgang Degen

According to our database, Wolfgang Degen authored at least 5 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Factors of Functions, AC and Recursive Analogues.

Wolfgang Degen

Math. Log. Q., 2002

2001

Rigid Unary Functions and the Axiom of Choice.

Wolfgang Degen

Math. Log. Q., 2001

GOL: toward an axiomatized upper-level ontology.

Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

2000

Cumulative Higher-Order Logic as a Foundation for Set Theory.

Wolfgang Degen, Jan Johannsen

Math. Log. Q., 2000

Pigeonhole and Choice Principles.

Wolfgang Degen

Math. Log. Q., 2000