A priori Knowledge and the Kochen-Specker Theorem
  We introduce and formalize a notion of "a priori knowledge" about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study. This version is a draft version, the bibliography in particular is extremely scarce. Comments welcome. 
Olivier Brunet (Leibniz - IMAG)