๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On LP-Models of Arithmetic

โœ Scribed by J. B. Paris and A. Sirokofskich

Book ID
121846248
Publisher
Association for Symbolic Logic
Year
2008
Tongue
English
Weight
978 KB
Volume
73
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On LP-models of arithmetic
On LP-models of arithmetic
โœ Paris, J. B.; Sirokofskich, A. ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 159 KB
ON AUTOMORPHISMS OF RESPLENDENT MODELS O
ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
โœ Zofia Seremet ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 225 KB

In this paper we show theorems concerning automorphisms of models of Peano Arithmetic. These results were obtained by KOTLARSKI [ 2 ] , 5 4 (as K~TLARSKI informed the author, at least part of these results were obtained by ALENA VENCOVSKA (unpublished) and CRAIG SMORYNSKI [4]). KoTLARbKI asked the a

Arithmetic Fuzzy Models
Arithmetic Fuzzy Models
โœ Stepnicka, M.; De Baets, B.; Noskova, L. ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› IEEE ๐ŸŒ English โš– 493 KB
On Interstices of Countable Arithmetical
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
โœ Nicholas Bamber; Henryk Kotlarski ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 887 KB

## Abstract We give some information about the action of Aut(M) on M(0), where M is a countable arithmetically saturated model of Peano Arithmetic. We concentrate on analogues of moving gaps and covering gaps inside M(0).