Sciweavers

106
Voted
APAL
2010
93views more  APAL 2010»
15 years 1 months ago
A measure-theoretic proof of Turing incomparability
We prove that if S is an -model of weak weak K
Chris J. Conidis