Torsion-free abelian groups are consistently {\rm a}\Delta ^1_2-complete

Abstract: Let

m b o x T F A G

be the theory of torsion-free abelian groups. We show that if there is no countable transitive model of

Z F C^{-} + k a p p a (o m e g a)

exists, then

m b o x T F A G

is

a D e l t a_{2}^{1}

-complete; in particular, this is consistent with

Z F C

. We define the

a l p h a

-ary Schr"{o}der- Bernstein property, and show that

m b o x T F A G

fails the

a l p h a

-ary Schr"{o}der-Bernstein property for every

a l p h a < k a p p a (o m e g a)

. We leave open whether or not

m b o x T F A G

can have the

k a p p a (o m e g a)

-ary Schr"{o}der-Bernstein property; if it did, then it would not be

a D e l t a_{2}^{1}

-complete, and hence not Borel complete.

Recommendations

Cites Work

Cited In (2)

This page was built for publication: Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete