8 citations · 28 across the 19 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
Effective Prime Uniqueness
Peter Cholak, Charlie McCoy
Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable)…
math.LO2014★ 1 cited
-maximal sets
Peter Cholak, Peter Gerdes, Karen Lange
Soare proved that the maximal sets form an orbit in . We consider here -maximal sets, generalizations of maximal sets introduced by Herrmann and Kummer. S…