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

Mathematical Logic Quarterly 33 (6):481-483 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330602

Other Versions

reprint Garro, Ibrahim (1987) "Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33(6):481-483

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the structure of initial segments of models of arithmetic.Jan Krajíček & Pavel Pudlák - 1989 - Archive for Mathematical Logic 28 (2):91-98.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.
Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Mathematical Logic Quarterly 38 (1):59-84.
On Automorphisms of Resplendent Models of Arithmetic.Zofia Seremet - 1984 - Mathematical Logic Quarterly 30 (19-24):349-352.
Neutrally expandable models of arithmetic.Athar Abdul‐Quader & Roman Kossak - 2019 - Mathematical Logic Quarterly 65 (2):212-217.
Arithmetic of Divisibility in Finite Models.Andrzej Mostowski - 2004 - Mathematical Logic Quarterly 50:169-174.
Addition in nonstandard models of arithmetic.R. Phillips - 1972 - Journal of Symbolic Logic 37 (3):483-486.

Analytics

Added to PP
2013-12-01

Downloads
20 (#1,038,527)

6 months
1 (#1,886,937)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references