A new proof of Friedman's conjecture

Bulletin of Symbolic Logic 17 (3):455-461 (2011)
  Copy   BIBTEX

Abstract

We give a new proof of Friedman's conjecture that every uncountable Δ11 set of reals has a member of each hyperdegree greater than or equal to the hyperjump

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1309952321

Links

PhilArchive



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

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

Using mathematica to understand the computer proof of the Robbins conjecture.Branden Fitelson - manuscript
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.
The genericity conjecture.Sy D. Friedman - 1994 - Journal of Symbolic Logic 59 (2):606-614.
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
Why Friedman's methodology did not generate consensus among economists?David Teira - 2009 - Journal of the History of Economic Thought 31 (2):201-214.
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas.Thomas A. Sudkamp - 1976 - Notre Dame Journal of Formal Logic 17 (4):615-616.
Proof of a conjecture of Goodman.N. J. Fine - 1954 - Journal of Symbolic Logic 19 (1):41-44.
A proof of Morley's conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
Proof of a conjecture of Roman Suszko.Stanislaw Zachorowski - 1975 - Studia Logica 34 (3):253 - 256.
A proof of Beigel's cardinality conjecture.Martin Kummer - 1992 - Journal of Symbolic Logic 57 (2):677-681.
A refutation of pure conjecture.Timothy Cleveland - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):55-81.
Universally baire sets and definable well-orderings of the reals.Sy D. Friedman & Ralf Schindler - 2003 - Journal of Symbolic Logic 68 (4):1065-1081.

Analytics

Added to PP
2011-07-07

Downloads
35 (#433,400)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Randomness in the higher setting.C. T. Chong & Liang Yu - 2015 - Journal of Symbolic Logic 80 (4):1131-1148.
Continuous higher randomness.Laurent Bienvenu, Noam Greenberg & Benoit Monin - 2017 - Journal of Mathematical Logic 17 (1):1750004.
An application of recursion theory to analysis.Liang Yu - 2020 - Bulletin of Symbolic Logic 26 (1):15-25.
Luzin’s (n) and randomness reflection.Arno Pauly, Linda Westrick & Liang Yu - 2022 - Journal of Symbolic Logic 87 (2):802-828.

Add more citations

References found in this work

One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Analytic determinacy and 0#. [REVIEW]Leo Harrington - 1978 - Journal of Symbolic Logic 43 (4):685 - 693.

Add more references