arXiv Analytics

Sign in

arXiv:1805.08209 [math.LO]AbstractReferencesReviewsResources

Possible Worlds, Incompleteness and Undefinability

Christopher F. S. Maligec

Published 2018-05-20Version 1

This short squib looks at how using a broader definition of G\"odel numbering to mimic the accessibility relation between possible worlds results in two-world systems that sidestep undecidable sentences as well as the Liar paradox.

Comments: Seven page squib
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2401.10459 [math.LO] (Published 2024-01-19)
On the undefinability of pathological Banach spaces
arXiv:2307.06846 [math.LO] (Published 2023-07-13)
A note on the incompleteness of Afshari & Leigh's system Clo
arXiv:2209.11858 [math.LO] (Published 2022-09-23)
Undefinability of multiplication in Presburger arithmetic with sets of powers

Links

Toolbox