A simple formula equivalent to the axiom of choice

Notre Dame Journal of Formal Logic 1:115 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956553

Other Versions

No versions found

Links

PhilArchive



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

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

A simple formula equivalent to the axiom of choice.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (3):115-117.
A set-theoretical formula equivalent to the axiom of choice.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (3):167-169.
An equivalent of the axiom of choice in finite models of the powerset axiom.Alexander Abian & Wael A. Amin - 1990 - Notre Dame Journal of Formal Logic 31 (3):371-374.
Certain formulas equivalent to the axiom of choice.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):229-235.
Equivalent versions of a weak form of the axiom of choice.Gary P. Shannon - 1988 - Notre Dame Journal of Formal Logic 29 (4):569-573.
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 , pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 , pp. 206–208. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245.
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 , pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 , pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 , pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 , pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 , pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 , pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.
The axiom of choice in topology.Norbert Brunner - 1983 - Notre Dame Journal of Formal Logic 24 (3):305-317.
Axiom sets equivalent to syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
On Ramsey's theorem and the axiom of choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.

Analytics

Added to PP
2017-02-20

Downloads
3 (#1,852,803)

6 months
2 (#1,689,094)

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