Bar Induction and $Pi^1_1-CA^1$

Journal of Symbolic Logic 34 (3):353-362 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270902

Other Versions

original Friedman, Harvey (1969) "Bar Induction and Π 1 1 -CA 1". Journal of Symbolic Logic 34(3):353-362

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Bar induction and PI|-"CA".Harvey Friedman - 1969 - Journal of Symbolic Logic 34:353.
How strong are single fixed points of normal functions?Anton Freund - 2020 - Journal of Symbolic Logic 85 (2):709-732.
Bar induction and Π11-CA.Harvey Friedman - 1969 - Journal of Symbolic Logic 34 (3):353 - 362.
$Pi^1_1$ Borel Sets.Alexander S. Kechris, David Marker & Ramez L. Sami - 1989 - Journal of Symbolic Logic 54 (3):915-920.
[image] -Determinacy, Comprehension and Induction.Medyahya Ould Medsalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452 - 462.
Bar induction and ω model reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.

Analytics

Added to PP
2013-11-02

Downloads
14 (#1,283,936)

6 months
7 (#653,123)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Galvin-Prikry theorem and set existen axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.

Add more citations

References found in this work

No references found.

Add more references