Newbetuts
.
New posts in order-theory
Generalization of metric spaces?
general-topology
metric-spaces
order-theory
Proving equivalence of a tree-based version of Countable Choice for families of finite sets.
reference-request
set-theory
order-theory
axiom-of-choice
The "Largeness" of Subsets of the Natural Numbers
sequences-and-series
number-theory
order-theory
Order-preserving injections of ordinals into $[0,1]$
set-theory
order-theory
ordinals
Does the following object have such property?
combinatorics
group-theory
permutations
order-theory
group-actions
Need construction for coequalizer in $\mathbf{Poset}$
category-theory
order-theory
Is $\pmb{\eta}\cdot\pmb{\omega_1} = (\pmb{\eta} + \pmb{1})\cdot\pmb{\omega_1}$?
set-theory
order-theory
ordinals
Atoms necessary for the existence of a generic filter?
set-theory
order-theory
forcing
Total ordering on the free group
abstract-algebra
group-theory
order-theory
noncommutative-algebra
free-groups
Converses of transitivity
logic
relations
order-theory
Dimension of the poset $(\mathbb{R}^2,\ge)$
combinatorics
set-theory
order-theory
How to generate a random preference relation on a finite set uniformly?
algorithms
order-theory
computational-complexity
random
probabilistic-method
Ordering the field of real rational functions
relations
order-theory
proof-verification
ordered-fields
Linearly ordered sets "somewhat similar" to $\mathbb{Q}$
set-theory
order-theory
ordinals
Linear order where every initial segment is finite
order-theory
How many ordinals can we cram into $\mathbb{R}_+$, respecting order?
order-theory
ordinals
Example 2, Sec. 24, in Munkres' TOPOLOGY, 2nd ed: If $X$ is a well ordered set, then $X \times [0, 1)$ is a linear continuum
general-topology
elementary-set-theory
order-theory
Cyclic permutation of factors preserves order of elements
abstract-algebra
permutations
order-theory
cyclic-groups
Given an infinite poset of a certain cardinality, does it contains always a chain or antichain of the same cardinality?
set-theory
order-theory
ultrafilters as linear orders
logic
first-order-logic
order-theory
model-theory
filters
Prev
Next