A note on canonical functions

DOI10.1007/BF02764992MaRDI QIDQ912090zbMATH OpenOpenAlexFDO

Authors S. Shelah, Thomas J. Jech

Publication date 1989

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9201239

zbMATH Keywords

canonical functioncanonical sequence

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Abstract: We construct a generic extension in which the aleph_2 nd canonical function on aleph_1 exists.

Review text

Given \(f,g\in^{\omega_ 1}\omega_ 1\), put \(f<g\) just in case \(\{\gamma: f(\gamma)\geq g(\gamma)\}\) is nonstationary. We say that a strictly increasing sequence \(f_{\alpha}\in^{\omega_ 1}\omega_ 1\), \(\alpha <\delta\), is canonical if for any other strictly increasing sequence \(g_{\alpha}\in^{\omega_ 1}\omega_ 1\), \(\alpha <\delta\), we have \(f_{\alpha}\leq g_{\alpha}\) for all \(\alpha\). The construction of a canonical sequence of length \(\omega_ 2\) is standard. A. Hajnal has shown that, assuming \(V=L\), there is no canonical sequence of length \(\omega_ 2+1\). Starting from a model of CH, the authors build for any ordinal \(\delta\), a cardinal preserving extension in which there is a canonical sequence of length \(\delta\). The authors point out that this result generalizes to any regular uncountable cardinal \(\kappa\).

Recommendations

• Coding with canonical functions
• On strong chains of uncountable functions
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• Cardinal sequences of length < ω₂under GCH
• Canonical functions, non-regular ultrafilters and Ulam's problem on ω₁

Cites work

• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• Inequalities for cardinal powers
• Precipitous ideals
• Standard models of set theory with predication

Cited in

(12)

• On a convenient property about \([\gamma]^{\aleph_0}\)
• Strongly almost disjoint functions
• On strong chains of uncountable functions
• The number and probability of canalizing functions
• The canonical function game
• Canonical functions, non-regular ultrafilters and Ulam's problem on ω₁
• scientific article; zbMATH DE number 1126836 (Why is no real title available?)
• BOUNDING BY CANONICAL FUNCTIONS, WITH CH
• Coding with canonical functions
• scientific article; zbMATH DE number 5494025 (Why is no real title available?)
• On Partially Wellfounded Generic Ultrapowers
• The Erdős-Hajnal problem list

This page was built for publication: A note on canonical functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q912090)