Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory."

Journal of Symbolic Logic 18 (4):343-343 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266589

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.". [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Axiomatic Set Theory. Impredicative Theories of Classes.F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
Prototype Proofs in Type Theory.Giuseppe Longo - 2000 - Mathematical Logic Quarterly 46 (2):257-266.
Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
A note on theories for quasi-inductive definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
Zermelo (1930) is concerned with impredicative second-order set theory. He treats the general case of set theory with urelements, but it will be enough to consider only the case of pure set theory, ie without urelements. In this context, Zermelo's theory is the axiomatic second-order theory T2 in the language of pure set theory whose axioms are Extensionality, Regu. [REVIEW]Ww Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 469.
The logic of instance ontology.D. W. Mertz - 1999 - Journal of Philosophical Logic 28 (1):81-111.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
From Russell's paradox to.Harvey M. Friedman - unknown
Meaning of words and the use of axiomatics in psychological theory.Jan Smedslund - 2011 - Journal of Theoretical and Philosophical Psychology 31 (2):126.
Identity Variables, and Impredicative Definitions.Jaakko Hintikka - 1956 - Journal Fo Symbolic Logic 21 (3):225-245.
Conventionality in the axiomatic foundations of the special theory of relativity.Bas C. van Fraassen - 1969 - Philosophy of Science 36 (1):64-73.
Identity, variables, and impredicative definitions.K. Jaakko & J. Hintikka - 1956 - Journal of Symbolic Logic 21 (3):225-245.

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,351,854)

6 months
1 (#1,533,009)

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