The complexity of quickly decidable ORM-decidable sets Posted on September 25, 2011 by Joel David Hamkins Reply