Yablo's paradox, formalized as a monadic second-order sentence, is provably not equivalent to any first-order sentence or any first-order theory.
isbn: 9780199669608
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox
Yablo's paradox, formalized as a monadic second-order sentence, is provably not equivalent to any first-order sentence or any first-order theory.