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.