{"id":"arxiv/2610.24919","url":"https://arxiv.org/abs/2610.24919","tags":["math.LO"],"score":0,"title":"The pattern of consistency strength for membership in a computably enumerable set","domain":"math.LO","source":"arxiv","authors":["Joel David Hamkins","Atticus Stonestrom"],"reviews":0,"subject":"math.LO","summary":"Every computable preorder relation on the natural numbers is the order of consistency strength for the membership assertions \"$n\\in A$\" in some computably enumerable set $A$. Moreover, for every computably enumerable list of theories $T_0,T_1,T_2,\\ldots$, each extending PA, there is a computably enumerable set $A$ such that each $T_n$ is equiconsistent over PA with the membership assertion $n\\in A$. And similarly for both results when using instead the nonmembership assertions $n\\notin A$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}