28 citations · 28 across the 1 of their papers we have counts for
1 paper
Sebastian Müller
We study initial cuts of models of weak two-sorted Bounded Arithmetics with respect to the strength of their theories and show that these theories are stronger than the original on…