- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On Restrictions of Ultrafilters From Generic Extensions to Ground Models
Journal of Symbolic Logic 88 (1):169-190 (2023)
Abstract
Let P be a forcing notion and $G\subseteq P$ its generic subset. Suppose that we have in $V[G]$ a $\kappa{-}$ complete ultrafilter1,2W over $\kappa $. Set $U=W\cap V$.My notes
Similar books and articles
Classes of Barren Extensions.Natasha Dobrinen & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (1):178-209.
Forcing and stable ordered–union ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
On Easton Support Iteration of Prikry-Type Forcing Notions.Moti Gitik & Eyal Kaplan - forthcoming - Journal of Symbolic Logic:1-46.
Sets in Prikry and Magidor generic extensions.Tom Benhamou & Moti Gitik - 2021 - Annals of Pure and Applied Logic 172 (4):102926.
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
A Gitik iteration with nearly Easton factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.
On completeness of the quotient algebras {cal P}(kappa)/I.Yasuo Kanai - 2000 - Archive for Mathematical Logic 39 (2):75-87.
Analytics
Added to PP
2022-04-08
Downloads
18 (#828,658)
6 months
10 (#382,354)
2022-04-08
Downloads
18 (#828,658)
6 months
10 (#382,354)
Historical graph of downloads
Citations of this work
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model.Moti Gitik & Eyal Kaplan - 2023 - Annals of Pure and Applied Logic 174 (1):103164.
Indestructibility and the linearity of the Mitchell ordering.Arthur W. Apter - 2024 - Archive for Mathematical Logic 63 (3):473-482.
Around accumulation points and maximal sequences of indiscernibles.Moti Gitik - 2024 - Archive for Mathematical Logic 63 (5):591-608.
On Easton Support Iteration of Prikry-Type Forcing Notions.Moti Gitik & Eyal Kaplan - forthcoming - Journal of Symbolic Logic:1-46.
References found in this work
How large is the first strongly compact cardinal? or a study on identity crises.Menachem Magidor - 1976 - Annals of Mathematical Logic 10 (1):33-57.
$K$ without the measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.
Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo