Sciweavers

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