The order-theory tag has no usage guidance.

**2**

votes

**1**answer

90 views

### Existentially closed partial orders

Existentially closed linear orders are dense linear orders without endpoints, which are finitely axiomatizable, and occur as order-types of natural mathematical structures such as the rationals or ...

**5**

votes

**1**answer

93 views

### Is there an exponential map on (Hahn) ordered fields?

If $F$ is an ordered field and $G$ is an ordered abelian group, one can define the Hahn product $F \boxtimes G$ to be the set of formal Laurent series with coefficients in $F$ and exponents in $G$. It ...

**0**

votes

**0**answers

30 views

### Are atomistic posets satisfying the descending chain condition finitely atomistic?

An atomistic poset $P$ has a minimum $0$ and each element is a join of atoms (elements that cover $0$). When such a poset satisfies the descending chain condition, is it true that every element is a ...

**2**

votes

**2**answers

449 views

### Unbounded countable subset

(Edit: The first formulation is wrong. See the second answer) Does every totally ordered set contain an unbounded countable subset. In other words: If S is a totally ordered set, can we find a (edit: ...

**2**

votes

**1**answer

163 views

### Boolean algebras and free filters generated by chains

Suppose $\mathbf{B}$ is a complete Boolean algebra with an infinite domain $B$. Suppose $\mathbf{B}$ is atomic (i.e. every element is the supremum of some set of atoms). This algebra contains the co-...

**3**

votes

**0**answers

37 views

### Does the rank (=height) of a well partial order bound its type (=length, =stature)?

Terminology and context
(This should all be standard, but is recalled because terminology sometimes varies, and also to put the question into perspective.)
A partially ordered set is called well-...

**2**

votes

**0**answers

57 views

### Terminology and technique for repeated pairwise removal of elements of posets: “Collapsibility” of a “face poset”

Let $P$ be a poset, or partially ordered set. Let $\le$ denote the reflexive order on $P$, and $<$ the corresponding irreflexive order. Let the phrase "a maximal pair" in $P$ refer to an
ordered ...

**4**

votes

**1**answer

110 views

### Minimal zero-dimensional Hausdorff spaces

A topological space $(X,\tau)$ is said to be zero-dimensional Hausdorff (zdH) if for $x\neq y\in X$ there is $C\subseteq X$ clopen (closed and open) such that $x\in C$, but $y\notin C$.
We say a zdH ...

**2**

votes

**1**answer

69 views

### Topology with no direct lower neighbor

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...

**9**

votes

**0**answers

260 views

### Computing the ordinal of a rational language well-partially-ordered by the subword relation

Let $\Sigma$ be a finite set or "alphabet", $\Sigma^*$ the free monoid on $\Sigma$ or set of "words". If $w,w'\in \Sigma^*$, write $w\leq w'$ when $w$ is a "subword" of $w'$, i.e., can be obtained by ...

**1**

vote

**1**answer

87 views

### Lower neighbors in the lattice of topologies

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y) = \{p\in P: x\leq p < y\}$, and $(x,y]$ is defined in an analogous manner. For any set $X$, let $\text{Top}(X)$ denote the set of topologies ...

**3**

votes

**1**answer

80 views

### “Discrete jumps” in the collection of all topologies on a set $X$

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...

**0**

votes

**0**answers

56 views

### “Downward closed” relation on a poset

I say that a relation $R$ on a poset $P$ is downward closed if for each $(x,y)\in R$, and $x'\le x$, then $(x',y)\in R$.
Is there a reference where this thing is studied, maybe under a different name?
...

**3**

votes

**1**answer

195 views

### “Lexicographic” ordering on ${\cal P}(\omega)$

