MATH
Login Or Sign up

List Question

15
1k
Views

The classification of order types

Published on
#order-theory #ordinals
205
Views

How to prove that $\text{pred}_{(A,\prec_A)}(y)=\{x\in A \,|\, x\prec_A y\}$

Published on
#set-theory #ordinals
520
Views

What classification of countable ordinals above $\omega_1^{CK}$ exists?

Published on
#set-theory #notation #ordinals
200
Views

detecting cofinality in ordinals

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

Second element of fundamental sequence of $\zeta_0$

Published on
#set-theory #ordinals
516
Views

Who is Epsilon ($\epsilon$)? a binary relation?

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

First uncountable ordinal number

Published on
#ordinals
230
Views

Construction of an infinite number type and other ideas

Published on
#ordinals #infinity #number-systems
197
Views

Are there any nontrivial doubly-well-ordered sets?

Published on
#elementary-set-theory #order-theory #ordinals
646
Views

A few questions about "small" transitive sets.

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

Other criteria for a set to be an ordinal.

Published on
#set-theory #ordinals
69
Views

A function on ordinals.

Published on
#set-theory #ordinals
275
Views

Two exercises on set theory about Cantor's equation and the von Neumann hierarchy

Published on
#set-theory #cardinals #ordinals
669
Views

What is the proof-theoretic ordinal of the first-order theory of real closed fields?

Published on
#logic #ordinals #proof-theory #foundations #reverse-math
1.6k
Views

Long line is connected and compact

Published on
#general-topology #compactness #ordinals #connectedness

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.