Mitsuru Tada and Makoto Tatsuta. The function ⌊a/m⌋ in sharply bounded arithmetic. Archive for mathematical logic, vol. 37 no. 1 , pp. 51–57 [Book Review]

Bulletin of Symbolic Logic 7 (3):391-391 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600005722

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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 Remark on Independence Results for Sharply Bounded Arithmetic.Jan Johannsen - 1998 - Mathematical Logic Quarterly 44 (4):568-570.
Logic and computation, Proceedings of a workshop held at Carnegie Mellon University, June 30–July 2, 1987, edited by Wilfried Sieg, Contemporary Mathematics, vol. 106, American Mathematical Society, Providence1990, xiv + 297 pp. - Douglas K. Brown. Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and orderings of countable abelian groups. Pp. 177–180. - Jeffry L. Hirst. Marriage theorems and reverse mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym theorem is equivalent to arithmetical comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial time computable arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A note on polynomial time computable arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and conservation results for fragments of bounded arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply bounded arithmetic and the function a – 1. Pp. 2. [REVIEW]Jörg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
The Function $\lfloor a/m \rfloor$ in Sharply Bounded Arithmetic.Mitsuru Tada & Makoto Tatsuta - 2001 - Bulletin of Symbolic Logic 7 (3):391-391.
The function [mathematical formula] in sharply bounded arithmetic.Mitsuru Tada & Makoto Tatsuta - 1997 - Archive for Mathematical Logic 36 (1).
Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 , pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 , pp. 149–165. [REVIEW]Andreas Weiermann - 2002 - Bulletin of Symbolic Logic 8 (4):536-537.
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 , pp. 139–157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 , pp. 279–290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 , pp. 553–562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 , pp. 934–946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 , pp. 483–496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 , pp. 429–459. [REVIEW]James Cummings - 2015 - Bulletin of Symbolic Logic 21 (2):188-192.
The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
Masahiro Hamano and Mitsuhiro Okada. A direct independence proof of Buchholz's Hydra game on finite labeled trees. Archive for mathematical logic, vol. 37 no. 2 , pp. 67–89. [REVIEW]Lev Gordeev - 2001 - Bulletin of Symbolic Logic 7 (4):534-535.

Analytics

Added to PP
2013-11-03

Downloads
74 (#283,083)

6 months
18 (#161,822)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references