most citedComputable structures of rank omega_1^{CK}

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

collaborators

2 papers

math.LO2005★ 1 cited

Constructing the hyperdefinable group from the group configuration

Tristram De Piro, Byunghan Kim, Jessica Millar

For simple theories with a strong version of amalgamation we obtain the canonical hyperdefinable group from the group configuration. This provides a generalization to simple theori…

math.LO2005★ 1 cited

Computable structures of rank omega_1^{CK}

Julia Knight, Jessica Millar

We obtain a computable structure of Scott rank omega_1^{CK} (call this ock), and give a general coding procedure that transforms any hyperarithmetical structure A into a computable…