# Tagged Questions

55 views

### Raising a partial function to the power of an ordinal

Consider a set $X$, and let $f : X \rightarrow X$ denote a partial function. Then for natural $n$, we can define $f^n$ as iterated composition, e.g. $f^2 = f \circ f$. Now suppose that $X$ is also ...
254 views

### The order type of the rationals.

Herewith another mind-numbingly naive question from a reader of philosophy. My question concerns the order type of the rational numbers. Omega squared seems a natural first choice, but obviously ...
81 views

### Definition of ordinals in Grothendieck toposes

What is a useful definition of an ordinal in Grothendieck toposes. Useful in this context means that I would like to construct fixed points of monotone maps on complete lattices using iteration from ...
82 views

### Are the closed ordinals (apart from $0$ and $1$) precisely the regular cardinals?

Given a partially ordered set $P$, a collection of partially ordered sets, call it $\mathcal{Q}$, and an arbitrary function $f : P \rightarrow \mathcal{Q},$ we can form a new partially ordered set ...
Let $\alpha_1 \geq \ldots \geq \alpha_n$ be ordinal numbers. I am interested in necessary and sufficient conditions for the ordinal sum $\alpha_1 + \ldots + \alpha_n$ to be equal to the Hessenberg ...