MATH
Login Or Sign up

List Question

15
93
Views

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

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

The Veblen Hierarchy named with uncountable ordinals vs ordinal collapsing functions

Published on
#ordinals #transfinite-recursion
72
Views

"Recursively" expressing continuous-time trajectories

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

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

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

The components are the transfinitely iterated stationary quasicomponents

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

Contents of Gentzen's consistency proof of PA

Published on
#logic #induction #transfinite-recursion
608
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
162
Views

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

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

Applying transfinite recursion

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

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

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

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

Published on
#proof-verification #set-theory #ordinals #transfinite-recursion
225
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

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.