A Classification of Transitive Relations on ω1

DOI10.1112/plms/s3-73.3.501zbMath0870.04001OpenAlexW2061391432MaRDI QIDQ3837242

Stevo Todorčević

Publication date: 28 August 1997

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/s3-73.3.501

zbMATH Keywords

forcingPFAbinary relationsdirected systemsclassification theory of transitive relations on \(\omega_ 1\)cofinally similardirected relationsoriented systemsregular \(\sigma\)-centered posetsregular ccc posetsTukey equivalent

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Generalized Ramsey theory (05C55) Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items

Spectra of Tukey types of ultrafilters on Boolean algebras ⋮ Tukey types of ultrafilters ⋮ What makes the continuum ℵ₂ ⋮ Cofinal types on ω₂ ⋮ Cofinal types of ultrafilters ⋮ Continuous and other finitely generated canonical cofinal maps on ultrafilters ⋮ Avoiding families and Tukey functions on the nowhere-dense ideal ⋮ Infinite dimensional perfect set theorems ⋮ Cofinal types of topological directed orders. ⋮ A solution to the L space problem ⋮ Analytic ideals and cofinal types ⋮ Keeping the covering number of the null ideal small

This page was built for publication: A Classification of Transitive Relations on ω₁