Basis problems in combinatorial set theory

MaRDI QIDQ1126704zbMATH OpenFDO

Authors Stevo Todorčević

Publication date 6 August 1998

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/228251, http://www.emis.de/journals/DMJDMV/xvol-icm/01/Todorcevic.MAN.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Aronszajn treesbasiscombinatorial set theorydirected setsOpen Coloring AxiomProper Forcing AxiomRamsey theoryresearch surveysuccessively binary relationstransitive relationsuncountable linear orderingsuncountable regular spaces

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65) Compact (locally compact) metric spaces (54E45)

Review text

The author discusses results and conjectures concerning some basis problems in set theory. A basis for a class \(S\) of structures is a collection \(S_0\) of critical members of \(S\) such that any given structure from \(S\) can be related via some kind of connecting map to one member from \(S_0\). For instance, the author showed that under PFA, the five sets 1, \(\omega\), \(\omega_1\), \(\omega\times \omega_1\) and \(\text{Fin}_{\omega_1}\) (the collection of all finite subsets of \(\omega_1\) ordered by inclusion) form a basis for the class of all directed sets on \(\omega_1\) in the sense that any such set is Tukey equivalent to one of the five. The author inspects basis problems in a variety of areas, considering successively binary relations on \(\omega_1\), transitive relations on \(\omega_1\), uncountable linear orderings and uncountable regular spaces. He also discusses related Ramsey-theoretic principles such as the Open Coloring Axiom or special Aronszajn trees.

Recommendations

• A five element basis for the uncountable linear orders
• Analysis of a topological basis problem
• scientific article; zbMATH DE number 1795302
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
• A solution to the L space problem

Cited in

(18)

• Combinatorics of Fulton's essential set
• Analysis of a topological basis problem
• Basic orders in descriptive combinatorics
• Types of countable sequential groups
• Biorthogonal systems and quotient spaces via Baire category methods
• Study of the bounds on the number of basic sets in a test.
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• On automorphisms of the Banach space _ /c₀
• scientific article; zbMATH DE number 1126844 (Why is no real title available?)
• A direct proof of the five element basis theorem
• THE BASE PROBLEM FOR D0L PARIKH SETS
• Canonical forms of Borel functions on the Milliken space
• A solution to the L space problem
• Basis problem for turbulent actions. I: Tsirelson submeasures
• On the consistency strength of the proper forcing axiom
• P-ideal dichotomy and Tukey order
• Hausdorff gaps and metrizable ideals
• The basis problem for subspaces of monotonically normal compacta

This page was built for publication: Basis problems in combinatorial set theory

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