{"id":"arxiv/2607.10935","url":"https://arxiv.org/abs/2607.10935","tags":["math.LO"],"score":0,"title":"Infinite Belligerent Jump Inversion and Computable Scott Analysis","domain":"math.LO","source":"arxiv","authors":["Uri Andrews","David Gonzalez","Hongyu Zhu"],"reviews":0,"subject":"math.LO","summary":"Scott analysis provides two fundamental tools for studying countable structures: Scott sentences, which characterize structures up to isomorphism, and back-and-forth relations, which measure structural similarity. A recurring phenomenon in computable structure theory is that many notions naturally associated with level $α$ of Scott analysis have effective complexity at approximately $2α$ jumps. This discrepancy appears both in the complexity of the back-and-forth relations and in the passage from arbitrary infinitary formulas to computable infinitary formulas. We develop two new coding…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-12","reactions":{}}