MATH
Login Or Sign up

List Question

15
495
Views

Conway Notation for Large Countable Ordinals

Published on
#ordinals #online-resources #surreal-numbers #ordinal-analysis
404
Views

Is there a "solution" to the ordinal game?

Published on
#logic #soft-question #ordinals #ordinal-analysis
459
Views

How do we know PA is incomparable with PRA + $\epsilon_0$?

Published on
#logic #proof-theory #peano-axioms #ordinal-analysis
169
Views

Modifying the "base" of Veblen's hierarchy to exceed $\Gamma_0$

Published on
#set-theory #ordinals #fixed-point-theorems #fixed-points #ordinal-analysis
117
Views

Does there exist a notion of "growth rate", big-O notation, etc for ordinal (normal) functions?

Published on
#asymptotics #ordinals #ordinal-analysis
172
Views

What is the lowest layer of the Constructible Universe which is a model of $ZFC-P$?

Published on
#logic #set-theory #model-theory #ordinals #ordinal-analysis
167
Views

Question on An Explicit Enumeration of Ordinals

Published on
#set-theory #ordinals #ordinal-analysis
58
Views

What is the proof-theoretic ordinal of $ \mathsf{PA}+\mathsf{TI}(\prec_{\varepsilon_0})$?

Published on
#proof-theory #ordinal-analysis
102
Views

At which ordinal this "counting" ordinal language would fail?

Published on
#set-theory #first-order-logic #ordinals #ordinal-analysis
128
Views

Proof-theoric ordinal of ETCS

Published on
#category-theory #set-theory #ordinals #proof-theory #ordinal-analysis
99
Views

Infinite ordinals in proof theory

Published on
#soft-question #intuition #proof-theory #ordinal-analysis
113
Views

Optimal bound for cost of cut elimination in infinitary logic with transfinite cut-rank in terms of Veblen's $\varphi$ function

Published on
#logic #computational-complexity #proof-theory #ordinal-analysis
68
Views

Equation to Specify Lexicographical Ordering?

Published on
#ordinals #well-orders #ordinal-analysis
505
Views

What is the proof theoretic ordinal of Homotopy Type theory?

Published on
#ordinals #type-theory #homotopy-type-theory #ordinal-analysis
131
Views

Turing degrees of subsets of Kleene $\mathcal{O}$ which are ordinal notations of subsets of the set of recursive ordinals

Published on
#computability #ordinals #turing-machines #ordinal-analysis

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.