✦ LIBER ✦

Nonstandard arithmetic of Hilbert subsets

✍ Scribed by Masahiro Yasumoto

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 523 KB
Volume: 52
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(91)90046-o

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hilbert irreducibility sequences and non

Hilbert irreducibility sequences and nonstandard arithmetic

✍ M. Yasumoto 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 511 KB

Hilbert Modular Threefolds of Arithmetic

Hilbert Modular Threefolds of Arithmetic Genus One

✍ H.G. Grundman; L.E. Lippincott 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 88 KB

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

Hilbert's tenth problem for weak theorie

Hilbert's tenth problem for weak theories of arithmetic

✍ Richard Kaye 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 779 KB

Infinite-dimensional manifolds are open

Infinite-dimensional manifolds are open subsets of hilbert space

✍ David W. Henderson 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 479 KB

Nonstandard Models for a Fragment of the

Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem

✍ Ibrahim Garro 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 147 KB 👁 1 views