arXiv Open Access 2018

Possible Worlds, Incompleteness and Undefinability

Christopher F. S. Maligec

Lihat Sumber

Abstrak

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

Topik & Kata Kunci

math.LO

Penulis (1)

Christopher F. S. Maligec

Format Sitasi

APA MLA BibTeX

Maligec, C.F.S. (2018). Possible Worlds, Incompleteness and Undefinability. https://arxiv.org/abs/1805.08209

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