Jensen's Σ* theory and the combinatorial content of V = L

Journal of Symbolic Logic 59 (3):1096 - 1104 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275930

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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

Jensen's $Sigma^ast$ Theory and the Combinatorial Content of $V = L$.Sy D. Friedman - 1994 - Journal of Symbolic Logic 59 (3):1096-1104.
Review: Sy. D. Friedman, $beta$-Recursion Theory; Sy D. Friedman, Post's Problem without Admissibility. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.
Review: Sy D. Friedman, Strong Coding; Sy D. Friedman, A Guide to "Strong Coding.". [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 , pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 , pp. 30–49. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.
Sy D. Friedman. Strong coding. Annals of pure and applied logic, vol. 35, pp. 1–98. - Sy D. Friedman. A guide to “Strong coding.”Annals of pure and applied logic, vol. 35, pp. 99–122. [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
Review: Sy D. Friedman, The $Pi^1_2$-Singleton Conjecture. [REVIEW]M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (3):1136-1137.
Sy D. Friedman. The -singleton conjecture. Journal of the American Mathematical Society, vol. 3 no. 4 , pp. 771–791.M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (3):1136-1137.
Sy D. Friedman. Fine structure and class forcing. De Gruyter series in logic and its applications, no. 3. Walter de Gruyter, Berlin and New York 2000, x + 221 pp. [REVIEW]M. C. Stanley - 2001 - Bulletin of Symbolic Logic 7 (4):522-525.
The combinatorial principle ⋄#.Keith J. Devlin - 1982 - Journal of Symbolic Logic 47 (4):888-899.
Friedman, Sy D. and VeliCkovit, B., Al-Definability.I. Hodkinson, R. Kaye, I. Korec, F. Maurin, H. Mildenberger & F. O. Wagner - 1997 - Annals of Pure and Applied Logic 89 (1):277.

Analytics

Added to PP
2009-01-28

Downloads
64 (#344,708)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Smooth categories and global □.Ronald B. Jensen & Martin Zeman - 2000 - Annals of Pure and Applied Logic 102 (1-2):101-138.
A simpler proof of Jensen's coding theorem.Sy D. Friedman - 1994 - Annals of Pure and Applied Logic 70 (1):1-16.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

Add more references