2 citations · 2 across the 7 of their papers we have counts for
11 papers · 1 filter
Logic Blog 2021
Andre Nies
The blog has several entries on group theory interacting with computability and wider logic, several open questions, and an entry on undecidability in physics.
Computable topological abelian groups
Martino Lupini, Alexander Melnikov, Andre Nies
We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disco…
Logic Blog 2020
Andre Nies
This year's blog has focused on the connections of group theory with logic and algorithms. The first post is on automata presentable groups. Then there are several posts related to…
Logic Blog 2019
Andre Nies
The blog focusses on algorithmic randomness and its connections to quantum information theory, group theory and its connections to logic, and computability analogs of cardinal char…
Logic Blog 2018
Andre Nies
Some notions from algorithmic randomness are extended to measures and to quantum states. There is a lot on group theory and its relation to logic. This includes some new results on…
Logic Blog 2017
Andre Nies
The blog is somewhat shorter than in previous years, It contains new insights in a variety of areas, including computability, quantum algorithmic version of the SMB theorem, descri…