Jump Inversions of Algebraic Structures and the Σ-Definability
Sign Up to like & getrecommendations! Published in 2018 at "Algebra and Logic"
DOI: 10.1007/s10469-018-9488-3
Abstract: It is proved that for every countable structure A and a successive computable ordinal α there is a countable structure A−α which is ≤Σ-least among all countable structures C such that A is Σ-definable in… read more here.
Keywords: algebraic structures; research; jump; countable structure ... See more keywords