MATH
Login Or Sign up

List Question

15
113
Views

Is there such an ordinal as ω-1?

Published on
#set-theory #ordinals
182
Views

Can a ZF universe ever contain "every conceivable ordinal"?

Published on
#set-theory #ordinals
47
Views

Limit Countable Ordinal - is it a limit of a intuitive sequence of ordinals?

Published on
#elementary-set-theory #set-theory #order-theory #ordinals #well-orders
125
Views

Why do we define the proof-theoretic ordinal of a theory the way we do when there are unnatural well-orderings out there?

Published on
#first-order-logic #ordinals #ordinal-analysis
48
Views

Predicate for identifying von Neumann naturals

Published on
#elementary-set-theory #ordinals
119
Views

Morley Rank and Cardinality paradox?

Published on
#set-theory #first-order-logic #model-theory #ordinals
26
Views

can there be fractional values in the Veblen hierarchy?

Published on
#ordinals #analytic-continuation
41
Views

Prove that these sets are stationary.

Published on
#elementary-set-theory #set-theory #cardinals #ordinals
30
Views

The existence of a function on $\kappa$

Published on
#elementary-set-theory #set-theory #cardinals #ordinals
157
Views

Alpha recursion - Constructible universe and Analytical hierarchy

Published on
#computability #ordinals #foundations #descriptive-set-theory #oracles
40
Views

How is the following theorem the princple of *complete* induction?

Published on
#induction #cardinals #ordinals
78
Views

Trouble understanding Proof Wiki's proof that every well-ordered set is order isomorphic to an ordinal.

Published on
#proof-explanation #set-theory #ordinals
94
Views

would diagonalization work in this scenario?

Published on
#logic #set-theory #cardinals #ordinals
28
Views

Cardinality of a set V vs cardinality of its ordinal Type ord(V)

Published on
#ordinals
367
Views

TREE(3) and the Goodstein sequence

Published on
#trees #ordinals #fixed-point-theorems #big-numbers #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.