A note on exponentiation

&
Journal of Symbolic Logic 58 (1):64-71 (1993)
  Copy   BIBTEX

Abstract

We study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom ∀ x, y∃ z (z = xy)

Categories

Keywords

Reprint years

DOI

10.2307/2275324

Links

PhilArchive



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

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 Note on Comparative Probability.Nick Haverkamp & Moritz Schulz - 2012 - Erkenntnis 76 (3):395-402.
A note on cardinal exponentiation.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (1):56-66.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Quadratic Axioms.Harvey M. Friedman - unknown
Negation and exponentiation.C. J. F. Williams - 1989 - Mind 98 (391):427-428.
On complex exponentiation restricted to the integers.Carlo Toffalori & Kathryn Vozoris - 2010 - Journal of Symbolic Logic 75 (3):955-970.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Note on an induction axiom.J. B. Paris - 1978 - Journal of Symbolic Logic 43 (1):113-117.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.

Analytics

Added to PP
2009-01-28

Downloads
25 (#635,157)

6 months
3 (#981,027)

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

Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
The Pigeonhole Principle and Fragments of Arithmetic.C. Dimitracopoulos & J. Paris - 1986 - Mathematical Logic Quarterly 32 (1-5):73-80.

Add more references