id sid tid token lemma pos zp38w952q84 1 1 we we PRON zp38w952q84 1 2 investigate investigate VERB zp38w952q84 1 3 computability computability ADJ zp38w952q84 1 4 theoretic theoretic ADJ zp38w952q84 1 5 properties property NOUN zp38w952q84 1 6 of of ADP zp38w952q84 1 7 algebraic algebraic ADJ zp38w952q84 1 8 structures structure NOUN zp38w952q84 1 9 . . PUNCT zp38w952q84 2 1 first first ADV zp38w952q84 2 2 we we PRON zp38w952q84 2 3 consider consider VERB zp38w952q84 2 4 computable computable ADJ zp38w952q84 2 5 free free ADJ zp38w952q84 2 6 groups group NOUN zp38w952q84 2 7 . . PUNCT zp38w952q84 3 1 we we PRON zp38w952q84 3 2 give give VERB zp38w952q84 3 3 a a DET zp38w952q84 3 4 characterization characterization NOUN zp38w952q84 3 5 of of ADP zp38w952q84 3 6 the the DET zp38w952q84 3 7 elements element NOUN zp38w952q84 3 8 in in ADP zp38w952q84 3 9 a a DET zp38w952q84 3 10 free free ADJ zp38w952q84 3 11 group group NOUN zp38w952q84 3 12 that that PRON zp38w952q84 3 13 satisfy satisfy VERB zp38w952q84 3 14 the the DET zp38w952q84 3 15 same same ADJ zp38w952q84 3 16 universal universal ADJ zp38w952q84 3 17 sentences sentence NOUN zp38w952q84 3 18 as as ADP zp38w952q84 3 19 the the DET zp38w952q84 3 20 elements element NOUN zp38w952q84 3 21 that that PRON zp38w952q84 3 22 are be AUX zp38w952q84 3 23 part part NOUN zp38w952q84 3 24 of of ADP zp38w952q84 3 25 a a DET zp38w952q84 3 26 basis basis NOUN zp38w952q84 3 27 . . PUNCT zp38w952q84 4 1 we we PRON zp38w952q84 4 2 then then ADV zp38w952q84 4 3 prove prove VERB zp38w952q84 4 4 that that SCONJ zp38w952q84 4 5 the the DET zp38w952q84 4 6 index index NOUN zp38w952q84 4 7 set set VERB zp38w952q84 4 8 for for ADP zp38w952q84 4 9 the the DET zp38w952q84 4 10 class class NOUN zp38w952q84 4 11 of of ADP zp38w952q84 4 12 all all DET zp38w952q84 4 13 free free ADJ zp38w952q84 4 14 groups group NOUN zp38w952q84 4 15 is be AUX zp38w952q84 4 16 m m ADV zp38w952q84 4 17 - - ADJ zp38w952q84 4 18 complete complete ADJ zp38w952q84 4 19 ì_åê04 ì_åê04 PROPN zp38w952q84 4 20 . . PUNCT zp38w952q84 5 1 we we PRON zp38w952q84 5 2 also also ADV zp38w952q84 5 3 consider consider VERB zp38w952q84 5 4 bases basis NOUN zp38w952q84 5 5 for for ADP zp38w952q84 5 6 fì¢è fì¢è PROPN zp38w952q84 5 7     SPACE zp38w952q84 5 8 _ _ PROPN zp38w952q84 5 9 , , PUNCT zp38w952q84 5 10 the the DET zp38w952q84 5 11 countably countably ADV zp38w952q84 5 12 generated generate VERB zp38w952q84 5 13 free free ADJ zp38w952q84 5 14 group group NOUN zp38w952q84 5 15 . . PUNCT zp38w952q84 6 1 we we PRON zp38w952q84 6 2 show show VERB zp38w952q84 6 3 that that SCONJ zp38w952q84 6 4 every every DET zp38w952q84 6 5 computable computable ADJ zp38w952q84 6 6 copy copy NOUN zp38w952q84 6 7 of of ADP zp38w952q84 6 8 fì¢è fì¢è PROPN zp38w952q84 6 9     SPACE zp38w952q84 6 10 _ _ PROPN zp38w952q84 6 11 has have VERB zp38w952q84 6 12 a a DET zp38w952q84 6 13 ì_åê02 ì_åê02 ADJ zp38w952q84 6 14 basis basis NOUN zp38w952q84 6 15 , , PUNCT zp38w952q84 6 16 and and CCONJ zp38w952q84 6 17 that that SCONJ zp38w952q84 6 18 there there PRON zp38w952q84 6 19 exists exist VERB zp38w952q84 6 20 a a DET zp38w952q84 6 21 computable computable ADJ zp38w952q84 6 22 copy copy NOUN zp38w952q84 6 23 with with ADP zp38w952q84 6 24 no no DET zp38w952q84 6 25 ì_å£02 ì_å£02 ADJ zp38w952q84 6 26 basis basis NOUN zp38w952q84 6 27 . . PUNCT zp38w952q84 7 1 next next ADV zp38w952q84 7 2 we we PRON zp38w952q84 7 3 study study VERB zp38w952q84 7 4 the the DET zp38w952q84 7 5 sets set NOUN zp38w952q84 7 6 that that PRON zp38w952q84 7 7 can can AUX zp38w952q84 7 8 be be AUX zp38w952q84 7 9 coded code VERB zp38w952q84 7 10 into into ADP zp38w952q84 7 11 a a DET zp38w952q84 7 12 computable computable ADJ zp38w952q84 7 13 abelian abelian ADJ zp38w952q84 7 14 p p NOUN zp38w952q84 7 15 - - PUNCT zp38w952q84 7 16 group group NOUN zp38w952q84 7 17 . . PUNCT zp38w952q84 8 1 we we PRON zp38w952q84 8 2 show show VERB zp38w952q84 8 3 that that SCONJ zp38w952q84 8 4 for for ADP zp38w952q84 8 5 any any DET zp38w952q84 8 6 non non ADJ zp38w952q84 8 7 - - ADJ zp38w952q84 8 8 computable computable ADJ zp38w952q84 8 9 ì¢è ì¢è PROPN zp38w952q84 8 10     SPACE zp38w952q84 8 11 ' ' NUM zp38w952q84 8 12 ê02 ê02 NOUN zp38w952q84 8 13 degree degree NOUN zp38w952q84 8 14 , , PUNCT zp38w952q84 8 15 there there PRON zp38w952q84 8 16 is be VERB zp38w952q84 8 17 an an DET zp38w952q84 8 18 abelian abelian ADJ zp38w952q84 8 19 p p NOUN zp38w952q84 8 20 - - PUNCT zp38w952q84 8 21 group group NOUN zp38w952q84 8 22 with with ADP zp38w952q84 8 23 a a DET zp38w952q84 8 24 copy copy NOUN zp38w952q84 8 25 in in ADP zp38w952q84 8 26 that that DET zp38w952q84 8 27 degree degree NOUN zp38w952q84 8 28 and and CCONJ zp38w952q84 8 29 no no DET zp38w952q84 8 30 computable computable ADJ zp38w952q84 8 31 copy copy NOUN zp38w952q84 8 32 . . PUNCT zp38w952q84 9 1 we we PRON zp38w952q84 9 2 also also ADV zp38w952q84 9 3 show show VERB zp38w952q84 9 4 that that SCONJ zp38w952q84 9 5 there there PRON zp38w952q84 9 6 is be VERB zp38w952q84 9 7 an an DET zp38w952q84 9 8 abelian abelian ADJ zp38w952q84 9 9 p p NOUN zp38w952q84 9 10 - - PUNCT zp38w952q84 9 11 group group NOUN zp38w952q84 9 12 with with ADP zp38w952q84 9 13 no no DET zp38w952q84 9 14 computable computable ADJ zp38w952q84 9 15 copy copy NOUN zp38w952q84 9 16 , , PUNCT zp38w952q84 9 17 but but CCONJ zp38w952q84 9 18 that that PRON zp38w952q84 9 19 can can AUX zp38w952q84 9 20 be be AUX zp38w952q84 9 21 computed compute VERB zp38w952q84 9 22 by by ADP zp38w952q84 9 23 any any DET zp38w952q84 9 24 degree degree NOUN zp38w952q84 9 25 in in ADP zp38w952q84 9 26 a a DET zp38w952q84 9 27 set set NOUN zp38w952q84 9 28 of of ADP zp38w952q84 9 29 degrees degree NOUN zp38w952q84 9 30 of of ADP zp38w952q84 9 31 measure measure NOUN zp38w952q84 9 32 1 1 NUM zp38w952q84 9 33 . . PUNCT zp38w952q84 10 1 finally finally ADV zp38w952q84 10 2 , , PUNCT zp38w952q84 10 3 we we PRON zp38w952q84 10 4 study study VERB zp38w952q84 10 5 presentations presentation NOUN zp38w952q84 10 6 of of ADP zp38w952q84 10 7 partial partial ADJ zp38w952q84 10 8 orders order NOUN zp38w952q84 10 9 . . PUNCT zp38w952q84 11 1 podzorov podzorov PROPN zp38w952q84 11 2 showed show VERB zp38w952q84 11 3 that that SCONJ zp38w952q84 11 4 any any DET zp38w952q84 11 5 local local ADJ zp38w952q84 11 6 lattice lattice NOUN zp38w952q84 11 7 that that PRON zp38w952q84 11 8 has have VERB zp38w952q84 11 9 a a DET zp38w952q84 11 10 ì¢è ì¢è PROPN zp38w952q84 11 11     SPACE zp38w952q84 11 12 ' ' NUM zp38w952q84 11 13 ê02 ê02 NOUN zp38w952q84 11 14 presentation presentation NOUN zp38w952q84 11 15 also also ADV zp38w952q84 11 16 has have VERB zp38w952q84 11 17 a a DET zp38w952q84 11 18 c.e c.e PROPN zp38w952q84 11 19 . . PROPN zp38w952q84 11 20 presentation presentation NOUN zp38w952q84 11 21 . . PUNCT zp38w952q84 12 1 we we PRON zp38w952q84 12 2 show show VERB zp38w952q84 12 3 that that SCONJ zp38w952q84 12 4 his his PRON zp38w952q84 12 5 result result NOUN zp38w952q84 12 6 does do AUX zp38w952q84 12 7 not not PART zp38w952q84 12 8 extend extend VERB zp38w952q84 12 9 to to ADP zp38w952q84 12 10 the the DET zp38w952q84 12 11 class class NOUN zp38w952q84 12 12 of of ADP zp38w952q84 12 13 all all DET zp38w952q84 12 14 partial partial ADJ zp38w952q84 12 15 orders order NOUN zp38w952q84 12 16 by by ADP zp38w952q84 12 17 coding code VERB zp38w952q84 12 18 a a DET zp38w952q84 12 19 particular particular ADJ zp38w952q84 12 20 set set NOUN zp38w952q84 12 21 into into ADP zp38w952q84 12 22 a a DET zp38w952q84 12 23 partial partial ADJ zp38w952q84 12 24 order order NOUN zp38w952q84 12 25 . . PUNCT