On expandability of models of Peano arithmetic. III

Studia Logica 36 (3):181-188 (1977)
  Copy   BIBTEX

Abstract

Already after sending the first two parts of this paper ([5], [6]) to the editor, two new results on the subject have appeared — namely the results of G. Wilmers and Z. Ratajczyk. So for the sake of completeness let us review them here.

Categories

Keywords

Reprint years

DOI

10.1007/bf02121264

Links

PhilArchive



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

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

A correction to the paper “on expandability of models of peano arithmetic. I”.Roman Murawski - 1977 - Studia Logica 36 (3):237-237.
On expandability of models of Peano arithmetic. I.Roman Murawski - 1976 - Studia Logica 35 (4):409-419.
A Correction to the Ppaer "On Expandability of Models of Peano Arithmetic. I" Studia Logica 35 (1976), pp. 409-419.Roman Murawski - 1977 - Studia Logica 36 (3):237 -.
On expandability of models of Peano arithmetic. II.Roman Murawski - 1976 - Studia Logica 35 (4):421-431.
A modal sequent calculus for a fragment of arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Presuppositional completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
On the set of ‘Meaningful’ sentences of arithmetic.Aldo Ursini - 1978 - Studia Logica 37 (3):237-241.
On the set of 'meaningful' sentences of arithmetic.Aldo Ursini - 1978 - Studia Logica 37 (3):237 - 241.
On Models Constructed by Means of the Arithmetized Completeness Theorem.Richard Kaye & Henryk Kotlarski - 2000 - Mathematical Logic Quarterly 46 (4):505-516.

Analytics

Added to PP
2009-01-28

Downloads
12 (#1,092,892)

6 months
3 (#1,207,367)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Set theory with a Filter quantifier.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (2):263-287.
Some More Remarks on Expandability of Initial Segments.Roman Murawski - 1986 - Mathematical Logic Quarterly 32 (25-30):445-450.

Add more citations

References found in this work

Axiomatizability by a schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.

Add more references