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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Which Set Existence Axioms Are Needed to Prove the Separable Hahn-Banach Theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.
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.
An Omniscience Principle, the König Lemma and the Hahn‐Banach Theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 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.
Citations of this work BETA
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.
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.
Leibniz's Principle of the Identity of Indiscernibles: A False Principle.Alberto Cortes - 1976 - Philosophy of Science 43 (4):491-505.
Maximal Chains in the Fundamental Order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
Addressing the Conflict Between Relativity and Quantum Theory: Models, Measurement and the Markov Property.Gareth Ernest Boardman - 2013 - Cosmos and History 9 (2):86-115.
Ambiguity in Asset Pricing and Portfolio Choice: A Review of the Literature. [REVIEW]Massimo Guidolin & Francesca Rinaldi - 2013 - Theory and Decision 74 (2):183-217.
Herbrand’s Fundamental Theorem in the Eyes of Jean Van Heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
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.
Interference Competition Set Limits to the Fundamental Theorem of Natural Selection.Lars Witting - 2000 - Acta Biotheoretica 48 (2):107-120.
Continuity and Nondiscontinuity in Constructive Mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
Characterizations of Commutative POV Measures.Anna Jenčová & Sylvia Pulmannová - 2009 - Foundations of Physics 39 (6):613-624.
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
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 )
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