✦ LIBER ✦

Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic

✍ Scribed by Nicolas D. Goodman

Book ID: 115439718
Publisher: Association for Symbolic Logic
Year: 1984
Tongue: English
Weight: 233 KB
Volume: 49
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2274102

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Conservative extensions of models of ari

Conservative extensions of models of arithmetic

✍ Blass, Andreas 📂 Article 📅 1980 🏛 Springer-Verlag ⚖ 566 KB

A generalization of a conservativity the

A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

✍ Stefano Berardi 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 124 KB

## Abstract A basic result in intuitionism is Π^0^~2~‐conservativity. Take any proof __p__ in classical arithmetic of some Π^0^~2~‐statement (some arithmetical statement ∀__x__.∃__y__.__P__(__x, y__), with __P__ decidable). Then we may effectively turn __p__ in some intuitionistic proof of the same

Special instances of generalized continu

Special instances of generalized continuity which are conservative over intuitionistic arithmetic

✍ A.S Troelstra 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 527 KB

In this note it is shown that the addition of certain instances of the schema of generalized continuity to intuitionistic elementary analysis is conservative with respect to arithmetical sentences.

A formal system of negationless arithmet

A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic

✍ V. N. Krivtsov 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 514 KB

A standard model of Peano arithmetic wit

A standard model of Peano arithmetic with no conservative elementary extension

✍ Ali Enayat 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 723 KB

A VERSION OF KRIPKE-PLATEK SET THEORY WH

A VERSION OF KRIPKE-PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC

✍ Gerhard Jäger 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 346 KB