2 citations · 2 across the 1 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2018★ 2 cited
Strong Jump Inversion
W. Calvert, A. Frolov, V. Harizanov +4
We say that a structure admits \emph{strong jump inversion} provided that for every oracle , if computes for some $\mathcal{C}\cong\mathcal{…
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)…