Talk:First-order reduction

From Wikipedia, the free encyclopedia

"Since we have \mbox{FO} \subsetneq \mbox{L}, the first-order reductions are weaker reductions than the logspace reductions."

This contradicts the article on ST-connectivity which states that log-space reductions are weaker. Which is correct? --74.194.27.5 (talk) 13:47, 16 December 2007 (UTC)