Cofinal types of topological directed orders.
A directed set \(D\) is Tukey reducible to a directed set \(E\), written \(D\leq_TE\), if there is \(f:D\to E\) such that the preimage of each bounded subset of \(E\) is bounded in \(D\). The authors investigate the structure of the Tukey order among partial orders belonging to two major classes: the class of analytic \(P\)-ideals of subsets of \(\mathbb N\) with inclusion and the class of \(\sigma\)-ideals of compact sets with inclusion. In fact, they define a natural family of the so-called basic orders containing both of these classes and establish results in this greater generality. \((D,{\leq})\) is said to be basic if \(D\) is a separable metric space, each pair of elements of \(D\) has a least upper bound, the operation of the least upper bound is continuous, each bounded sequence has a convergent subsequence, and each converging sequence has a bounded subsequence. The authors prove that if the topology on a basic order is analytic, then it is Polish. This is used to prove that analytic \(P\)-ideals are the only ideals on \(\mathbb N\) which can be made into analytic basic orders by strengthening topology on them. Further they prove that if there is a Tukey map between basic orders, then there is also a definable one. They define a general type of property of basic orders which are invariant under Tukey reducibility. Using these general invariants they establish several results on Tukey non-reducibility between concrete partial orders. One of these results concerns the relation between measure and category. The authors define and study a functor \(I\to D(I)\) between ideals on \(\mathbb N\) and systems of monotone compact sets. They prove that for analytic \(P\)-ideals the functor \(D\) respects the Tukey order, \(D(I)\leq_TI\), and \(D(I)\leq_TD(I_{1/n})\), where \(I_{1/n}=\{x\subseteq\mathbb N: \sum_{n\in x}1/(n+1)<\infty\}\). Finally, they prove that each analytic ideal has a cofinal \(G_\delta\) subset.
- A Classification of Transitive Relations on ω1
- Analytic ideals and cofinal types
- Analytic ideals and their applications
- Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
- Directed Sets and Cofinal Types
- scientific article; zbMATH DE number 11739 (Why is no real title available?)
- scientific article; zbMATH DE number 558630 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 1126845 (Why is no real title available?)
- scientific article; zbMATH DE number 889885 (Why is no real title available?)
- scientific article; zbMATH DE number 3429244 (Why is no real title available?)
- scientific article; zbMATH DE number 3039998 (Why is no real title available?)
- On analytic filters and prefilters
- Seven Cofinal Types
- The Structure of σ-Ideals of Compact Sets
- The complexity of Tukey types and cofinal types
- Tukey order, calibres and the rationals
- Basic orders in descriptive combinatorics
- Types of countable sequential groups
- The Tukey order and subsets of \(\omega_1\)
- Spectra of Tukey types of ultrafilters on Boolean algebras
- Representations of ideals in Polish groups and in Banach spaces
- The Tukey order on compact subsets of separable metric spaces
- Avoiding families and Tukey functions on the nowhere-dense ideal
- Combinatorial Dichotomies in Set Theory
- Comparison game on trace ideal
- scientific article; zbMATH DE number 3884143 (Why is no real title available?)
- THE NEXT BEST THING TO A P-POINT
- Tukey types of ultrafilters
- Directed Sets and Cofinal Types
- Cofinal types of ultrafilters
- Infinite dimensional perfect set theorems
- DENSITY-LIKE AND GENERALIZED DENSITY IDEALS
- TUKEY ORDER AMONG IDEALS
- Tukey classification of some ideals on \(\omega\) and the lattices of weakly compact sets in Banach spaces
- Open problems in Banach spaces and measure theory
- Descriptive set Theory of Families of Small Sets
- Cofinal types on ω2
- PCF theory and the Tukey spectrum
- Cofinal types and topological groups
- P-ideal dichotomy and Tukey order
- Forcing properties of Boolean algebras of the type \(\mathcal{P}(\omega)/\mathcal{I}\)
- Cofinal types of ultrafilters over measurable cardinals
- The bounded topology
- Construction schemes: transferring structures from to _1
- Products of directed sets with calibre (_1, )
- A descriptive approach to higher derived limits
- Open graphs and Tukey order
- The Nikodym property and filters on
- Topological groups from matrices of sets
- Hausdorff gaps and metrizable ideals
- On D-weak bases, D-sn-networks and topological groups
- Tukey morphisms between finite relations
- On a \(\sigma \)-ideal of compact sets
- A \(G_\delta \) ideal of compact sets strictly above the nowhere dense ideal in the Tukey order
This page was built for publication: Cofinal types of topological directed orders.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1774085)
