✦ LIBER ✦

Epistemic entrenchment and arithmetical hierarchy

✍ Scribed by Petr Hájek

Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 28 KB
Volume: 65
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(94)90042-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Epistemic entrenchment and arithmetical

Epistemic entrenchment and arithmetical hierarchy

✍ Petr Hájek 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 467 KB

Hfijek, P., Epistemic entrenchment and arithmetical hierarchy (Research Note), Artificial Intelligence 62 (1993) 79-87. If the underlying theory is sufficiently rich (e.g. like first-order arithmetic), then no epistemic entrenchment preorder of sentences is recursively enumerable. Consequently, the

The Arithmetical Hierarchy of Real Numbe

The Arithmetical Hierarchy of Real Numbers

✍ Xizhong Zheng; Klaus Weihrauch 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 225 KB 👁 1 views