Post #952390

Some experience about my on-going work: It is harder to get things done easily than in a complex way. We started with a naive construction in a stronger meta-theory, but it kept asking stronger assumptions and did not really solve our problem. Then, we retracted to a simpler setting with a more complicated construction (to replicate the intended construction in the previous step) and another even more complicated construction. It works but the construction consists of many mysterious steps. Finally, we observed that these intermediate steps can be simplified or eliminated by changing the statements carefully and derive a short construction with stronger properties than expected in a weaker setting. It might be easier to get things published if we had stopped at the second step without further simplification... But, anyway, we will see.