On Zermelo's Set-Theory and the Simple Type-Theory with the Axiom of Infinity

Journal of Symbolic Logic 33 (2):292-293 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269893

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: Tadahiro Uesu, On Zermelo's Set-Theory and the Simple Type-Theory with the Axiom of Infinity. [REVIEW]Bede Rundle - 1968 - Journal of Symbolic Logic 33 (2):292-293.
Uesu Tadahiro. On Zermelo's set-theory and the simple type-theory with the axiom of infinity. Commentarti mathematici Universitatis Sancti Pauli, vol. 15 , pp. 49–59. [REVIEW]Bede Rundle - 1968 - Journal of Symbolic Logic 33 (2):292-293.
Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):107-107.
On the strength of a weak variant of the axiom of counting.Zachiri McKenzie - 2017 - Mathematical Logic Quarterly 63 (1-2):94-103.
Review: Azriel Levy, Axiom Schemata of Strong Infinity in Axiomatic Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Lévy Azriel. Axiom schemata of strong infinity in axiomatic set theory. Pacific journal of mathematics, vol. 10 , pp. 223–238. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
On Zermelo's and von Neumann's Axioms for Set Theory.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):70-71.
Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory.Toshio Nishimura - 1964 - Journal of Symbolic Logic 29 (2):107-107.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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