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.
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?
This is the arXiv version.
Here is the URL for retreat and ARA 2014 Japan
Please note it starts on Sept 1 morning, so be there on August 31 if at all possible.
Kenshi and André
There finally is a Wikipedia article on K-triviality
It was originally written by me and my summer student Jing Zhang (NUS)
Lots of red links there to be filled.