MATH
Login Or Sign up

List Question

15
987
Views

Proof related to an ordinal less than or equal to another ordinal?

Published on
#set-theory #ordinals
390
Views

Showing a $\alpha\times\beta$ is well-ordered for $\alpha,\beta$ ordinals

Published on
#set-theory #ordinals
765
Views

The "canonical" representative of an order type

Published on
#set-theory #order-theory #ordinals
307
Views

Formula defining the first transfinite ordinal $\omega$

Published on
#logic #set-theory #ordinals
571
Views

Definition of ordinal

Published on
#set-theory #ordinals
297
Views

LIM is cofinal in ON

Published on
#set-theory #ordinals
1.2k
Views

I want to know why $\omega \neq \omega+1$.

Published on
#elementary-set-theory #ordinals
353
Views

a question on transfinite recursion on $\mathbf{ON}$

Published on
#set-theory #ordinals
1.2k
Views

Injection from the set of countable ordinals $\Omega$ into $\mathbb{R}$

Published on
#set-theory #ordinals #transfinite-recursion
878
Views

union of ordinal number

Published on
#elementary-set-theory #ordinals
1.2k
Views

Closed Intervals of $\omega_1$ Are Compact

Published on
#general-topology #set-theory #compactness #ordinals #order-topology
815
Views

Proof of two facts on the von Neumann hierarchy by transfinite induction

Published on
#set-theory #ordinals
785
Views

Is there an element with no fixed point and of infinite order in $\operatorname{Sym}(X)$ for $X$ infinite?

Published on
#order-theory #axiom-of-choice #ordinals #symmetric-groups
161
Views

Can we implement $\omega^{CK}_1$ using $\omega^{CK}_1+1$ as an oracle?

Published on
#algorithms #computability #ordinals #oracles
4.2k
Views

How is $\epsilon_0$ countable?

Published on
#elementary-set-theory #ordinals

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.