3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Pavel Hrubes
We investigate a hierarchy of arithmetical structures obtained by a transfinite addition of a canonic universal predicate, where the canonic universal predicate for M is defined as…