Local Behaviour of the Chebyshev Theorem in Models of $I\Delta_0$

Journal of Symbolic Logic 57 (1):12-27 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275173

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

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

Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.
Solving Pell Equations Locally in Models of I$Delta_0$.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402-410.
Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic.Victor Pambuccian - 2015 - Mathematical Logic Quarterly 61 (3):230-235.
Non-Local Realistic Theories and the Scope of the Bell Theorem.Federico Laudisa - 2008 - Foundations of Physics 38 (12):1110-1132.
The Conway-Kochen Argument and Relativistic GRW Models.Angelo Bassi & GianCarlo Ghirardi - 2007 - Foundations of Physics 37 (2):169-185.
An Algebraic Characterization of Equivalent Preferential Models.Zhaohui Zhu & Rong Zhang - 2007 - Journal of Symbolic Logic 72 (3):803 - 833.
Bell’s Theorem without Inequalities and without Unspeakable Information.Adán Cabello - 2005 - Foundations of Physics 35 (11):1927-1934.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Uncountable categoricity of local abstract elementary classes with amalgamation.John T. Baldwin & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 143 (1-3):29-42.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
The spectrum of resplendency.John T. Baldwin - 1990 - Journal of Symbolic Logic 55 (2):626-636.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
Against 'Realism'.Travis Norsen - 2007 - Foundations of Physics 37 (3):311-340.
A Separable, Dynamically Local Ontological Model of Quantum Mechanics.Jacques Pienaar - 2016 - Foundations of Physics 46 (1):104-119.
Local Causality and Completeness: Bell vs. Jarrett. [REVIEW]Travis Norsen - 2009 - Foundations of Physics 39 (3):273-294.

Analytics

Added to PP
2016-06-30

Downloads
27 (#594,564)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Iterated multiplication in $$ VTC ^0$$.Emil Jeřábek - forthcoming - Archive for Mathematical Logic.
< i> Δ< sub> 0-complexity of the relation< i> y_=< i> Π_< sub> i⩽ n< i> F_(< i> i).Alessandro Berarducci & Paola D'Aquino - 1995 - Annals of Pure and Applied Logic 75 (1):49-56.

View all 10 citations / 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.

Add more references