A note on the intuitionist fan theorem

Notre Dame Journal of Formal Logic 11 (4):484-486 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894081

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Note on a theorem of W. Sierpiński.Vladeta Vučković - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
Norwood Russell Hanson. A note on the Gödel theorem. Notre Dame journal of formal logic, vol. 2 , p. 228.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):295.
A note on the Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2:228.
A note on a theorem of C. Yates.William D. Jackson - 1973 - Notre Dame Journal of Formal Logic 14 (1):100-102.
Book Review: Mark van Atten. On Brouwer. [REVIEW]O. Bradley Bassler - 2006 - Notre Dame Journal of Formal Logic 47 (4):581-599.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
A note on a lemma of J. W. Addison.Richard L. Poss - 1970 - Notre Dame Journal of Formal Logic 11 (3):337-339.
Hanson Norwood Russell. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 , pp. 94–110. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):471-472.

Analytics

Added to PP
2010-08-24

Downloads
16 (#1,188,084)

6 months
3 (#1,471,287)

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