MATH
Login Or Sign up

List Question

15
242
Views

Is this theorem equivalent to Transfinite Recursion Theorem?

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

Are these two statements regarding Transfinite Recursion equivalent?

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

Are these two parametric versions of Transfinite Recursion equivalent?

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

How do Hrbacek and Jech derive the class function $F$ in Theorem 4.12 from Theorem 4.11?

Published on
#set-theory #proof-explanation #ordinals #transfinite-recursion
1.2k
Views

$\omega$th iteration of Cayley-Dickson construction

Published on
#sequences-and-series #infinite-groups #transfinite-recursion #surreal-numbers #transfinite-induction
140
Views

Difference between Kleene's O and the system $S_1$

Published on
#computability #ordinals #transfinite-recursion
971
Views

Pardon my ignorance, but isn't TREE(3) a finite number?

Published on
#ordinals #trees #fixed-point-theorems #transfinite-recursion
259
Views

Ultratasks in the ITTM Model

Published on
#set-theory #computability #turing-machines #transfinite-recursion
76
Views

How should we parse this proof that every infinite set has a subset which is eqivalent to the set of natural numbers?

Published on
#elementary-set-theory #proof-explanation #natural-numbers #transfinite-recursion
50
Views

Vector space of real valued function with size continuum

Published on
#set-theory #descriptive-set-theory #transfinite-recursion #transfinite-induction
50
Views

Proof by Induction: Recursively Defined Sequential Set

Published on
#abstract-algebra #induction #recurrence-relations #foundations #transfinite-recursion
337
Views

"Transfinite Peano Axioms"

Published on
#axioms #peano-axioms #transfinite-recursion #categorification
86
Views

Computing these ordinal hyperoperations that are left/right associative

Published on
#ordinals #transfinite-recursion
606
Views

Characterize a $\sigma$-algebra generated by a family of sets $\sigma(C)=\mathcal{B}_{\Omega}$

Published on
#measure-theory #set-theory #ordinals #transfinite-recursion
156
Views

Uniqueness in transfinite recursion.

Published on
#set-theory #induction #recursion #axioms #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.