Foundational implications of the inner model hypothesis

&
Annals of Pure and Applied Logic 163 (10):1360-1366 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.01.009

Other Versions

No versions found

Links

PhilArchive



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

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

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.
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.
Omer Ben-Neria, The structure of the Mitchell order-I. Israel Journal of Mathematics vol. 214 , no. 2, pp. 945–982. - Omer Ben-Neria, The structure of the Mitchell order-II. Annals of Pure and Applied Logic, vol. 166 , no. 12, pp. 1407–1432. - Sy-David Friedman and Menachem Magidor, The number of normal measures. Journal of Symbolic Logic, vol. 74 , no. 3, pp. 1069–1080. [REVIEW]Sean D. Cox - 2017 - Bulletin of Symbolic Logic 23 (1):110-112.
Farah, I., Basis problem for turbulent actions I: Tsirelson submeasures (1} 3) 189} 203 Feitosa, HA and Lo4redo D: Ottaviano, IM, Conservative translations (1} 3) 205} 227 Friedman, Sy D., see Bagaria, J.(1} 3) 3} 13. [REVIEW]R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (373):374.
Friedman-reflexivity.Albert Visser - 2022 - Annals of Pure and Applied Logic 173 (9):103160.
Sheard, M., see Friedman, H.H. Friedman - 1995 - Annals of Pure and Applied Logic 71:307.
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.Ur Ya'ar - 2024 - Annals of Pure and Applied Logic 175 (1):103358.
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 , pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 , pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Bar induction and ω model reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.
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.

Analytics

Added to PP
2013-10-27

Downloads
103 (#211,788)

6 months
25 (#123,694)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Mathematics and Metaphilosophy.Justin Clarke-Doane - 2022 - Cambridge: Cambridge University Press.
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
The hyperuniverse program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni, Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.

View all 6 citations / Add more citations

References found in this work

What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
What is Cantor's Continuum Problem (1964 version).Kurt Gödel - 1964 - Journal of Symbolic Logic (2):116-117.
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.

View all 11 references / Add more references