Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  is about a variant of MSO on infinite trees where: #R##N##R##N#- there is a quantifier "zero probability of choosing a path pi in 2^{omega} which makes omega(pi) true"; #R##N##R##N#- the monadic quantifiers range over sets with countable topological closure.#R##N##R##N# introduce an automaton model, and show that it captures the logic.
['Mikołaj Bojańczyk']
I am writing a research paper on a idea Thin MSO with a Probabilistic Path Quantifier.
[{"from": "human", "value": "I am writing a research paper on a idea Thin MSO with a Probabilistic Path Quantifier."}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  is about a variant of MSO on infinite trees where: #R##N##R##N#- there is a quantifier \"zero probability of choosing a path pi in 2^{omega} which makes omega(pi) true\"; #R##N##R##N#- the monadic quantifiers range over sets with countable topological closure.#R##N##R##N# introduce an automaton model, and show that it captures the logic."}]