4 ms·

I'm not sure I can follow you here. I have said that you need to express infinitary formulae in a finitary form. What's the connection with martingales?