Bueno and Colyvan on Yablo's paradox

In combination with the local disquotation principle, the list of Yablo biconditionals is not formally paradoxical, but rather ω-paradoxical. It is unsatisfiable on (any expansion of) the standard model N of arithmetic. This is the most that any formal proof related to Yablo's paradox can estab...