✦ LIBER ✦

Definable sets and expansions of models of Peano arithmetic

✍ Scribed by Roman Murawski

Publisher: Springer
Year: 1988
Tongue: English
Weight: 700 KB
Volume: 27
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01625830

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Appendix to the paper “Definable sets an

Appendix to the paper “Definable sets and expansions of models of Peano arithmetic”

✍ Roman Murawski 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 95 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

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. I

✍ Roman Murawski 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 562 KB

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. II

✍ Roman Murawski 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 584 KB

On expandability of models of Peano arit

On expandability of models of Peano arithmetic. III

✍ Roman Murawski 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 349 KB

Interstitial and pseudo gaps in models o

Interstitial and pseudo gaps in models of Peano Arithmetic

✍ Ermek S. Nurkhaidarov 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 111 KB 👁 1 views

In this paper we study the automorphism groups of models of Peano Arithmetic. Kossak, Kotlarski, and Schmerl [9] shows that the stabilizer of an unbounded element a of a countable recursively saturated model of Peano Arithmetic M is a maximal subgroup of Aut(M ) if and only if the type of a is selec