Sciweavers

APAL
2010
93views more  APAL 2010»
14 years 18 days ago
A measure-theoretic proof of Turing incomparability
We prove that if S is an -model of weak weak K
Chris J. Conidis