Models of arithmetic and categories with finiteness conditions

&
Annals of Pure and Applied Logic 35 (C):123-148 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90059-5

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

Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.
Fixed points of self-embeddings of models of arithmetic.Saeideh Bahrami & Ali Enayat - 2018 - Annals of Pure and Applied Logic 169 (6):487-513.
Saturation and simple extensions of models of peano arithmetic.Matt Kaufmann & James H. Schmerl - 1984 - Annals of Pure and Applied Logic 27 (2):109-136.
Realizability for Peano arithmetic with winning conditions in HON games.Valentin Blot - 2017 - Annals of Pure and Applied Logic 168 (2):254-277.
Unprovability of consistency statements in fragments of bounded arithmetic.Samuel R. Buss & Aleksandar Ignjatović - 1995 - Annals of Pure and Applied Logic 74 (3):221-244.
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.
Recursive properties of relations on models.Geoffrey R. Hird - 1993 - Annals of Pure and Applied Logic 63 (3):241-269.
Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]. [REVIEW]Arnold Beckmann, Samuel R. Buss & Chris Pollett - 2003 - Annals of Pure and Applied Logic 123 (1-3):291.
Transductions in arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.
The notion of independence in categories of algebraic structures, part II: S-minimal extensions.Gabriel Srour - 1988 - Annals of Pure and Applied Logic 39 (1):55-73.

Analytics

Added to PP
2014-01-16

Downloads
28 (#557,911)

6 months
9 (#436,631)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.

Add more citations

References found in this work

On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.

Add more references