Archive for Mathematical Logic 55 (7-8):857-865 (2016)

Abstract
We prove that if the Mathias forcing is followed by a forcing with the Laver Property, then any V\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {V}$$\end{document}-q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {q}$$\end{document}-point is isomorphic via a ground model bijection to the canonical V\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {V}$$\end{document}-Ramsey ultrafilter added by the Mathias real. This improves a result of Shelah and Spinas.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s00153-016-0499-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Forcing with Filters and Complete Combinatorics.Claude Laflamme - 1989 - Annals of Pure and Applied Logic 42 (2):125-163.
On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
A Variant of Mathias Forcing That Preserves {\ Mathsf {ACA} _0}.François G. Dorais - 2012 - Archive for Mathematical Logic 51 (7-8):751-780.
Reasonable Ultrafilters, Again.Andrzej Rosłanowski & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (2):113-147.
Combinatorics and Forcing with Distributive Ideals.Pierre Matet - 1997 - Annals of Pure and Applied Logic 86 (2):137-201.
Free Boolean Algebras and Nowhere Dense Ultrafilters.Aleksander Błaszczyk - 2004 - Annals of Pure and Applied Logic 126 (1-3):287-292.
Forcing and Stable Ordered–Union Ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
Ultrafilters of Character $Omega_1$.Klaas Pieter Hart - 1989 - Journal of Symbolic Logic 54 (1):1-15.
Mathias–Prikry and Laver–Prikry Type Forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Ultrafilters on Ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Canjar Filters.Osvaldo Guzmán, Michael Hrušák & Arturo Martínez-Celis - 2017 - Notre Dame Journal of Formal Logic 58 (1):79-95.
Ultrafilters on $Omega$.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Combinatorial Properties of Classical Forcing Notions.Jörg Brendle - 1995 - Annals of Pure and Applied Logic 73 (2):143-170.
Hierarchies of Measure-Theoretic Ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.

Analytics

Added to PP index
2016-08-13

Total views
4 ( #1,286,610 of 2,533,564 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,564 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes