✦ LIBER ✦

Transfer principles in nonstandard intuitionistic arithmetic

✍ Scribed by J. Avigad; J. Helzner

Book ID: 105842643
Publisher: Springer
Year: 2002
Tongue: English
Weight: 172 KB
Volume: 41
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530100109

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Addition in Nonstandard Models of Arithm

Addition in Nonstandard Models of Arithmetic

✍ R. Phillips 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 244 KB

Combinatorial principles in nonstandard

Combinatorial principles in nonstandard analysis

✍ Mauro Di Nasso; Karel Hrbacek 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 279 KB

We study combinatorial principles related to the isomorphism property and the special model axiom in nonstandard analysis.

Independence problems in subsystems of i

Independence problems in subsystems of intuitionistic arithmetic

✍ D. van Dalen; C.E. Gordon 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 431 KB

Notions of Realizability for Intuitionis

Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types.by A. S. Troelstra; J. E. Fenstad

✍ Review by: C. Smorynski 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 85 KB

Polynomial induction and length minimiza

Polynomial induction and length minimization in intuitionistic bounded arithmetic

✍ Morteza Moniri 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 80 KB

## Abstract It is shown that the feasibly constructive arithmetic theory IPV does not prove (double negation of) LMIN(NP), unless the polynomial hierarchy CPV‐provably collapses. It is proved that PV plus (double negation of) LMIN(NP) intuitionistically proves PIND(coNP). It is observed that PV + P

Nonstandard models that are definable in

Nonstandard models that are definable in models of Peano Arithmetic

✍ Kazuma Ikeda; Akito Tsuboi 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

## Abstract In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model __N__ without parameters in a model __M__, we show that __N__ is isomorphic to __M__ if __M__ is elementary extension of the standard model and __N__ is elementarily equivalen