Disciplines
Computer Sciences (10%); Mathematics (80%); Philosophy, Ethics, Religion (10%)
Keywords
Reverse Mathematics,
Forcing,
Constraint Satisfaction Problem,
Large Cardinal,
Computability Theory,
Gödel'S Incompleteness Theorem
-
Laura Kovacs
consortium member
-
Michael Pinsker
consortium member
-
Vera Fischer
consortium member
-
Georg Schiemer
consortium member
-
Juan P. Aguilera
principal investigator
-
Sandra Müller
consortium member