MATH
Login Or Sign up

List Question

15
104
Views

Does there exist a weakly increasing cofinal function $\kappa \to \kappa$ strictly below the diagonal?

Published on
#logic #set-theory #computability #transfinite-recursion
459
Views

The Veblen Hierarchy named with uncountable ordinals vs ordinal collapsing functions

Published on
#ordinals #transfinite-recursion
77
Views

"Recursively" expressing continuous-time trajectories

Published on
#functional-analysis #continuity #dynamical-systems #recursion #transfinite-recursion
131
Views

what is the difference between $\aleph_0$ and $ \beth_0$

Published on
#set-theory #cardinals #transfinite-recursion
50
Views

The components are the transfinitely iterated stationary quasicomponents

Published on
#general-topology #connectedness #transfinite-recursion
582
Views

Contents of Gentzen's consistency proof of PA

Published on
#logic #induction #transfinite-recursion
612
Views

Finding a well-ordering of the natural numbers of a given order type

Published on
#set-theory #order-theory #ordinals #well-orders #transfinite-recursion
1k
Views

How to formally use transfinite recursion to construct a sequence for a proof of Zorn's lemma

Published on
#set-theory #axiom-of-choice #ordinals #transfinite-recursion
168
Views

What does a hyperreal version of the Cantor Set look like?

Published on
#set-theory #ordinals #nonstandard-analysis #cantor-set #transfinite-recursion
331
Views

Applying transfinite recursion

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

Strong induction with recursive definition function

Published on
#induction #transfinite-recursion
1.3k
Views

A Proof of Transfinite Recursion Theorem

Published on
#proof-verification #ordinals #transfinite-recursion
352
Views

The role of Axiom Schema of Replacement in the proof of Transfinite Recursion Theorem

Published on
#set-theory #proof-explanation #transfinite-recursion
100
Views

A bootstrap from the traditional version of Transfinite Recursion to the parametric one

Published on
#proof-verification #set-theory #ordinals #transfinite-recursion
232
Views

How do the authors deduce this weaker version of Transfinite Recursion?

Published on
#set-theory #proof-explanation #ordinals #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.