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

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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.201500060
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,634
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

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

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Non-Standard Injection Between Canonical Frames.Timothy Surendonk - 1996 - Logic Journal of the IGPL 4 (2):273-282.
Coding Lemmata in L.George Kafkoulis - 2004 - Archive for Mathematical Logic 43 (2):193-213.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
K1.1 Is Not Canonical.G. Hughes & M. Cresswell - 1982 - Bulletin of the Section of Logic 11 (3-4):109-112.


Added to PP index

Total views
10 ( #906,532 of 2,533,812 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,812 )

How can I increase my downloads?


My notes