The Recursively Saturated Part of Models of Peano Arithmetic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):365-370 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860321910

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

The Recursively Saturated Part of Models of Peano Arithmetic.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (19‐24):365-370.
Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):59-84.
Recursively Enumerable Images of Arithmetic Sets.Richard Rosenberg - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):189-201.
Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):317-333.
A Reflection Property for Saturated Models.Jerrold M. Gold - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):425-430.
Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem.Ibrahim Garro - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):481-483.
Recursively Enumerable L‐Sets.Loredana Biacino & Giangiacomo Gerla - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):107-113.
Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (31):481-490.
Saturated Ideals Need Not bep-points.Chris A. Johnson - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (31-34):521-522.
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets.Manuel Lerman - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):331-342.

Analytics

Added to PP
2015-12-02

Downloads
26 (#597,650)

6 months
7 (#592,566)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references