This is going to be confusing...

[sniffnoy]

So we finally got the referee report back on our integer complexity paper! It's going to require a lot of revision, apparently. And, well, I have to say, the referee really went above and beyond the call of duty on this one... he kind of, uh, rewrote our paper for us. Even introduced a whole new thing about "backsteps" I haven't had time to look at.

Thing is he says we're wrong about quite a lot of things where it should be very easy to tell whether we're wrong or not. Meaning either we screwed up really badly, or he screwed up really badly. And it should be easy to tell which, but I've had so little time to look at this that I haven't even sat down and determined this yet! Perhaps Josh has...

-Harry

Comments

from referee

[(Anonymous)]

Even introduced a whole new thing about "backsteps"

You are here like Mr Jourdain of Moliere that
was surprised and delighted to learn that he has been speaking "prose" all his life without knowing it.

On LJ (On Sunday, May 1st 2011, Resolved) you said:
See, we know how to handle +1s, but +6s (and +8s and +9s and +12s) are a problem.

If you search in the OEIS 1,6,8,9,12, you will find A195101 the
sequence of "allowed backsteps".

Re: from referee

[sniffnoy.livejournal.com]

Hey, like I said, I haven't had a chance to actually read it yet. :P This is what I picked up from a very brief skim. Perhaps it's nothing new, but it's going to take me at least some minimal processing for me to realize that!

from referee

[(Anonymous)]

OK, I only wanted to remark that IT IS YOUR PROOF what I have written.
Congratulations, you have obtained something I have been searching
unsuccessfully many times.


What I would like you do is take this (correcting the English and anything
you consider appropriate) but above all try to complete it with the
proof that the order type of D is omega^omega. I am not been able
to include this proof.

Re: from referee

[sniffnoy.livejournal.com]

Ha, well thank you! I'm glad to know somebody appreciates that. :) If you want to know who's responsible for what there, Josh is the one who actually came up with the method, I'm the one who realized it was applicable to well-ordering.