Pages that link to "Item:Q5066800"
From MaRDI portal
The following pages link to ‘Sometime a paradox’, now proof: Yablo is not first order (Q5066800):
Displaying 5 items.
- Gödelizing the Yablo sequence (Q381006) (← links)
- Yablifying the Rosser sentence (Q484179) (← links)
- Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
- Yablo's paradox in second-order languages: consistency and unsatisfiability (Q2377057) (← links)
- Yablo's paradox and the omitting types theorem for propositional languages (Q2904132) (← links)