MATH
Login Or Sign up

List Question

15
244
Views

Is this theorem equivalent to Transfinite Recursion Theorem?

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

Are these two statements regarding Transfinite Recursion equivalent?

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

Are these two parametric versions of Transfinite Recursion equivalent?

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

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

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

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

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

Ultratasks in the ITTM Model

Published on
#set-theory #computability #turing-machines #transfinite-recursion
79
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
54
Views

Vector space of real valued function with size continuum

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

Proof by Induction: Recursively Defined Sequential Set

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

"Transfinite Peano Axioms"

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

Computing these ordinal hyperoperations that are left/right associative

Published on
#ordinals #transfinite-recursion
609
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
160
Views

Uniqueness in transfinite recursion.

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