Coding with canonical functions

Mathematical Logic Quarterly 63 (5):334-341 (2017)
  Copy   BIBTEX

Abstract

A function f from ω1 to the ordinals is called a canonical function for an ordinal α if f represents α in any generic ultrapower induced by forcing with math formula. We introduce here a method for coding sets of ordinals using canonical functions from ω1 to ω1. Combining this approach with arguments from, we show, assuming the Continuum Hypothesis, that for each cardinal κ there is a forcing construction preserving cardinalities and cofinalities forcing that every subset of κ is an element of the inner model math formula.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,353

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bounding by canonical functions, with ch.Paul Larson & Saharon Shelah - 2003 - Journal of Mathematical Logic 3 (02):193-215.
Guessing and non-guessing of canonical functions.David Asperó - 2007 - Annals of Pure and Applied Logic 146 (2):150-179.
Collapsing functions.Ernest Schimmerling & Boban Velickovic - 2004 - Mathematical Logic Quarterly 50 (1):3-8.
Bounding 2d functions by products of 1d functions.François Dorais & Dan Hathaway - 2022 - Mathematical Logic Quarterly 68 (2):202-212.
Global singularization and the failure of SCH.Radek Honzik - 2010 - Annals of Pure and Applied Logic 161 (7):895-915.
Can a small forcing create Kurepa trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
Cohen forcing and inner models.Jonas Reitz - 2020 - Mathematical Logic Quarterly 66 (1):65-72.
Local Ramsey theory: an abstract approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
Extender based forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.

Analytics

Added to PP
2017-12-14

Downloads
21 (#871,614)

6 months
8 (#467,570)

Historical graph of downloads
How can I increase my downloads?

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.
Proper and Improper Forcing.Péter Komjáath - 2000 - Studia Logica 64 (3):421-425.

Add more references