MATH
Login Or Sign up

List Question

15
68
Views

Terminology about ordinals

Published on
#set-theory #terminology #ordinals #filters
114
Views

The Use of Ordinals and Cardinals in Recursive Proofs

Published on
#elementary-set-theory #set-theory #ordinals #universal-algebra
21
Views

What is the lower ordinal bound for the smallest fixed point of derivations with infinitary rules

Published on
#cardinals #ordinals #formal-proofs
81
Views

How to formalize the below solution

Published on
#continuity #ordinals
148
Views

What is the relevance of the fast-growing hierarchy in the definition of Yudkowsky’s number?

Published on
#logic #ordinals #proof-theory #ordinal-analysis
64
Views

Question on the hierarchy of named Ordinals

Published on
#set-theory #ordinals #transfinite-induction
314
Views

Fundamental Group of the Long Line

Published on
#general-topology #ordinals #fundamental-groups
327
Views

A Question about the Cumulative Hierarchy.

Published on
#set-theory #ordinals
143
Views

A bit of reverse math fun: how to ensure the existence of the ordinal $\omega^\omega$?

Published on
#ordinals #reverse-math
101
Views

What ordinals correspond to tuples ordered lexicographically?

Published on
#logic #set-theory #order-theory #ordinals
99
Views

Prove: If $A$ and $B$ are closed subsets of $[0,\Omega]$ then at least $A$ or $B$ is bounded

Published on
#general-topology #proof-writing #proof-explanation #ordinals #order-topology
115
Views

Is Zorn's lemma applicable to this integration problem?

Published on
#measure-theory #lebesgue-integral #ordinals
56
Views

Construction of a model of ZF with a discontinuous but sequentially continuous function.

Published on
#real-analysis #set-theory #ordinals
469
Views

Which ordinals can be "mistaken for" $\aleph_1$?

Published on
#set-theory #model-theory #cardinals #ordinals #forcing
55
Views

Texts on limits of ordinal sequences

Published on
#limits #reference-request #ordinals

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.