Terminal notions in set theory

DOI10.1016/S0168-0072(01)00044-6MaRDI QIDQ5940147zbMATH OpenFDO

Authors Jindřich Zapletal

Publication date 5 July 2002

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00044-6

zbMATH Keywords

diamond sequenceLusin setRamsey ultrafilterSouslin treeterminal notion

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

Review text

A `terminal notion' is a (definable) class of objects that cannot be divided further into definable subclasses. The author argues that four such classes are: Ramsey ultrafilters, free Souslin trees (every product of finitely many disjoint intervals in the corresponding line is ccc), extendible strong Lusin sets, and good diamond sequences. The (compelling) evidence consists of three circumstances -- large cardinals, large cardinals plus CH, and the homogeneous model -- in which sequences of pairwise nonequivalent objects cannot be distinguished by projective, \(\Sigma^2_1\), or any formula respectively.

Recommendations

• Terminal Notions
• scientific article; zbMATH DE number 1097274
• scientific article; zbMATH DE number 2165199
• Trees and -subsets of ^ω1ω₁
• scientific article; zbMATH DE number 3966060

Cites work

• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Can you take Solovay's inaccessible away?
• Canonical models for _1-combinatorics
• Forcing with filters and complete combinatorics
• Games played on Boolean algebras
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3467030 (Why is no real title available?)
• scientific article; zbMATH DE number 1228763 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 1962924 (Why is no real title available?)
• scientific article; zbMATH DE number 3323832 (Why is no real title available?)
• Large cardinals and definable counterexamples to the continuum hypothesis
• Partition Problems in Topology
• Semiselective coideals
• Some points in βN
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The axiom of choice
• Une méthode topologique pour l'étude de la propriété de Ramsey

Cited in

(9)

• A generic property of the Solovay set \(\Sigma\)
• Absoluteness of the Solovay set \(\Sigma \)
• Factoring Solovay-random extensions, with application to the reduction property
• The countable admissible ordinal equivalence relation
• Ideals and their generic ultrafilters
• Algebraic Notions of Termination
• The bi-embeddability relation for countable abelian groups
• Terminal Notions
• Borel reducibility and symmetric models

This page was built for publication: Terminal notions in set theory

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