id	sid	tid	token	lemma	pos
pr76f19199j	1	1	we	we	PRON
pr76f19199j	1	2	consider	consider	VERB
pr76f19199j	1	3	the	the	DET
pr76f19199j	1	4	question	question	NOUN
pr76f19199j	1	5	of	of	ADP
pr76f19199j	1	6	universality	universality	NOUN
pr76f19199j	1	7	among	among	ADP
pr76f19199j	1	8	computable	computable	ADJ
pr76f19199j	1	9	ω	ω	NOUN
pr76f19199j	1	10	-	-	PUNCT
pr76f19199j	1	11	branching	branching	NOUN
pr76f19199j	1	12	trees	tree	NOUN
pr76f19199j	1	13	.	.	PUNCT
pr76f19199j	2	1	to	to	ADP
pr76f19199j	2	2	this	this	DET
pr76f19199j	2	3	end	end	NOUN
pr76f19199j	2	4	,	,	PUNCT
pr76f19199j	2	5	we	we	PRON
pr76f19199j	2	6	construct	construct	VERB
pr76f19199j	2	7	a	a	DET
pr76f19199j	2	8	computable	computable	ADJ
pr76f19199j	2	9	ω	ω	X
pr76f19199j	2	10	-	-	PUNCT
pr76f19199j	2	11	branching	branching	NOUN
pr76f19199j	2	12	tree	tree	NOUN
pr76f19199j	2	13	tkp	tkp	X
pr76f19199j	3	1	whose	whose	DET
pr76f19199j	3	2	paths	path	NOUN
pr76f19199j	3	3	compute	compute	VERB
pr76f19199j	3	4	the	the	DET
pr76f19199j	3	5	complete	complete	ADJ
pr76f19199j	3	6	diagrams	diagram	NOUN
pr76f19199j	3	7	of	of	ADP
pr76f19199j	3	8	the	the	DET
pr76f19199j	3	9	countable	countable	ADJ
pr76f19199j	3	10	ω	ω	NOUN
pr76f19199j	3	11	-	-	PUNCT
pr76f19199j	3	12	models	model	NOUN
pr76f19199j	3	13	of	of	ADP
pr76f19199j	3	14	kripke	kripke	PROPN
pr76f19199j	3	15	-	-	PUNCT
pr76f19199j	3	16	platek	platek	PROPN
pr76f19199j	3	17	set	set	NOUN
pr76f19199j	3	18	theory	theory	NOUN
pr76f19199j	3	19	(	(	PUNCT
pr76f19199j	3	20	kp	kp	PROPN
pr76f19199j	3	21	)	)	PUNCT
pr76f19199j	3	22	.	.	PUNCT
pr76f19199j	4	1	we	we	PRON
pr76f19199j	4	2	show	show	VERB
pr76f19199j	4	3	that	that	SCONJ
pr76f19199j	4	4	,	,	PUNCT
pr76f19199j	4	5	given	give	VERB
pr76f19199j	4	6	a	a	DET
pr76f19199j	4	7	path	path	NOUN
pr76f19199j	4	8	f	f	PROPN
pr76f19199j	4	9	through	through	ADP
pr76f19199j	4	10	tkp	tkp	PROPN
pr76f19199j	4	11	,	,	PUNCT
pr76f19199j	4	12	representing	represent	VERB
pr76f19199j	4	13	a	a	DET
pr76f19199j	4	14	model	model	NOUN
pr76f19199j	4	15	m	m	PROPN
pr76f19199j	4	16	of	of	ADP
pr76f19199j	4	17	kp	kp	PROPN
pr76f19199j	4	18	,	,	PUNCT
pr76f19199j	4	19	and	and	CCONJ
pr76f19199j	4	20	another	another	DET
pr76f19199j	4	21	computable	computable	ADJ
pr76f19199j	4	22	ill	ill	ADV
pr76f19199j	4	23	-	-	PUNCT
pr76f19199j	4	24	founded	found	VERB
pr76f19199j	4	25	ω	ω	PROPN
pr76f19199j	4	26	-	-	PUNCT
pr76f19199j	4	27	branching	branching	NOUN
pr76f19199j	4	28	tree	tree	NOUN
pr76f19199j	4	29	t	t	PROPN
pr76f19199j	4	30	,	,	PUNCT
pr76f19199j	4	31	if	if	SCONJ
pr76f19199j	4	32	f	f	PROPN
pr76f19199j	4	33	fails	fail	VERB
pr76f19199j	4	34	to	to	PART
pr76f19199j	4	35	compute	compute	VERB
pr76f19199j	4	36	a	a	DET
pr76f19199j	4	37	path	path	NOUN
pr76f19199j	4	38	throught	throught	ADV
pr76f19199j	4	39	,	,	PUNCT
pr76f19199j	4	40	then	then	ADV
pr76f19199j	4	41	m	m	AUX
pr76f19199j	4	42	assigns	assign	VERB
pr76f19199j	4	43	to	to	ADP
pr76f19199j	4	44	t	t	PROPN
pr76f19199j	4	45	a	a	DET
pr76f19199j	4	46	nonstandard	nonstandard	ADJ
pr76f19199j	4	47	ordinal	ordinal	ADJ
pr76f19199j	4	48	tree	tree	NOUN
pr76f19199j	4	49	rank	rank	NOUN
pr76f19199j	4	50	.	.	PUNCT
pr76f19199j	5	1	further	far	ADV
pr76f19199j	5	2	,	,	PUNCT
pr76f19199j	5	3	we	we	PRON
pr76f19199j	5	4	indicate	indicate	VERB
pr76f19199j	5	5	some	some	DET
pr76f19199j	5	6	circumstances	circumstance	NOUN
pr76f19199j	5	7	in	in	ADP
pr76f19199j	5	8	which	which	PRON
pr76f19199j	5	9	,	,	PUNCT
pr76f19199j	5	10	given	give	VERB
pr76f19199j	5	11	computable	computable	ADJ
pr76f19199j	5	12	ω	ω	NOUN
pr76f19199j	5	13	-	-	PUNCT
pr76f19199j	5	14	branching	branching	NOUN
pr76f19199j	5	15	trees	tree	NOUN
pr76f19199j	5	16	t0	t0	PROPN
pr76f19199j	5	17	and	and	CCONJ
pr76f19199j	5	18	t1	t1	PROPN
pr76f19199j	5	19	,	,	PUNCT
pr76f19199j	5	20	a	a	DET
pr76f19199j	5	21	path	path	NOUN
pr76f19199j	5	22	through	through	ADP
pr76f19199j	5	23	tkp	tkp	PROPN
pr76f19199j	5	24	helps	help	VERB
pr76f19199j	5	25	the	the	DET
pr76f19199j	5	26	paths	path	NOUN
pr76f19199j	5	27	through	through	ADP
pr76f19199j	5	28	t0	t0	PROPN
pr76f19199j	5	29	compute	compute	NOUN
pr76f19199j	5	30	paths	path	NOUN
pr76f19199j	5	31	through	through	ADP
pr76f19199j	5	32	t1.in	t1.in	ADV
pr76f19199j	5	33	a	a	DET
pr76f19199j	5	34	different	different	ADJ
pr76f19199j	5	35	line	line	NOUN
pr76f19199j	5	36	of	of	ADP
pr76f19199j	5	37	work	work	NOUN
pr76f19199j	5	38	,	,	PUNCT
pr76f19199j	5	39	we	we	PRON
pr76f19199j	5	40	consider	consider	VERB
pr76f19199j	5	41	effective	effective	ADJ
pr76f19199j	5	42	forcing	force	VERB
pr76f19199j	5	43	notions	notion	NOUN
pr76f19199j	5	44	.	.	PUNCT
pr76f19199j	6	1	in	in	ADP
pr76f19199j	6	2	particular	particular	ADJ
pr76f19199j	6	3	,	,	PUNCT
pr76f19199j	6	4	we	we	PRON
pr76f19199j	6	5	define	define	VERB
pr76f19199j	6	6	a	a	DET
pr76f19199j	6	7	class	class	NOUN
pr76f19199j	6	8	of	of	ADP
pr76f19199j	6	9	effective	effective	ADJ
pr76f19199j	6	10	forcing	force	VERB
pr76f19199j	6	11	notions	notion	NOUN
pr76f19199j	6	12	that	that	PRON
pr76f19199j	6	13	are	be	AUX
pr76f19199j	6	14	similar	similar	ADJ
pr76f19199j	6	15	to	to	ADP
pr76f19199j	6	16	versions	version	NOUN
pr76f19199j	6	17	of	of	ADP
pr76f19199j	6	18	mathias	mathia	NOUN
pr76f19199j	6	19	forcing	force	VERB
pr76f19199j	6	20	and	and	CCONJ
pr76f19199j	6	21	cohen	cohen	PROPN
pr76f19199j	6	22	forcing	force	VERB
pr76f19199j	6	23	defined	define	VERB
pr76f19199j	6	24	in	in	ADP
pr76f19199j	6	25	the	the	DET
pr76f19199j	6	26	literature	literature	NOUN
pr76f19199j	6	27	,	,	PUNCT
pr76f19199j	6	28	and	and	CCONJ
pr76f19199j	6	29	prove	prove	VERB
pr76f19199j	6	30	some	some	DET
pr76f19199j	6	31	results	result	NOUN
pr76f19199j	6	32	about	about	ADP
pr76f19199j	6	33	how	how	SCONJ
pr76f19199j	6	34	these	these	DET
pr76f19199j	6	35	notions	notion	NOUN
pr76f19199j	6	36	relate	relate	VERB
pr76f19199j	6	37	.	.	PUNCT
pr76f19199j	7	1	as	as	ADP
pr76f19199j	7	2	a	a	DET
pr76f19199j	7	3	consequence	consequence	NOUN
pr76f19199j	7	4	,	,	PUNCT
pr76f19199j	7	5	we	we	PRON
pr76f19199j	7	6	see	see	VERB
pr76f19199j	7	7	that	that	SCONJ
pr76f19199j	7	8	the	the	DET
pr76f19199j	7	9	generics	generic	NOUN
pr76f19199j	7	10	for	for	ADP
pr76f19199j	7	11	an	an	DET
pr76f19199j	7	12	effective	effective	ADJ
pr76f19199j	7	13	version	version	NOUN
pr76f19199j	7	14	of	of	ADP
pr76f19199j	7	15	mathias	mathia	NOUN
pr76f19199j	7	16	forcing	force	VERB
pr76f19199j	7	17	compute	compute	NOUN
pr76f19199j	7	18	generics	generics	PROPN
pr76f19199j	7	19	for	for	ADP
pr76f19199j	7	20	an	an	DET
pr76f19199j	7	21	effective	effective	ADJ
pr76f19199j	7	22	version	version	NOUN
pr76f19199j	7	23	of	of	ADP
pr76f19199j	7	24	hechler	hechler	NOUN
pr76f19199j	7	25	forcing	forcing	NOUN
pr76f19199j	7	26	,	,	PUNCT
pr76f19199j	7	27	and	and	CCONJ
pr76f19199j	7	28	vice	vice	NOUN
pr76f19199j	7	29	-	-	ADJ
pr76f19199j	7	30	versa	versa	ADJ
pr76f19199j	7	31	.	.	PUNCT
pr76f19199j	8	1	later	later	ADV
pr76f19199j	8	2	,	,	PUNCT
pr76f19199j	8	3	we	we	PRON
pr76f19199j	8	4	focus	focus	VERB
pr76f19199j	8	5	on	on	ADP
pr76f19199j	8	6	a	a	DET
pr76f19199j	8	7	notion	notion	NOUN
pr76f19199j	8	8	of	of	ADP
pr76f19199j	8	9	mathias	mathia	NOUN
pr76f19199j	8	10	forcing	force	VERB
pr76f19199j	8	11	over	over	ADP
pr76f19199j	8	12	a	a	DET
pr76f19199j	8	13	countable	countable	ADJ
pr76f19199j	8	14	turing	ture	VERB
pr76f19199j	8	15	ideal	ideal	NOUN
pr76f19199j	8	16	,	,	PUNCT
pr76f19199j	8	17	defined	define	VERB
pr76f19199j	8	18	by	by	ADP
pr76f19199j	8	19	cholak	cholak	ADJ
pr76f19199j	8	20	,	,	PUNCT
pr76f19199j	8	21	dzhafarov	dzhafarov	ADJ
pr76f19199j	8	22	,	,	PUNCT
pr76f19199j	8	23	and	and	CCONJ
pr76f19199j	8	24	soskova	soskova	PROPN
pr76f19199j	8	25	.	.	PUNCT
pr76f19199j	9	1	we	we	PRON
pr76f19199j	9	2	show	show	VERB
pr76f19199j	9	3	that	that	SCONJ
pr76f19199j	9	4	there	there	PRON
pr76f19199j	9	5	are	be	VERB
pr76f19199j	9	6	nested	nest	VERB
pr76f19199j	9	7	turing	ture	VERB
pr76f19199j	9	8	ideals	ideal	NOUN
pr76f19199j	9	9	for	for	ADP
pr76f19199j	9	10	which	which	PRON
pr76f19199j	9	11	the	the	DET
pr76f19199j	9	12	mathias	mathia	NOUN
pr76f19199j	9	13	generics	generics	PROPN
pr76f19199j	9	14	for	for	ADP
pr76f19199j	9	15	the	the	DET
pr76f19199j	9	16	larger	large	ADJ
pr76f19199j	9	17	ideal	ideal	NOUN
pr76f19199j	9	18	do	do	AUX
pr76f19199j	9	19	not	not	PART
pr76f19199j	9	20	all	all	PRON
pr76f19199j	9	21	compute	compute	NOUN
pr76f19199j	9	22	mathias	mathia	NOUN
pr76f19199j	9	23	generics	generics	PROPN
pr76f19199j	9	24	for	for	ADP
pr76f19199j	9	25	the	the	DET
pr76f19199j	9	26	smaller	small	ADJ
pr76f19199j	9	27	ideal	ideal	NOUN
pr76f19199j	9	28	.	.	PUNCT