id	sid	tid	token	lemma	pos
3t945q50t96	1	1	we	we	PRON
3t945q50t96	1	2	develop	develop	VERB
3t945q50t96	1	3	cω	cω	NOUN
3t945q50t96	1	4	-	-	PUNCT
3t945q50t96	1	5	valued	value	VERB
3t945q50t96	1	6	`	`	PUNCT
3t945q50t96	1	7	`	`	PUNCT
3t945q50t96	1	8	continuous	continuous	ADJ
3t945q50t96	1	9	''	''	PUNCT
3t945q50t96	1	10	logic	logic	NOUN
3t945q50t96	1	11	and	and	CCONJ
3t945q50t96	1	12	present	present	VERB
3t945q50t96	1	13	some	some	DET
3t945q50t96	1	14	model	model	ADJ
3t945q50t96	1	15	-	-	PUNCT
3t945q50t96	1	16	theoretic	theoretic	ADJ
3t945q50t96	1	17	results	result	NOUN
3t945q50t96	1	18	obtained	obtain	VERB
3t945q50t96	1	19	in	in	ADP
3t945q50t96	1	20	this	this	DET
3t945q50t96	1	21	context	context	NOUN
3t945q50t96	1	22	.	.	PUNCT
3t945q50t96	2	1	first	first	ADV
3t945q50t96	2	2	,	,	PUNCT
3t945q50t96	2	3	we	we	PRON
3t945q50t96	2	4	consider	consider	VERB
3t945q50t96	2	5	a	a	DET
3t945q50t96	2	6	description	description	NOUN
3t945q50t96	2	7	of	of	ADP
3t945q50t96	2	8	the	the	DET
3t945q50t96	2	9	bohr	bohr	NOUN
3t945q50t96	2	10	compactification	compactification	NOUN
3t945q50t96	2	11	of	of	ADP
3t945q50t96	2	12	an	an	DET
3t945q50t96	2	13	abelian	abelian	ADJ
3t945q50t96	2	14	topological	topological	ADJ
3t945q50t96	2	15	group	group	NOUN
3t945q50t96	2	16	(	(	PUNCT
3t945q50t96	2	17	or	or	CCONJ
3t945q50t96	2	18	even	even	ADV
3t945q50t96	2	19	a	a	DET
3t945q50t96	2	20	general	general	ADJ
3t945q50t96	2	21	functional	functional	ADJ
3t945q50t96	2	22	structure	structure	NOUN
3t945q50t96	2	23	)	)	PUNCT
3t945q50t96	2	24	as	as	ADP
3t945q50t96	2	25	a	a	DET
3t945q50t96	2	26	type	type	NOUN
3t945q50t96	2	27	space	space	NOUN
3t945q50t96	2	28	in	in	ADP
3t945q50t96	2	29	this	this	DET
3t945q50t96	2	30	logic	logic	NOUN
3t945q50t96	2	31	.	.	PUNCT
3t945q50t96	3	1	this	this	PRON
3t945q50t96	3	2	is	be	AUX
3t945q50t96	3	3	described	describe	VERB
3t945q50t96	3	4	in	in	ADP
3t945q50t96	3	5	the	the	DET
3t945q50t96	3	6	context	context	NOUN
3t945q50t96	3	7	of	of	ADP
3t945q50t96	3	8	the	the	DET
3t945q50t96	3	9	dualities	duality	NOUN
3t945q50t96	3	10	that	that	PRON
3t945q50t96	3	11	underpin	underpin	VERB
3t945q50t96	3	12	the	the	DET
3t945q50t96	3	13	logic	logic	NOUN
3t945q50t96	3	14	and	and	CCONJ
3t945q50t96	3	15	it	it	PRON
3t945q50t96	3	16	is	be	AUX
3t945q50t96	3	17	obtained	obtain	VERB
3t945q50t96	3	18	through	through	ADP
3t945q50t96	3	19	the	the	DET
3t945q50t96	3	20	use	use	NOUN
3t945q50t96	3	21	of	of	ADP
3t945q50t96	3	22	maps	map	NOUN
3t945q50t96	3	23	to	to	PART
3t945q50t96	3	24	compact	compact	VERB
3t945q50t96	3	25	metrizable	metrizable	ADJ
3t945q50t96	3	26	structures	structure	NOUN
3t945q50t96	3	27	.	.	PUNCT
3t945q50t96	4	1	next	next	ADV
3t945q50t96	4	2	we	we	PRON
3t945q50t96	4	3	consider	consider	VERB
3t945q50t96	4	4	the	the	DET
3t945q50t96	4	5	structure	structure	NOUN
3t945q50t96	4	6	of	of	ADP
3t945q50t96	4	7	δ	δ	PROPN
3t945q50t96	4	8	-	-	ADJ
3t945q50t96	4	9	stable	stable	ADJ
3t945q50t96	4	10	formulas	formula	NOUN
3t945q50t96	4	11	φ(x;y	φ(x;y	SPACE
3t945q50t96	4	12	)	)	PUNCT
3t945q50t96	4	13	.	.	PUNCT
3t945q50t96	5	1	partitions	partition	NOUN
3t945q50t96	5	2	of	of	ADP
3t945q50t96	5	3	the	the	DET
3t945q50t96	5	4	sorts	sort	NOUN
3t945q50t96	5	5	x	x	PUNCT
3t945q50t96	5	6	,	,	PUNCT
3t945q50t96	5	7	y	y	PROPN
3t945q50t96	5	8	of	of	ADP
3t945q50t96	5	9	a	a	DET
3t945q50t96	5	10	structure	structure	NOUN
3t945q50t96	5	11	are	be	AUX
3t945q50t96	5	12	produced	produce	VERB
3t945q50t96	5	13	such	such	ADJ
3t945q50t96	5	14	that	that	SCONJ
3t945q50t96	5	15	φ(x;y	φ(x;y	SPACE
3t945q50t96	5	16	)	)	PUNCT
3t945q50t96	5	17	is	be	AUX
3t945q50t96	5	18	"	"	PUNCT
3t945q50t96	5	19	almost	almost	ADV
3t945q50t96	5	20	constant	constant	ADJ
3t945q50t96	5	21	"	"	PUNCT
3t945q50t96	5	22	in	in	ADP
3t945q50t96	5	23	each	each	DET
3t945q50t96	5	24	pair	pair	NOUN
3t945q50t96	5	25	of	of	ADP
3t945q50t96	5	26	parts	part	NOUN
3t945q50t96	5	27	.	.	PUNCT
3t945q50t96	6	1	then	then	ADV
3t945q50t96	6	2	this	this	DET
3t945q50t96	6	3	result	result	NOUN
3t945q50t96	6	4	is	be	AUX
3t945q50t96	6	5	transferred	transfer	VERB
3t945q50t96	6	6	to	to	ADP
3t945q50t96	6	7	a	a	DET
3t945q50t96	6	8	finite	finite	ADJ
3t945q50t96	6	9	context	context	NOUN
3t945q50t96	6	10	to	to	PART
3t945q50t96	6	11	obtain	obtain	VERB
3t945q50t96	6	12	a	a	DET
3t945q50t96	6	13	continuous	continuous	ADJ
3t945q50t96	6	14	version	version	NOUN
3t945q50t96	6	15	of	of	ADP
3t945q50t96	6	16	malliaris	malliaris	PROPN
3t945q50t96	6	17	and	and	CCONJ
3t945q50t96	6	18	shelah	shelah	PROPN
3t945q50t96	6	19	's	's	PART
3t945q50t96	6	20	stable	stable	ADJ
3t945q50t96	6	21	regularity	regularity	NOUN
3t945q50t96	6	22	lemma	lemma	NOUN
3t945q50t96	6	23	.	.	PUNCT
3t945q50t96	7	1	finally	finally	ADV
3t945q50t96	7	2	,	,	PUNCT
3t945q50t96	7	3	we	we	PRON
3t945q50t96	7	4	consider	consider	VERB
3t945q50t96	7	5	a	a	DET
3t945q50t96	7	6	double	double	ADJ
3t945q50t96	7	7	extension	extension	NOUN
3t945q50t96	7	8	of	of	ADP
3t945q50t96	7	9	the	the	DET
3t945q50t96	7	10	classical	classical	ADJ
3t945q50t96	7	11	result	result	NOUN
3t945q50t96	7	12	of	of	ADP
3t945q50t96	7	13	positive	positive	ADJ
3t945q50t96	7	14	primitive	primitive	ADJ
3t945q50t96	7	15	elimination	elimination	NOUN
3t945q50t96	7	16	in	in	ADP
3t945q50t96	7	17	modules	module	NOUN
3t945q50t96	7	18	,	,	PUNCT
3t945q50t96	7	19	first	first	ADV
3t945q50t96	7	20	to	to	ADP
3t945q50t96	7	21	abelian	abelian	ADJ
3t945q50t96	7	22	groups	group	NOUN
3t945q50t96	7	23	with	with	ADP
3t945q50t96	7	24	length	length	NOUN
3t945q50t96	7	25	functions	function	NOUN
3t945q50t96	7	26	,	,	PUNCT
3t945q50t96	7	27	and	and	CCONJ
3t945q50t96	7	28	then	then	ADV
3t945q50t96	7	29	to	to	ADP
3t945q50t96	7	30	abelian	abelian	ADJ
3t945q50t96	7	31	groups	group	NOUN
3t945q50t96	7	32	with	with	ADP
3t945q50t96	7	33	length	length	NOUN
3t945q50t96	7	34	functions	function	NOUN
3t945q50t96	7	35	and	and	CCONJ
3t945q50t96	7	36	homomorphisms	homomorphism	NOUN
3t945q50t96	7	37	to	to	ADP
3t945q50t96	7	38	compact	compact	ADJ
3t945q50t96	7	39	groups	group	NOUN
3t945q50t96	7	40	.	.	PUNCT
3t945q50t96	8	1	the	the	DET
3t945q50t96	8	2	latter	latter	ADJ
3t945q50t96	8	3	requires	require	VERB
3t945q50t96	8	4	a	a	DET
3t945q50t96	8	5	different	different	ADJ
3t945q50t96	8	6	formalism	formalism	NOUN
3t945q50t96	8	7	of	of	ADP
3t945q50t96	8	8	"	"	PUNCT
3t945q50t96	8	9	continuous	continuous	ADJ
3t945q50t96	8	10	logic	logic	NOUN
3t945q50t96	8	11	"	"	PUNCT
3t945q50t96	8	12	,	,	PUNCT
3t945q50t96	8	13	which	which	PRON
3t945q50t96	8	14	we	we	PRON
3t945q50t96	8	15	flesh	flesh	VERB
3t945q50t96	8	16	out	out	ADP
3t945q50t96	8	17	in	in	ADP
3t945q50t96	8	18	some	some	DET
3t945q50t96	8	19	detail	detail	NOUN
3t945q50t96	8	20	.	.	PUNCT