A Model of $\widehat{R}^2_3$ inside a Subexponential Time Resource

Notre Dame Journal of Formal Logic 39 (3):307-324 (1998)
  Copy   BIBTEX

Abstract

Using nonstandard methods we construct a model of an induction scheme called inside a "resource" of the form is a Turing machine of code is calculated in less than , where means the length of the binary expansion of and are nonstandard parameters in a model of . As a consequence we obtain a model theoretic proof of a witnessing theorem for this theory by functions computable in time , a result first obtained by Buss, Krajícek, and Takeuti using proof theory

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039182248

Links

PhilArchive



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

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

On the relationships between ATR0 and $\widehat{ID}_{.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768 - 779.
On the Relationships between $ATR0$ And $\widehat{ID}{< \omega}$.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (2):768-779.
On the Relationship Between ID^_.Jeremy Avigad - unknown
Fixed point theories and dependent choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
Isomorphisms of splits of computably enumerable sets.Peter A. Cholak & Leo A. Harrington - 2003 - Journal of Symbolic Logic 68 (3):1044-1064.
Effects of density dependent migrations on the dynamics of a predator prey model.Rachid Mchich, Amal Bergam & Nadia Raïssi - 2005 - Acta Biotheoretica 53 (4):331-340.
On essentially low, canonically well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2002 - Journal of Symbolic Logic 67 (1):369-396.
An Integrated Working Memory Model for Time‐Based Resource‐Sharing.Joseph J. Glavan & Joseph W. Houpt - 2019 - Topics in Cognitive Science 11 (1):261-276.
The Carcinogenic Example.William Mitchell - 1997 - Logic Journal of the IGPL 5 (6):795-810.
The proof-theoretic analysis of transfinitely iterated fixed point theories.Gerhard JÄger, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
A Bioeconomic Model of a Multi-site Fishery with Nonlinear Demand Function: Number of Sites Optimizing the Total Catch.Sidy Ly, Pierre Auger & Moussa Balde - 2014 - Acta Biotheoretica 62 (3):371-384.
Feminism and rethinking our models of the self.Johanna Meehan - 2017 - Philosophy and Social Criticism 43 (1):3-33.
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.Gerhard Jager, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
A Mathematical Model of a Fishery with Variable Market Price: Sustainable Fishery/over-exploitation.Fulgence Mansal, Tri Nguyen-Huu, Pierre Auger & Moussa Balde - 2014 - Acta Biotheoretica 62 (3):305-323.
Intensification, Tipping Points, and Social Change in a Coupled Forager-Resource System.Jacob Freeman & John M. Anderies - 2012 - Human Nature 23 (4):419-446.

Analytics

Added to PP
2010-08-24

Downloads
32 (#499,655)

6 months
1 (#1,471,470)

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

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
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.
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.
Relating the bounded arithmetic and polynomial time hierarchies.Samuel R. Buss - 1995 - Annals of Pure and Applied Logic 75 (1-2):67-77.
Arithmetizing Uniform NC.Bill Allen - 1991 - Annals of Pure and Applied Logic 53 (1):1-50.

View all 7 references / Add more references