WKL0 and Stone's separation theorem for convex sets

Annals of Pure and Applied Logic 77 (3):245-249 (1996)
  Copy   BIBTEX

Abstract

The Stone's Separation Theorem is equivalent to Weak König's Lemma

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)00038-0

Links

PhilArchive



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

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

WKL< sub> 0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.
N? Sets and models of wkl0.Stephen G. Simpson - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--352.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
Extensions of expected utility theory and some limitations of pairwise comparisons.Teddy Seidenfeld - unknown
A decomposition of the Rogers semilattice of a family of d.c.e. sets.Serikzhan A. Badaev & Steffen Lempp - 2009 - Journal of Symbolic Logic 74 (2):618-640.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
Two applications of a theorem of Dvoretsky, Wald, and Wolfovitz to cake division.Julius B. Barbanel & William S. Zwicker - 1997 - Theory and Decision 43 (2):203-207.
Objective Bayesian Calibration and the Problem of Non-convex Evidence.Gregory Wheeler - 2012 - British Journal for the Philosophy of Science 63 (4):841-850.
Descriptive set theory over hyperfinite sets.H. Jerome Keisler, Kenneth Kunen, Arnold Miller & Steven Leth - 1989 - Journal of Symbolic Logic 54 (4):1167-1180.
Non‐standard Analysis in WKL 0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.

Analytics

Added to PP
2014-01-16

Downloads
12 (#1,062,297)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.

Add more citations

References found in this work

Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.

Add more references