Models of replacement schemes

Archive for Mathematical Logic 44 (7):851-867 (2005)
  Copy   BIBTEX

Abstract

In the context of bounded arithmetic we consider some general replacement schemes and construct models for them. A new proof of a conservation result between and is derived

Categories

Keywords

Reprint years

DOI

10.1007/s00153-005-0274-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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 Theory of $\kappa$ -like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
A note on the schemes of replacement and collection.A. R. D. Mathias - 2007 - Archive for Mathematical Logic 46 (1):43-50.
Cover schemes, frame-valued sets and their potential uses in spacetime physics.John Bell - manuscript
Three models of conceptual schemes.Michael P. Lynch - 1997 - Inquiry: An Interdisciplinary Journal of Philosophy 40 (4):407 – 426.
Argumentation schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.
Advances in the Theory of Argumentation Schemes and Critical Questions.David Godden & Douglas Walton - 2007 - Informal Logic 27 (3):267-292.
From burgers to biodiversity? The McDonaldization of on-farm nature conservation in the UK.Carol Morris & Matt Reed - 2007 - Agriculture and Human Values 24 (2):207-218.
Rationality of beliefs and model consistency.Miroslav Misina - 2008 - Economics and Philosophy 24 (1):65-79.
Teleological Justification of Argumentation Schemes.Douglas Walton & Giovanni Sartor - 2013 - Argumentation 27 (2):111-142.
Dialectical argumentation with argumentation schemes: An approach to legal logic. [REVIEW]Bart Verheij - 2003 - Artificial Intelligence and Law 11 (2-3):167-195.
A note on a theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
Gene replacement therapy in the CNS: A view from the retina.Gail M. Seigel - 1995 - Behavioral and Brain Sciences 18 (1):69-69.
Using argument schemes for hypothetical reasoning in law.Trevor Bench-Capon & Henry Prakken - 2010 - Artificial Intelligence and Law 18 (2):153-174.

Analytics

Added to PP
2013-11-23

Downloads
26 (#592,813)

6 months
2 (#1,263,261)

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

Bounded arithmetic and the polynomial hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52 (1-2):143-153.
Structure and definability in general bounded arithmetic theories.Chris Pollett - 1999 - Annals of Pure and Applied Logic 100 (1-3):189-245.

Add more references