Annals of Pure and Applied Logic 167 (11):1161-1170 (2016)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2016.05.003
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,410
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Omniscience Principle, the König Lemma and the Hahn-Banach Theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.
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.

Add more references

Citations of this work BETA

Constructive Mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Convexity and Unique Minimum Points.Josef Berger & Gregor Svindland - 2019 - Archive for Mathematical Logic 58 (1-2):27-34.
On Farkas' Lemma and Related Propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.

Add more citations

Similar books and articles

What Was Fisher’s Fundamental Theorem of Natural Selection and What Was It For?Anya Plutynski - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 37 (1):59-82.
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.
The Translation Theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Maximal Chains in the Fundamental Order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
What is the Gene Trying to Do?Warren J. Ewens - 2011 - British Journal for the Philosophy of Science 62 (1):155-176.
Continuity and Nondiscontinuity in Constructive Mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
The Implications of Gödel Theorem.J. Lucas - 2003 - Etica E Politica 5 (1):1.

Analytics

Added to PP index
2016-06-30

Total views
19 ( #585,105 of 2,519,700 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,700 )

How can I increase my downloads?

Downloads

My notes