MATH
Login Or Sign up

List Question

15
70
Views

Question about defining sequence via transfinite induction.

Published on
#elementary-set-theory #transfinite-recursion #transfinite-induction
42
Views

Fractran program size

Published on
#combinatorics #computer-science #transfinite-recursion #transfinite-induction
194
Views

Better bounds on my ordinal hyperoperators

Published on
#ordinals #upper-lower-bounds #hyperoperation #transfinite-recursion #transfinite-induction
1.5k
Views

Recursive Mapping

Published on
#elementary-set-theory #transfinite-recursion
444
Views

How to prove an extension of ZFC is conservative

Published on
#set-theory #model-theory #relations #transfinite-recursion
10k
Views

How to apply the recursion theorem in practice?

Published on
#elementary-set-theory #transfinite-recursion
1.2k
Views

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

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

Showing the existence of the $\omega_\omega$-th power set of $\omega$

Published on
#set-theory #transfinite-recursion
670
Views

Well ordering and maximal principle

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

Epsilon induction

Published on
#set-theory #transfinite-recursion
1.4k
Views

When to use transfinite induction?

Published on
#set-theory #induction #transfinite-recursion
2.8k
Views

What does $\upharpoonright$ in $G(F\upharpoonright\alpha)$ mean?

Published on
#elementary-set-theory #notation #ordinals #transfinite-recursion
719
Views

Transfinite induction vs transfinite recursion

Published on
#set-theory #transfinite-recursion
261
Views

Equivalent statement of transfinite/ordinal recursion

Published on
#elementary-set-theory #ordinals #transfinite-recursion
554
Views

Question on the use of a parametric version of Transfinite Recursion Theorem in Introduction to Set Theory 3rd ed. by Hrbacek and Jech

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

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.