Ramsey’s theorem and König’s Lemma

&
Archive for Mathematical Logic 46 (1):37-42 (2007)
  Copy   BIBTEX

Abstract

We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-006-0025-z

Links

PhilArchive



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

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

Ramsey’s theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
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.
Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Hilbert versus Hindman.Jeffry L. Hirst - 2012 - Archive for Mathematical Logic 51 (1-2):123-125.
An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.Nobuyuki Sakamoto & Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (5-6):465-480.
The differences between Kurepa trees and Jech-Kunen trees.Renling Jin - 1993 - Archive for Mathematical Logic 32 (5):369-379.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
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.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Itô’s Lemma with Quantum Calculus : Some Implications. [REVIEW]Emmanuel Haven - 2011 - Foundations of Physics 41 (3):529-537.

Analytics

Added to PP
2013-12-30

Downloads
15 (#941,877)

6 months
6 (#507,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references