MATH
Login Or Sign up

List Question

15
71
Views

Question about defining sequence via transfinite induction.

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

Fractran program size

Published on
#combinatorics #computer-science #transfinite-recursion #transfinite-induction
195
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
447
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
601
Views

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

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

Well ordering and maximal principle

Published on
#set-theory #ordinals #transfinite-recursion
811
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
722
Views

Transfinite induction vs transfinite recursion

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

Equivalent statement of transfinite/ordinal recursion

Published on
#elementary-set-theory #ordinals #transfinite-recursion
557
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

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

Popular Questions

Copyright © 2021 JogjaFile Inc.