2,753 research outputs found
Generalized Effective Reducibility
We introduce two notions of effective reducibility for set-theoretical
statements, based on computability with Ordinal Turing Machines (OTMs), one of
which resembles Turing reducibility while the other is modelled after Weihrauch
reducibility. We give sample applications by showing that certain (algebraic)
constructions are not effective in the OTM-sense and considerung the effective
equivalence of various versions of the axiom of choice
A computability theoretic equivalent to Vaught's conjecture
We prove that, for every theory which is given by an sentence, has less than many countable
models if and only if we have that, for every on a cone of
Turing degrees, every -hyperarithmetic model of has an -computable
copy. We also find a concrete description, relative to some oracle, of the
Turing-degree spectra of all the models of a counterexample to Vaught's
conjecture
- …