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,322

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

The Heine-borel theorem in extended basic logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):9-15.
Fitch Frederic B.. The Heine-Borel theorem in extended basic logic.S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (2):137-137.
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 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.
Equivalents of the (weak) fan theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
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.
Riesz representation theorem, Borel measures and subsystems of second-order arithmetic.Xiaokang Yu - 1993 - Annals of Pure and Applied Logic 59 (1):65-78.
Borel structures and borel theories.Greg Hjorth & André Nies - 2011 - Journal of Symbolic Logic 76 (2):461 - 476.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
On the Persistence of Particles.Jeremy Butterfield - 2004 - Foundations of Physics 35 (2):233-269.
Every Borel function is monotone Borel.Boško Živaljević - 1991 - Annals of Pure and Applied Logic 54 (1):87-99.
Superrigidity and countable Borel equivalence relations.Simon Thomas - 2003 - Annals of Pure and Applied Logic 120 (1-3):237-262.
Bad groups of finite Morley rank.Luis Jaime Corredor - 1989 - Journal of Symbolic Logic 54 (3):768-773.
Effective Borel measurability and reducibility of functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.

Analytics

Added to PP
2017-02-21

Downloads
8 (#1,277,290)

6 months
6 (#506,019)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.

Add more citations

References found in this work

No references found.

Add more references