Author Archives: André Nies

Connections between randomness and profinite groups

The current Logic Blog, Section 15 or so  contains new connections of randomness with algebra. Given a computable profinite group  the Haar measure is computable, so all the usual notions work. I’ve added one example where the effective form of an a.e. theorem needs only  Kurtz randomness. For other examples not even arithmetical randomness looks sufficient at present.

Indexing the LB

This year’s will be the 6th instalment of the Logic Blog (which started in 2010). There is so much stuff on it by now that it becomes hard to find particular things. I’ve thought of putting it all into one file and give it an index. Any offers of help for this?