06/20/2023, 07:52 PM
I want to add something importantĀ I forgot to mention.
I think we need to use fixpoint pairs being a fixpoint and its conjugate.
We know this fails for any finite fixpoint pair but taking the limit to infinity maybe helps ...
regards
tommy1729
I think we need to use fixpoint pairs being a fixpoint and its conjugate.
We know this fails for any finite fixpoint pair but taking the limit to infinity maybe helps ...
regards
tommy1729