Takeuti Gaisi and Yasugi Mariko. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 , pp. 1–67 [Book Review]

Journal of Symbolic Logic 48 (3):877-880 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273485

Links

PhilArchive



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

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 Ordinals of the Systems of Second Order Arithmetic with the Provably ▵ 1 2 -Comprehension Axiom and with the ▵ 1 2 - Comprehension Axiom Respectively. [REVIEW]Gaisi Takeuti & Mariko Yasugi - 1983 - Journal of Symbolic Logic 48 (3):877-878.
Review: Gaisi Takeuti, Mariko Yasugi, The Ordinals of the Systems of Second Order Arithmetic with the Provably $triangle^12$-Comprehension Axiom and with the $triangle^12$- Comprehension Axiom Respectively. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-878.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
Second order theories with ordinals and elementary comprehension.Gerhard Jäger & Thomas Strahm - 1995 - Archive for Mathematical Logic 34 (6):345-375.
Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J).K. Schütte - 1988 - Archive for Mathematical Logic 27 (1):5-20.
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger.Kurt Schütte - 1988 - Archive for Mathematical Logic 27 (1):85-99.
A very strong set theory?Andrzej Kisielewicz - 1998 - Studia Logica 61 (2):171-178.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Ordinal inequalities, transfinite induction, and reverse mathematics.Jeffry L. Hirst - 1999 - Journal of Symbolic Logic 64 (2):769-774.
On the Π1 1 -separation principle.Antonio Montalbán - 2008 - Mathematical Logic Quarterly 54 (6):563-578.
Takeuti Gaisi. On a generalized logic calculus. Japanese journal of mathematics, Bd. 23 , S. 39–96. Errata, ebd., Bd. 24 , S. 149–156. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
Lebesgue Convergence Theorems and Reverse Mathematics.Xiaokang Yu - 1994 - Mathematical Logic Quarterly 40 (1):1-13.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
The axiom of choice in the foundations of mathematics.John Bell - manuscript
Arithmetic without the successor axiom.Andrew Boucher -

Analytics

Added to PP
2016-06-30

Downloads
14 (#995,076)

6 months
4 (#798,951)

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

No references found.

Add more references