5 citations · 11 across the 18 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.GR2019
Finite axiomatizability for profinite groups
Andre Nies, Dan Segal, Katrin Tent
A group is (FA) in a class if it can be determined up to isomorphism within by a sentence in the first-order language…
math.MG2019
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_…
math.LO2019
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…