For $A\neq B\in {\cal P}(\omega)$ we set $$\mu(A,B) = \min\big((A\setminus B)\cup (B\setminus A)\big).$$ We define $A < B$ if and only if $A \neq B$, and
$A = B\cap \mu(A,B)$ (that is $A$ is an ...

**5**

votes

**1**answer

121 views

### Can There be Rudin-Keisler Immediate Sucessors?

There are several well-studied orderings on the set $\omega^*$ of ultrafilters on the natural numbers. Three popular ones are $\le_i$ for $i = 1,2,3$. We define $\mathcal U \le_i \mathcal V$ to mean ...

**2**

votes

**1**answer

155 views

### Posets (partially ordered sets) in equational logic

I know about equational logic, cf. https://en.wikipedia.org/wiki/Lattice_(order)#Lattices_as_algebraic_structures, and understood that lattices are expressed equationally, i.e., in terms of equational ...

**2**

votes

**1**answer

157 views

### Pseudocomplements in the lattice of topologies

Given a set $X\neq \emptyset$ it is well-known that the collection $\text{Top}(X)$ of all topologies on $X$ is a (complete) lattice with respect to $\subseteq$.
Let $0$ denote the smallest element of ...

**4**

votes

**1**answer

151 views

### Is there a short expression for height and width of product and coproduct of posets?

I am trying to derive some basic relations for the height and width of the direct product and the coproduct of posets. I feel that these are very basic and should be written somewhere, however, I ...

**4**

votes

**1**answer

149 views

### Generalized ordering on simplicial complex

The vertices of simplicial complexes are usually totally ordered so that face maps of each simplex can be defined easily for the purposes of homology. That gives an "oriented" simplicial complex.
But ...

**3**

votes

**2**answers

286 views

### Which ordinals can be embedded into an ordered field?

Let $F$ be an ordered field.
What is the least ordinal $\alpha$ such that there is no order-embedding of $\alpha$ into any bounded interval of $F$?

**28**

votes

**5**answers

903 views

### Does the exact pair phenomenon for partial orders occur in your area of mathematics?

Suppose that I have a partial order P and an increasing sequence $a_0< a_1<a_2<\cdots$ of elements of $P$. A pair of elements (b,c) from P is said to be an exact pair for this sequence, if
...

**15**

votes

**4**answers

449 views

### Representation theorem for modular lattices?

Birkhoff's representation theorem implies that every distributive lattice embeds into the lattice of subsets of a set. Is there also some representation theorem for modular lattices?
For example, I ...

**9**

votes

**1**answer

171 views

### Are these two quotients of $\omega^\omega$ isomorphic?

Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$. For $f,g\in\omega^\omega$ we say $f\simeq_{\text{fin}} g$ if there is $n\in \omega$ such that $f(k) = g(k)$ for all $k\geq n$.
...

**7**

votes

**1**answer

356 views

### What kind of category is a cyclically ordered set?

Background: A preorder is a binary relation $\leq$ which is reflexive and transitive. We can write the transitive property as ${\leq}(a,b)\wedge{\leq}(b,c)\to{\leq}(a,c)$. There are additional axioms ...

**-1**

votes

**1**answer

220 views

### Order-Perserving Bijection $f:A\to A^*$?

Let $A$ be a well-quasi-ordered infnite set. Does there exist an order-preserving bijection $f:A\to A^*$, where $A^*$ is the free monoid over $A$ under the subword ordering? Would this subword ...

**6**

votes

**1**answer

112 views

### Partial Orders realized by Prime Ideals on commutative rings

Is there a general criterion for which partial orders can be realized by the prime ideals of commutative rings (like we have for topological spaces - https://en.wikipedia.org/wiki/Spectral_space)?
...

**1**

vote

**0**answers

98 views

### The lattice of graphs under vertex abstractions

I am curious to know if the following structure has been studied, or if anything similar is in the literature.
For $n \in \mathbb{N}$, let $G = ([n],E)$ be a digraph. A partition of a subset $V$ of $[...

**-1**

votes

**1**answer

67 views

### Interval topology on $(\mathbb{N}^\mathbb{N},\leq^*)$

Given a quasi-ordered set $(Q,\leq)$ the interval topology on $Q$ is generated by
$$\{Q\setminus\downarrow x : x\in Q\} \cup \{Q\setminus\uparrow x : x\in Q\},$$
where $\downarrow x = \{y\in Q: y\leq ...

**2**

votes

**1**answer

110 views

### Is the interval topology of $(\mathbb{N}^\mathbb{N}, \leq^*)$ connected?

Given a quasi-ordered set $(Q,\leq)$ the interval topology on $Q$ is generated by
$$\{Q\setminus\downarrow x : x\in Q\} \cup \{Q\setminus\uparrow x : x\in Q\},$$
where $\downarrow x = \{y\in Q: y\leq ...

**5**

votes

**0**answers

120 views

### Functoriality of $\mathsf{Cu}$

I have always been happy with the proof of the functoriality of the Cuntz semigroup $\mathsf{Cu}$ given in arXiv:0902.3381, where the isomorphism
$$\mathsf{Cu}(A)\cong W(A\otimes K)$$
is used, $A$ ...

**4**

votes

**0**answers

82 views

### Face structures of chain polytopes

For a finite poset $P$ the chain polytope $\mathscr C(P)\subset\mathbb{R}^P$ consists of such $g$ that $g(p)\ge 0$ for all $p\in P$ and $$g(p_1)+\ldots+g(p_n)\le 1$$ for any chain $p_1<\ldots<...

**1**

vote

**1**answer

77 views

### Transitive reduction from a linear extension of a partial order

Is there an efficient algorithm to create a transitive reduction from a single linear extension of a given partial order?
Update: I'm aware of the time complexity of computing a transitive reduction ...

**5**

votes

**0**answers

81 views

### Minimal Hausdorff topologies compatible with a bunch of functions

Let $X$ be an infinite set, let ${\cal F}$ be a set of functions $f: X\to X$. We say that a topology $\tau$ is compatible with ${\cal F}$ if every $f\in {\cal F}$ is a continuous function $f:(X, \tau)\...

**1**

vote

**1**answer

326 views

### Modern books about orders and algebras on trees [closed]

Please help to find books about orders and algebras on trees.
If there is no modern books, please advice good old ones!
I'm more interested in finite trees (my current problem), but infinite ones are ...

**1**

vote

**0**answers

65 views

### Partial orders on tabloids

Let $n \in \mathbb{N}$ and let $\lambda \vdash n$, a partition of $n$. By a $\lambda$-tabloid I mean a row-tabloid of shape $\lambda$. There is a well-known order on the set of $\lambda$-tabloids, ...

**11**

votes

**1**answer

537 views

### Any further applications of Freudenthal's 1936 Spectral Theorem?

Seemingly completely forgotten, back in 1936, the Dutch mathematician Freudenthal, quite well known at the time, proved his so called Spectral Theorem, see chapter 6 in Luxemburg & Zaanen : Riesz ...

**1**

vote

**0**answers

32 views

### Form of binary function over poset that is monotone over first and antitone over second argument

if I have a partially ordered set $P$, and I have a function $f: P \times P \to \mathbb{R}$ that is monotone over the first and antitone over the second argument, i.e. for any $a,b,c \in P$
$a ≤ b \...

**0**

votes

**2**answers

1k views

### Topological sort of partial order into sorted sets

Given a partial order of elements, one can use topological sorting to produce a sorted list of elements. For example, if we have the partial order A->B and A->C, then the possible topological sort ...

**8**

votes

**0**answers

105 views

### Product of Partial Orders

Define the transpose product of a partial order $P$ over a set $S$ in the following way. The direct product of a partial order $P \subseteq S \times S$ and its converse, $P^{op}$, gives a partial ...

**0**

votes

**1**answer

79 views

### Prime ideals containing the finite members of ${\cal P}(\omega)$

Let ${\frak P}$ denote the collection of prime ideals containing the finite members of ${\cal P}(\omega)$, and order ${\frak P}$ by set inclusion.
What is the cardinality of ${\frak P}$, and what's ...

**0**

votes

**1**answer

149 views

### Quotients of posets

Let $\mathbf{Poset}$ denote the category of partially ordered sets and order-preserving maps. Does $\mathbf{Poset}$ have quotients?

**1**

vote

**0**answers

110 views

### Examples of value quantales

In his paper "Quantales and continuity spaces" R. C. Flagg gives the following examples of value quantales: the lattice $\bf{2}$ of truth values with usual addition, the lattice $\mathbb{R}_{+}$ of ...

**1**

vote

**1**answer

76 views

### “Interval” terminology for (partially) ordered sets

Let $(X,\preceq)$ be a poset.
Is there a standard, generally recognised term for a set $A \subset X$ satisfying
$$ \forall x,y,z \in X, \ (x \in A \ \textrm{ and } \ z \in A \ \textrm{ ...

**4**

votes

**5**answers

790 views

### Visualizing large posets

Hi, does somebody know if there is any software for visualizing very large posets? (like those in page 27 of this notes of Guenter Ziegler). They may arise (as in that text) by considering the face ...

**0**

votes

**0**answers

89 views

### Properties of a specific antichain of a lattice formed by the cartesian product of finite ordered sets

Introduction
Let $X$ be a poset of all $n$-tuples, $x = (x_1, x_2, ..., x_n)$, where $0 \leq x_i \leq m_i - 1$ for $i = 1, ..., n$ together with the relation $x \prec y$ defined so that for $y=(y_1,...

**1**

vote

**1**answer

71 views

### Path-connected Hausdorff interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected and $T_2$. Does this imply that $[0,1]$ order-embeds into $P$?
(This is a follow-up ...

**1**

vote

**0**answers

82 views

### Relationship of ${\cal P}(\omega)/fin$ and ${\cal L}$

Define ${\cal L}$ as in this question: the set of functions $f:\mathbb{N}\rightarrow\mathbb{N}$ such that $f(n)\leq f(n+1)\leq f(n)+1$, where two functions are considered equal if they differ at at ...

**18**

votes

**0**answers

581 views

### A Linear Order from AP Calculus

In teaching my calculus students about limits and function domination, we ran into the class of functions
$$\Theta=\{x^\alpha (\ln{x})^\beta\}_{(\alpha,\beta)\in\mathbb{R}^2}$$
Suppose we say that $...

**1**

vote

**0**answers

89 views

### Properties of Coefficients of Order Polynomials [closed]

I am working on a problem involving determining the order polynomial $\Omega_P(k)$ of a partial order $P$, which counts the number of order-preserving transformations/maps from $P$ to the $k$-chain (...