Generic large cardinals as axioms

Review of Symbolic Logic 13 (2):375-387 (2020)
  Copy   BIBTEX

Abstract

We argue against Foreman’s proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020319000200

Links

PhilArchive



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

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

Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Generic compactness reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
Certain very large cardinals are not created in small forcing extensions.Richard Laver - 2007 - Annals of Pure and Applied Logic 149 (1-3):1-6.
Unprovable theorems in discrete mathematics.Harvey Friedman - manuscript
Double helix in large large cardinals and iteration of elementary embeddings.Kentaro Sato - 2007 - Annals of Pure and Applied Logic 146 (2):199-236.
Large Cardinals and the Iterative Conception of Set.Neil Barton - unknown
Absoluteness via resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
A new condensation principle.Thoralf Räsch & Ralf Schindler - 2005 - Archive for Mathematical Logic 44 (2):159-166.
A model of the generic Vopěnka principle in which the ordinals are not Mahlo.Victoria Gitman & Joel David Hamkins - 2019 - Archive for Mathematical Logic 58 (1-2):245-265.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Finite trees and the necessary use of large cardinals.Harvey Friedman - manuscript
The tree property at ℵ ω+1.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279-290.
The tree property at [image].Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279 - 290.

Analytics

Added to PP
2019-05-15

Downloads
28 (#567,410)

6 months
6 (#510,793)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.

View all 6 references / Add more references