Effective prime uniqueness Article Swipe
Related Concepts
Peter Cholak
,
Charlie McCoy
·
YOU?
·
· 2017
· Open Access
·
· DOI: https://doi.org/10.1090/proc/13675
· OA: W1523614408
YOU?
·
· 2017
· Open Access
·
· DOI: https://doi.org/10.1090/proc/13675
· OA: W1523614408
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) models are computably isomorphic. This is in contrast to the theorem that there are two atomic decidable models which are not computably isomorphic. The implications of this work in reverse mathematics is that "effectively prime implies effectively atomic" holds in topped models. But due to an observation of David Belanger, "effectively prime implies effectively atomic" fails for some Scott sets. The reserve mathematical strength of "Prime Uniqueness" remains open.
Related Topics
Finding more related topics…