W. Sierpiński. L'axiome de M. Zermelo et son róle dans la théorie des ensembles et l'analyse. Bulletin international de l'Académie des Sciences de Cracovie, Classe des sciences mathématiques et naturelles, Séie A, Sciences mathématiques, année 1918, pp. 97–152. - Wacław Sierpiński. Les exemples effectifs et l'axiome du choix. Fundamenta mathematicae, vol. 2 , pp. 112–118. - Waclaw Sierpiński. Sur les ensembles de points qu'on sait definir effectivement. Verhandlungen des Internationalen Mathematiker-Kongresses Zürich 1932, vol. 1 , pp. 280–287 [Book Review]

Journal of Symbolic Logic 16 (3):235-235 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200101793

Other Versions

No versions found

Links

PhilArchive



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

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

Wacław Sierpiński. L'axiome du choix. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 257–266.Jean E. Rubin - 1970 - Journal of Symbolic Logic 35 (1):148.
Wacław Sierpiński. Algèbre des ensembles. Monografie matematyczne, vol. 23. Warsaw and Breslau1951, 205 pp. [REVIEW]Alfons Borgers - 1968 - Journal of Symbolic Logic 33 (2):292.
Mathématiques et intuitions: Zermelo et Poincaré face à la théorie axiomatique des ensembles et l'axiome du choix.Françoise Longy - 2001 - Philosophia Scientiae 5 (2):51-87.
Sierpiński Wacław. Hypothèse du continu. Second edition. Chelsea Publishing Company, New York 1956, XVII + 274 pp.Sierpiński Wacław. L'hypothèse généralisée du continu et l'axiome du choix. A reprint of XIII 176. Therein, pp. 193–197. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (2):215-215.
P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 , pp. 1–7. - P. Vopěnka. ∇-models in which the generalized conti. [REVIEW]Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.
Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Salwicki A.. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 227–232, XVII, XVII.Salwicki A.. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 275–278, XXI, XXI.Salwicki A.. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 279–285, XXI, XXI. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Kreisel G.. Non-uniqueness results for transfinite progressions. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 no. 5 , pp. 287–290. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Roland Fraïssé. Un modèle définissant une théorie aberrante des ensembles où sont niés les axiomes du choix et d'extensionalité. Publications scientifiques de l'Université d'Alger, Série A, Mathématiques, vol. 5 no. 1 , pp. 17–98. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):225-226.
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 , pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 , pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques,. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.

Analytics

Added to PP
2016-06-30

Downloads
61 (#351,521)

6 months
7 (#728,225)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.

Add more citations

References found in this work

No references found.

Add more references