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

Links

PhilArchive



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

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 the Fan theorem.A. S. Troelstra - 1974 - Journal of Symbolic Logic 39 (3):584-596.
The Fan Theorem and Unique Existence of Maxima.Josef Berger, Douglas Bridges & Peter Schuster - 2006 - Journal of Symbolic Logic 71 (2):713 - 720.
A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
The Ideal Fan or Good Fans?J. S. Russell - 2012 - Sport, Ethics and Philosophy 6 (1):16-30.
A short proof of reny's existence theorem for payoff secure games.Pavlo Prokopovych - unknown
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Heine-borel does not imply the Fan theorem.Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (2):514-519.
The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
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 note on Cantor's theorem and Russell's paradox.J. N. Crossley - 1973 - Australasian Journal of Philosophy 51 (1):70 – 71.
A Note Concerning The Notion Of Satisfiability.Leon Horsten - 2004 - Logique Et Analyse 47.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,022,934)

6 months
7 (#417,242)

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