Interpretations of set theory and ordinal number theory

Journal of Symbolic Logic 32 (2):145-161 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271652

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 , pp. 101–112. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404.
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.
Review: Steven Orey, Formal Development of Ordinal Number Theory; Steven Orey, On the Relative Consistency of Set Theory. [REVIEW]Václav Edvard Beneš - 1958 - Journal of Symbolic Logic 23 (1):41-42.
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. [REVIEW]Kurt Schütte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
Construction of the Set Theory from the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):66-67.
Characterizations of Ordinal Numbers in Set Theory.S. A. Cook & Hao Wang - 1968 - Journal of Symbolic Logic 33 (1):113-113.
Ordinal Numbers and Predicative Set Theory.Hao Wang - 1965 - Journal of Symbolic Logic 30 (2):250-250.
Formal Development of Ordinal Number Theory.Steven Orey - 1958 - Journal of Symbolic Logic 23 (1):41-42.
Formal development of ordinal number theory.Steven Orey - 1955 - Journal of Symbolic Logic 20 (1):95-104.

Analytics

Added to PP
2009-01-28

Downloads
22 (#698,027)

6 months
9 (#437,808)

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