# Directed sets and cofinal types

@article{Todorcevic1985DirectedSA, title={Directed sets and cofinal types}, author={Stevo Todorcevic}, journal={Transactions of the American Mathematical Society}, year={1985}, volume={290}, pages={711-723} }

We show that 1, S. @1, X x xl and [l]<@ are the only cofinal types of directed sets of size Sl, but that there exist many cofinal types of directed sets of size continuum. A partially ordered set D is directed if every two elements of D have an upper bound in D. In this note we consider some basic problems concerning directed sets which have their origin in the theory of Moore-Smith convergence in topology [12, 3, 19, 9]. One such problem is to determine "all essential kind of directed sets…

## 96 Citations

The Tukey Order and Subsets of ω1

- Mathematics, Computer ScienceOrder
- 2018

It is shown that ωω is a strict Tukey quotient of Σ(ωω1)$(\omega ^{\omega _{1}})$ and thus it is distinguished between two Tukey classes out of Isbell’s ten partially ordered sets.

MORE COFINAL TYPES OF DEFINABLE DIRECTED ORDERS

- 2010

We study the cofinal diversity of analytic p-ideals and analytic relative σ-ideals of compact sets. We prove that the σ-ideal of compact meager sets is not cofinally simpler than the asymptotic…

Cardinal representations for closures and preclosures

- Mathematics
- 1991

A cardinal representation of a preclosure (p on a set £ is a family s/ C 3s(E) such that for any set X C \Jsi , q>{X) = E holds if and only if \X n A\ = \A\ for every A e sf . We show, for example…

Tukey quotients, pre-ideals, and neighborhood filters with calibre (omega 1, omega)

- Mathematics
- 2016

This work seeks to extract topological information from the order-properties of certain pre-ideals and pre-filters associated with topological spaces. In particular, we investigate the neighborhood…

Applications of Computability Theory to Partial and Linear Orders

- Mathematics
- 2017

One of the notions central to the study of computable linear orders is that of computable categoricity. Remmel showed that a computable linear ordering L is computably categorical if and only if the…

Infinite dimensional perfect set theorems

- Mathematics
- 2012

What largeness and structural assumptions on A ⊆ [R]ω can guarantee the existence of a non-empty perfect set P ⊆ R such that [P ]ω ⊆ A? Such a set P is called A-homogeneous. We show that even if A is…

Non-absoluteness of Hjorth's Cardinal Characterization

- Mathematics
- 2021

In [5], Hjorth proved that for every countable ordinal α, there exists a complete Lω1,ω-sentence φα that has models of all cardinalities less than or equal to אα, but no models of cardinality אα+1.…

The Complexity of Tukey Types and Cofinal Types

- Mathematics, Computer ScienceCiE
- 2018

This paper studies how difficult it is to determine whether two computable partial orders share the same Tukey type and the same cofinal type, and shows the index set is computable from 0.

Order-theoretic properties of bases in topological spaces I

- Mathematics
- 2010

We study some cardinal invariants of an order-theoretic fashion on products and box products of topological spaces. In particular, we concentrate on the Noetherian type (Nt), defined by Peregudov in…

ORDER-THEORETIC INVARIANTS IN SET-THEORETIC TOPOLOGY

- Mathematics
- 2009

We present several results related to van Douwen’s Problem, which asks whether there is homogeneous compactum with cellularity exceeding c, the cardinality of the reals. For example, just as all…

## References

SHOWING 1-10 OF 14 REFERENCES

THE CATEGORY OF COFINAL TYPES. I

- Mathematics
- 1965

Introduction. Briefly, this paper introduces a category which we call the category of cofinal types. We construct a concrete representation il of X', and we determine explicitly the part of i1…

Iterated Cohen extensions and Souslin's problem*

- Mathematics
- 1971

We can characterize the real line, up to order isomorphism, by the following list of properties: R is order complete, order dense, has no first or last elements, and contains a countable dense…

Martin's Axiom and First-Countable S- and L-Spaces

- Mathematics
- 1984

Publisher Summary This chapter discusses first-countable spaces. Every point in this space has a countable basis for open neighborhoods. If an uncountable regular Hausdorff space does not possess an…

THE CATEGORY OF COFINAL TYPES

Introduction. Briefly, this paper introduces a category S£ which we call the category of cofinal types. We construct a concrete representation Sfi of So, and we determine explicitly the part of Sfi…

Forcing positive partition relations

- Mathematics
- 1983

We show how to force two strong positive partition relations on u, and use them in considering several well-known open problems. In [32] Sierpiñski proved that the well-known Ramsey Theorem [27] does…

A General Theory of Limits

- Mathematics
- 1922

I. As to Notions.-In this paper we investigate a simple general limit of which, as will appear in ? 5, the various classical limits of analysis are actually instances.* The general limit in question…

Applications of the Proper Forcing Axiom

- Mathematics
- 1984

Publisher Summary The chapter presents a more powerful version of Martin Axiom (MA), the Proper Forcing Axiom (PFA) that is successful at settling problems left open by MA. PFA is obtained from MA by…

A DECOMPOSITION THEOREM FOR PARTIALLY ORDERED SETS

- Mathematics
- 1950

Otherwise a and b are non-comparable. A subset S of P is independent if every two distinct elements of S are non-comparable. S is dependent if it contains two distinct elements which are comparable.…

Convergence and uniformity in topology

- Mathematics
- 1940

The description for this book, Convergence and Uniformity in Topology. (AM-2), will be forthcoming.