2 citations · 2 across the 7 of their papers we have counts for
12 papers
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…
The Scott rank of Polish metric spaces
Sy Friedman, Katia Fokina, Martin Koerwien +1
We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational , there is a relation $R_…
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…