The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
3answers
225 views

Antichain on $\mathcal{P}(\omega)/fin$ of cardinality $2^{\aleph_0}$?

We define an equivalence relation on $\mathcal{P}(\omega)$: for $x,y\in\mathcal{P}(\omega)$ we say $$x\simeq_{fin} y \text{ iff there is } n \in \omega \text{ such that } x\setminus \{0,\ldots,n\} = y ...
34
votes
3answers
1k views

Is the fixed point property for posets preserved by products?

Recall that a partially ordered set (poset) $P$ has the fixed point property (FPP) if any order preserving function $f:P\longrightarrow P$ has a fixed point. Theorem. Suppose $P$ and $Q$ are posets ...
3
votes
1answer
153 views

Properties of the interval topology of the lattice of functions

Let $(P,\leq)$ be a poset. The interval topology $\tau_i(P)$ on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\in P: y\...
2
votes
1answer
503 views

Compactness and completeness in Gödel logic

The standard proof of the completeness theorem in first-order Gödel logic is based on a first-order countable language. I want to know that is there any proof of the completeness theorem in ...
28
votes
9answers
3k views

How many groups of size at most n are there? What is the asymptotic growth rate? And what of rings, fields, graphs, partial orders, etc.?

Question. How many (isomorphism types of) finite groups of size at most n are there? What is the asymptotic growth rate? And the same question for rings, fields, graphs, partial orders, etc. ...
25
votes
2answers
789 views

How much choice is needed to show that formally real fields can be ordered?

Background: a field is formally real if -1 is not a sum of squares of elements in that field. An ordering on a field is a linear ordering which is (in exactly the sense that you would guess if you ...
2
votes
1answer
139 views

Product of posets with Hausdorff interval topology

Given a poset $(P,\leq)$ the interval topology on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\in P: y\leq x\}$ and $\...
9
votes
4answers
881 views

Universal order type

Every countable order type, such as the countable ordinals, $\mathbb Z$, etc. can be embedded in $\mathbb Q$, so it is universal for countable order types. Is there a universal space for all linear ...
1
vote
1answer
133 views

Uniqueness of minimal completions of a partially ordered set

The partially ordered set $(Y,\le)$ is called a superspace of the partially ordered set $(X,\le')$ iff $X\subseteq Y$. $\le'=(\le\cap X^2)$. and a completion of $(X,\le')$ if in addition $~~ 3$. $...
16
votes
1answer
2k views

Is every continuous function measurable?

This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow. In non-Hausdorff topology it is standard to ...
12
votes
1answer
658 views

Converse to Banach’s fixed point theorem for ordered fields?

Suppose $R$ is an ordered field. Call a continuous map $f: R \rightarrow R$ a contraction if there exists $r < 1$ (in $R$) such that $|f(x)-f(y)| \leq r |x-y|$ for all $x,y \in R$ (where $|x| := \...
7
votes
1answer
307 views

Monotonic maximal chains in a Coxeter group

Let $(W, S)$ be a Coxeter system, and let $T = \bigcup_{w \in W, s \in S} wsw^{-1}$. Associated to every element $t \in T$ is a unique positive root $\alpha_t \in \Phi^{+}$ considered as a vector in ...
2
votes
2answers
504 views

Embedding a brouwerian lattice into a boolean lattice

I have already asked a similar question at http://math.stackexchange.com/questions/470704/can-a-brouwerian-lattice-be-extended-into-a-boolean-algebra but have received no answer. Sorry, I ask a ...
9
votes
0answers
261 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 ...
6
votes
1answer
461 views

Strictly order preserving maps into the integers

If $P$ and $P'$ are partial orders, a strictly order preserving map from $P$ to $P'$ is an $f:P\to P'$ satisfying that $x\lt y$ implies $f(x)\lt f(y)$ for all $x,y\in P$. An interval in $P$ is a set ...
3
votes
2answers
245 views

When is a filter generated by a (countable) chain?

In any partial order $(P,\leq)$ it is easy to see that every chain generates (i.e., by taking the upwards closure) a filter, and any filter built as a result of the Rasiowa-Sikorski lemma in forcing ...
2
votes
2answers
208 views

Complete sets of incompatible totally ordered down-set in a partially ordered set

Let $(P,\leq)$ be a partially ordered set. A down-set is a set $d\subseteq P$ such that $x\in d$ and $x'\in P, x'\leq x$ imply $x'\in d$. If the down-set is totally ordered, we say it is a totally ...
0
votes
3answers
1k views

Well-ordered cofinal subsets [closed]

Let $(P, \leq)$ be a total ordering (some of you prefer the name linear order). Can we find a subset $R\subseteq P$ which is well ordered (with respect to $\leq\upharpoonright R$) and cofinal in $P$, ...
0
votes
1answer
149 views

Quotients of posets

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

Is it possible to decide in polynomial time if a poset is a subposet of another which is given ?

I am reading some theory on partial orders and I wonder something which perhaps has a simple answer : Given two partial orders $G_1,G_2$ (by their hasse diagrams), is it possible to know in polynomial-...
5
votes
1answer
136 views

Totally right preorderable groups

Are there any known non-trivial sufficient conditions, or full characterizations, of a totally right-preorderable group? More precisely: totally right-preorderable: has a non-trivial total right-...
4
votes
2answers
142 views

Image of poset with Hausdorff interval topology

Given a poset $(P,\leq)$ the interval topology $\tau_{\text{int}}(P)$ on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\...
3
votes
2answers
491 views

Cantor theorem on orders

It is "a well-known theorem of Cantor", said Sierpinski (circa 1920), that every countable total order can be imbedded in the rationals, and he proceeds to demonstrate that, assuming the continuum ...
3
votes
1answer
96 views

Incomplete lattice homomorphisms between complete lattices (2)

Let $L, K$ be complete lattices. A lattice homomorphism $f: L\to K$ is said to be incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_K f(S).$ Consider the ...
3
votes
1answer
92 views

Path-connected interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected. Does this imply that $[0,1]$ order-embeds into $P$?
2
votes
1answer
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 ...
2
votes
1answer
180 views

Is $\mathcal{P}(\omega)/fin$ with the interval topology a connected space?

Is $\mathcal{P}(\omega)/fin$ with the interval topology a connected space? (You find the definition of $\mathcal{P}(\omega)/fin$ here.) Remark: According to this, the interval topology of $\mathcal{...
1
vote
1answer
56 views

Simplyfing join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$ Is the ...
1
vote
1answer
78 views

Universal and left-factoring order-preserving maps

Trying to get a different angle for the question Fixed points and universal maps for posets, I want to compare universal maps to a different kind of functions. First recall that for posets $P,Q$ an ...
1
vote
2answers
113 views

Completion of a single totally ordered down-set

This is a follow-up question to Complete sets of incompatible totally ordered down-set in a partially ordered set. Let $(P,\leq)$ be a partially ordered set such that for every $p\in P$ the set $\{q\...
1
vote
1answer
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 ...
1
vote
0answers
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 ...
1
vote
1answer
90 views

Order-preserving images of $(\mathcal{P}(\kappa),\subseteq)$

Is there a cardinal $\kappa \neq \emptyset$ and a connected poset $P$ of cardinality $\leq \kappa$ such that there is no surjective order-preserving map from $(\mathcal{P}(\kappa),\subseteq)$ onto $P$?...
0
votes
1answer
115 views

Incomplete lattice homomorphisms between complete lattices

Let $L, K$ be complete lattices. A lattice homomorphism $f: L\to K$ is said to be incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_K f(S).$ Suppose that $...
-1
votes
1answer
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 ...