3 citations · 3 across the 3 of their papers we have counts for
2 papers · 1 filter
Hitoshi Kitada
A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal ω1CK really exists.
A question is proposed whether or not set theory is consistent.