most citedDetecting properties from descriptions of groups

1 citations · 1 across the 1 of their papers we have counts for

collaborators

2 papers

math.LO2019★ 1 cited

Detecting properties from descriptions of groups

Jennifer Chubb, Iva Bilanovic, Sam Roven

We consider whether given a simple, finite description of a group in the form of an algorithm, it is possible to algorithmically determine if the corresponding group has some speci…

math.LO2019

Model completeness and relative decidability

Jennifer Chubb, Russell Miller, Reed Solomon

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A…