- 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$.DOI
10.1017/jsl.2022.26
My notes
Similar books and articles
Sets in Prikry and Magidor generic extensions.Tom Benhamou & Moti Gitik - 2021 - Annals of Pure and Applied Logic 172 (4):102926.
Ultrafilters which extend measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Ultrafilters which Extend Measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Ultrafilters on the natural numbers.Christopher Barney - 2003 - Journal of Symbolic Logic 68 (3):764-784.
On the Set-Generic Multiverse.Sy-David Friedman, Sakaé Fuchino & Hiroshi Sakai - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 109-124.
Classes of Barren Extensions.Natasha Dobrinen & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (1):178-209.
On a logic for 'almost all' and 'generic' reasoning.Paulo Veloso - 2002 - Manuscrito 25 (1):191-271.
Forcing and stable ordered–union ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
Generic relativizations of fine structure.Kai Hauser - 2000 - Archive for Mathematical Logic 39 (4):227-251.
Regular ultrafilters and finite square principles.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2008 - Journal of Symbolic Logic 73 (3):817-823.
Some constructions of ultrafilters over a measurable cardinal.Moti Gitik - 2020 - Annals of Pure and Applied Logic 171 (8):102821.
Ideals and Their Generic Ultrafilters.David Chodounský & Jindřich Zapletal - 2020 - Notre Dame Journal of Formal Logic 61 (3):403-408.
On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Analytics
Added to PP
2022-04-08
Downloads
8 (#1,094,656)
6 months
5 (#191,693)
2022-04-08
Downloads
8 (#1,094,656)
6 months
5 (#191,693)
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.
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.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
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-6b7fd944d-gh87m N