User blog comment:P進大好きbot/New Issue on Traditional Analyses/@comment-39541634-20190825100759

> At least, hyp cos told me that he does not have an explicit algorithm to compute fundamental sequences for a simplified OCF based on the least weakly compact cardinal, even though he regard it as one easy to understand. I respect him very well, and hence regard him as one of the greatest analyst in this community. Even he, the great analyst, does not have an explicit algorith to compute the comparison for a notation associated to a subjectively easy OCF. Then it is reasonable to guess that there are few analysts in this community who know an explicit algorithm to compute comparison of that level.

I've been saying similar things for years now. Don't expect the kiddos to stop making absurd claims just because you've hit them with the above revelation.

>     ψ   0     (  ψ   1     (  ψ   2     (  ψ   <span class="mn" id="MathJax-Span-76" style="font-size: 70.7%; font-family: MathJax_Main;">3     <span class="mo" id="MathJax-Span-77" style="font-family: MathJax_Main;">( <span class="mn" id="MathJax-Span-78" style="font-family: MathJax_Main;">0 <span class="mo" id="MathJax-Span-79" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-80" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-81" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-82" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-83" style="font-family: MathJax_Main; padding-left: 0.278em;">=  <span style="position: absolute; clip: rect(3.116em, 1000.63em, 4.372em, -1000em); top: -3.988em; left: 0em;"><span class="mi" id="MathJax-Span-85" style="font-family: MathJax_Math; font-style: italic;">ψ   <span class="mn" id="MathJax-Span-86" style="font-size: 70.7%; font-family: MathJax_Main;">0     <span class="mo" id="MathJax-Span-87" style="font-family: MathJax_Main;">(  <span style="position: absolute; clip: rect(3.106em, 1000.68em, 4.167em, -1000em); top: -3.988em; left: 0em;"><span class="mi" id="MathJax-Span-89" style="font-family: MathJax_Main;">Ω   <span class="mn" id="MathJax-Span-90" style="font-size: 70.7%; font-family: MathJax_Main;">3     <span class="mo" id="MathJax-Span-91" style="font-family: MathJax_Main;">)     <span style="display: inline-block; overflow: hidden; vertical-align: -0.371em; border-left: 0px solid; width: 0px; height: 1.343em;">Sin

This isn't the first time you've given this example, so it got me curious: Has anyone actually written the above claim?

(if they did, they've mixed two different notations, of-course)