Fitch Frederic B.. The Heine-Borel theorem in extended basic logic

Journal of Symbolic Logic 15 (2):137-137 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266980

Links

PhilArchive



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

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

Review: Frederic B. Fitch, The Heine-Borel Theorem in Extended Basic Logic. [REVIEW]S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (2):137-137.
The Heine-borel theorem in extended basic logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):9-15.
Review: Frederic B. Fitch, A Simplification of Basic Logic; Frederic B. Fitch, A Definition of Negation in Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
A definition of negation in extended basic logic.Frederic B. Fitch - 1954 - Journal of Symbolic Logic 19 (1):29-36.
An extensional variety of extended basic logic.Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (1):13-21.
The anti-Specker property, a Heine–Borel property, and uniform continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
Heine-borel does not imply the Fan theorem.Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (2):514-519.
Fitch Frederic B.. An extension of basic logic.S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):68-69.
Review: Frederic B. Fitch, An Extension of Basic Logic. [REVIEW]S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):68-69.
Review: Frederic B. Fitch, A Further Consistent Extension of Basic Logic. [REVIEW]S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (3):219-220.
Equivalents of the (weak) fan theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
Review: Frederic B. Fitch, A Theory of Logical Essences; Frederic B. Fitch, A Complete and Consistent Modal Set Theory. [REVIEW]Bede Rundle - 1969 - Journal of Symbolic Logic 34 (1):125-125.
Strategic construction of Fitch-style proofs.Frederic D. Portoraro - 1998 - Studia Logica 60 (1):45-66.
The Logical enterprise.Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.) - 1975 - New Haven: Yale University Press.

Analytics

Added to PP
2016-06-30

Downloads
16 (#883,649)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references