Notre Dame Journal of Formal Logic 18 (2):243-247 (1977)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093887927
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: 51,304
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

No references found.

Add more references

Citations of this work BETA

Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Satisfiability on Hypergraphs.Adam Kolany - 1993 - Studia Logica 52 (3):393-404.

Add more citations

Similar books and articles

The Weak König Lemma and Uniform Continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Reverse Mathematics and a Ramsey-Type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
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.
On Analytic Filters and Prefilters.Samy Zafrany - 1990 - Journal of Symbolic Logic 55 (1):315-322.
Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore A. Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
Infinity: New Research Frontiers.Michał Heller & W. H. Woodin (eds.) - 2011 - Cambridge University Press.

Analytics

Added to PP index
2010-08-24

Total views
10 ( #803,476 of 2,330,106 )

Recent downloads (6 months)
1 ( #584,494 of 2,330,106 )

How can I increase my downloads?

Downloads

My notes