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.
Author Archives: André Nies
Logic Blog 2015 is now on arXiv, 46 pages. http://arxiv.org/abs/1602.04432. Logic Blog 2016 is ready and awaiting submissions as usual.
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?
Andre
“Randomness and Differentiability” by Brattka, Miller and Nies accepted in TAMS
This is the arXiv version.
ARA 2014 Japan
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é
Wikipedia article on K-triviality
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.
Andre
ARA 2014 South Africa just ended
For the meeting schedule and for slides click here.
For a list of open problems discussed at the workshop, click here.
For a report from the preceeding retreat at Intundla Lodge click here.