A Relativization of Axioms of Strong Infinity to ^|^omega;1

Annals of the Japan Association for Philosophy of Science 3 (5):191-204 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.3.191

Other Versions

No versions found

Links

PhilArchive



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

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

Takeuti Gaisi. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
Takeuti Gaisi. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 , pp. 151–170. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
Takeuti Gaisi. Axioms of infinity of set theory. Journal of the Mathematical Society of Japan, vol. 13 , pp. 220–233.J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Review: Gaisi Takeuti, Axioms of Infinity of Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Axioms of Infinity as the Starting Point for Rigorous Mathematics.John P. Burgess - 2012 - Annals of the Japan Association for Philosophy of Science 20:17-28.
Takeuti Gaisi. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 65–97.Takeuti Gaisi. A formalization of the theory of ordinal numbers. [REVIEW]Carol Karp - 1972 - Journal of Symbolic Logic 37 (1):192-193.
Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 367–378. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):293-294.
D^|^eacute;monstration de l'^|^omega;-non-contradiction de l'arithm^|^eacute;tique.Yoshito Hanatani - 1968 - Annals of the Japan Association for Philosophy of Science 3 (3):105-114.
Takeuti Gaisi. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 , pp. 386–394.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
Takeuti Gaisi. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 , pp. 71–76.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.

Analytics

Added to PP
2016-06-30

Downloads
23 (#947,988)

6 months
6 (#882,325)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.Kurt Gödel - 1940 - Princeton university press;: Princeton University Press;. Edited by George William Brown.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.
Transcendence of cardinals.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (1):1-7.

Add more references