A Property of 2‐Sorted Peano Models and Program Verification

&
Mathematical Logic Quarterly 30 (19-24):325-334 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840301907

Links

PhilArchive



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

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 property of 2‐sorted peano models and program verification.L. Csirmaz & J. B. Paris - 1984 - Mathematical Logic Quarterly 30 (19‐24):325-334.
Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics.Balázs Biró & Ildikó Sain - 1993 - Annals of Pure and Applied Logic 63 (3):201-225.
Kirby L. A. S. and Paris J. B.. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by Lachlan A., Srebrny M., and Zarach A., Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226.Paris J. B.. Some independence results for Peano arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Mathematical Logic Quarterly 38 (1):59-84.
The Recursively Saturated Part of Models of Peano Arithmetic.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (19‐24):365-370.
Substructure lattices and almost minimal end extensions of models of Peano arithmetic.James H. Schmerl - 2004 - Mathematical Logic Quarterly 50 (6):533-539.
Many-sorted Logic and Its Applications.K. Meinke & J. V. Tucker - 1993 - Wiley.
Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.
Review: J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, A Hierarchy of Cuts in Models of Arithmetic; George Mills, A Tree Analysis of Unprovable Combinatorial Statements; Jussi Ketonen, Robert Solovay, Rapidly Growing Ramsey Functions. [REVIEW]A. J. Wilkie - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.

Analytics

Added to PP
2015-12-02

Downloads
24 (#646,352)

6 months
6 (#700,872)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Paris
University of Manchester

Citations of this work

No citations found.

Add more citations

References found in this work

First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Mathematical Theory of Computation.Zohar Manna - 1979 - Journal of Symbolic Logic 44 (1):122-124.

Add more references