id	sid	tid	token	lemma	pos
6969z031n0d	1	1	in	in	ADP
6969z031n0d	1	2	the	the	DET
6969z031n0d	1	3	mathematical	mathematical	ADJ
6969z031n0d	1	4	part	part	NOUN
6969z031n0d	1	5	,	,	PUNCT
6969z031n0d	1	6	we	we	PRON
6969z031n0d	1	7	focus	focus	VERB
6969z031n0d	1	8	on	on	ADP
6969z031n0d	1	9	computability	computability	NOUN
6969z031n0d	1	10	-	-	PUNCT
6969z031n0d	1	11	theoretic	theoretic	ADJ
6969z031n0d	1	12	issues	issue	NOUN
6969z031n0d	1	13	concerning	concern	VERB
6969z031n0d	1	14	models	model	NOUN
6969z031n0d	1	15	of	of	ADP
6969z031n0d	1	16	first	first	ADJ
6969z031n0d	1	17	-	-	PUNCT
6969z031n0d	1	18	order	order	NOUN
6969z031n0d	1	19	peano	peano	PROPN
6969z031n0d	1	20	arithmetic	arithmetic	PROPN
6969z031n0d	1	21	(	(	PUNCT
6969z031n0d	1	22	pa	pa	PROPN
6969z031n0d	1	23	)	)	PUNCT
6969z031n0d	1	24	.	.	PUNCT
6969z031n0d	2	1	in	in	ADP
6969z031n0d	2	2	chapter	chapter	NOUN
6969z031n0d	2	3	2	2	NUM
6969z031n0d	2	4	,	,	PUNCT
6969z031n0d	2	5	we	we	PRON
6969z031n0d	2	6	investigate	investigate	VERB
6969z031n0d	2	7	the	the	DET
6969z031n0d	2	8	complexity	complexity	NOUN
6969z031n0d	2	9	of	of	ADP
6969z031n0d	2	10	m	m	NOUN
6969z031n0d	2	11	-	-	NOUN
6969z031n0d	2	12	diagrams	diagram	NOUN
6969z031n0d	2	13	of	of	ADP
6969z031n0d	2	14	models	model	NOUN
6969z031n0d	2	15	of	of	ADP
6969z031n0d	2	16	various	various	ADJ
6969z031n0d	2	17	completions	completion	NOUN
6969z031n0d	2	18	of	of	ADP
6969z031n0d	2	19	pa	pa	PROPN
6969z031n0d	2	20	.	.	PUNCT
6969z031n0d	3	1	we	we	PRON
6969z031n0d	3	2	obtain	obtain	VERB
6969z031n0d	3	3	characterizations	characterization	NOUN
6969z031n0d	3	4	that	that	PRON
6969z031n0d	3	5	extend	extend	VERB
6969z031n0d	3	6	solovay	solovay	NOUN
6969z031n0d	3	7	's	's	PART
6969z031n0d	3	8	results	result	NOUN
6969z031n0d	3	9	for	for	ADP
6969z031n0d	3	10	open	open	ADJ
6969z031n0d	3	11	diagrams	diagram	NOUN
6969z031n0d	3	12	of	of	ADP
6969z031n0d	3	13	models	model	NOUN
6969z031n0d	3	14	of	of	ADP
6969z031n0d	3	15	completions	completion	NOUN
6969z031n0d	3	16	of	of	ADP
6969z031n0d	3	17	pa	pa	PROPN
6969z031n0d	3	18	.	.	PUNCT
6969z031n0d	4	1	in	in	ADP
6969z031n0d	4	2	chapter	chapter	NOUN
6969z031n0d	4	3	3	3	NUM
6969z031n0d	4	4	,	,	PUNCT
6969z031n0d	4	5	we	we	PRON
6969z031n0d	4	6	characterize	characterize	VERB
6969z031n0d	4	7	sequences	sequence	NOUN
6969z031n0d	4	8	of	of	ADP
6969z031n0d	4	9	turing	ture	VERB
6969z031n0d	4	10	degrees	degree	NOUN
6969z031n0d	4	11	that	that	PRON
6969z031n0d	4	12	occur	occur	VERB
6969z031n0d	4	13	as	as	ADP
6969z031n0d	4	14	{	{	PUNCT
6969z031n0d	4	15	deg(t	deg(t	PROPN
6969z031n0d	4	16	cap	cap	PROPN
6969z031n0d	4	17	sigma_n	sigma_n	SPACE
6969z031n0d	4	18	:	:	PUNCT
6969z031n0d	4	19	ninomega	ninomega	PROPN
6969z031n0d	4	20	}	}	PUNCT
6969z031n0d	4	21	,	,	PUNCT
6969z031n0d	4	22	where	where	SCONJ
6969z031n0d	4	23	t	t	PROPN
6969z031n0d	4	24	is	be	AUX
6969z031n0d	4	25	a	a	DET
6969z031n0d	4	26	completion	completion	NOUN
6969z031n0d	4	27	of	of	ADP
6969z031n0d	4	28	pa	pa	PROPN
6969z031n0d	4	29	.	.	PUNCT
6969z031n0d	5	1	in	in	ADP
6969z031n0d	5	2	chapter	chapter	NOUN
6969z031n0d	5	3	4	4	NUM
6969z031n0d	5	4	,	,	PUNCT
6969z031n0d	5	5	we	we	PRON
6969z031n0d	5	6	answer	answer	VERB
6969z031n0d	5	7	three	three	NUM
6969z031n0d	5	8	questions	question	NOUN
6969z031n0d	5	9	asked	ask	VERB
6969z031n0d	5	10	by	by	ADP
6969z031n0d	5	11	j.	j.	PROPN
6969z031n0d	5	12	knight	knight	PROPN
6969z031n0d	5	13	concerning	concern	VERB
6969z031n0d	5	14	potential	potential	ADJ
6969z031n0d	5	15	simplifications	simplification	NOUN
6969z031n0d	5	16	to	to	PART
6969z031n0d	5	17	solovay	solovay	VERB
6969z031n0d	5	18	's	's	PART
6969z031n0d	5	19	results	result	NOUN
6969z031n0d	5	20	.	.	PUNCT
6969z031n0d	6	1	we	we	PRON
6969z031n0d	6	2	show	show	VERB
6969z031n0d	6	3	that	that	SCONJ
6969z031n0d	6	4	these	these	DET
6969z031n0d	6	5	simplifications	simplification	NOUN
6969z031n0d	6	6	can	can	AUX
6969z031n0d	6	7	not	not	PART
6969z031n0d	6	8	be	be	AUX
6969z031n0d	6	9	made	make	VERB
6969z031n0d	6	10	,	,	PUNCT
6969z031n0d	6	11	by	by	ADP
6969z031n0d	6	12	proving	prove	VERB
6969z031n0d	6	13	some	some	DET
6969z031n0d	6	14	new	new	ADJ
6969z031n0d	6	15	independence	independence	NOUN
6969z031n0d	6	16	results	result	NOUN
6969z031n0d	6	17	.	.	PUNCT
6969z031n0d	7	1	in	in	ADP
6969z031n0d	7	2	chapter	chapter	NOUN
6969z031n0d	7	3	5	5	NUM
6969z031n0d	7	4	,	,	PUNCT
6969z031n0d	7	5	we	we	PRON
6969z031n0d	7	6	extend	extend	VERB
6969z031n0d	7	7	those	those	DET
6969z031n0d	7	8	independence	independence	NOUN
6969z031n0d	7	9	results	result	NOUN
6969z031n0d	7	10	,	,	PUNCT
6969z031n0d	7	11	using	use	VERB
6969z031n0d	7	12	methods	method	NOUN
6969z031n0d	7	13	from	from	ADP
6969z031n0d	7	14	higher	high	ADJ
6969z031n0d	7	15	recursion	recursion	NOUN
6969z031n0d	7	16	theory	theory	NOUN
6969z031n0d	7	17	.	.	PUNCT
6969z031n0d	8	1	in	in	ADP
6969z031n0d	8	2	the	the	DET
6969z031n0d	8	3	philosophical	philosophical	ADJ
6969z031n0d	8	4	part	part	NOUN
6969z031n0d	8	5	,	,	PUNCT
6969z031n0d	8	6	we	we	PRON
6969z031n0d	8	7	focus	focus	VERB
6969z031n0d	8	8	on	on	ADP
6969z031n0d	8	9	purity	purity	NOUN
6969z031n0d	8	10	constraints	constraint	NOUN
6969z031n0d	8	11	in	in	ADP
6969z031n0d	8	12	mathematics	mathematic	NOUN
6969z031n0d	8	13	.	.	PUNCT
6969z031n0d	9	1	a	a	DET
6969z031n0d	9	2	proof	proof	NOUN
6969z031n0d	9	3	is	be	AUX
6969z031n0d	9	4	pure	pure	ADJ
6969z031n0d	9	5	,	,	PUNCT
6969z031n0d	9	6	roughly	roughly	ADV
6969z031n0d	9	7	,	,	PUNCT
6969z031n0d	9	8	if	if	SCONJ
6969z031n0d	9	9	it	it	PRON
6969z031n0d	9	10	uses	use	VERB
6969z031n0d	9	11	methods	method	NOUN
6969z031n0d	9	12	`	`	PUNCT
6969z031n0d	9	13	close	close	ADJ
6969z031n0d	9	14	'	'	PUNCT
6969z031n0d	9	15	or	or	CCONJ
6969z031n0d	9	16	`	`	PUNCT
6969z031n0d	9	17	akin	akin	ADJ
6969z031n0d	9	18	'	'	PUNCT
6969z031n0d	9	19	to	to	ADP
6969z031n0d	9	20	the	the	DET
6969z031n0d	9	21	statement	statement	NOUN
6969z031n0d	9	22	being	be	AUX
6969z031n0d	9	23	proved	prove	VERB
6969z031n0d	9	24	.	.	PUNCT
6969z031n0d	10	1	we	we	PRON
6969z031n0d	10	2	consider	consider	VERB
6969z031n0d	10	3	three	three	NUM
6969z031n0d	10	4	different	different	ADJ
6969z031n0d	10	5	types	type	NOUN
6969z031n0d	10	6	of	of	ADP
6969z031n0d	10	7	purity	purity	NOUN
6969z031n0d	10	8	,	,	PUNCT
6969z031n0d	10	9	which	which	PRON
6969z031n0d	10	10	we	we	PRON
6969z031n0d	10	11	call	call	VERB
6969z031n0d	10	12	systematic	systematic	ADJ
6969z031n0d	10	13	,	,	PUNCT
6969z031n0d	10	14	elementary	elementary	ADJ
6969z031n0d	10	15	and	and	CCONJ
6969z031n0d	10	16	cognitive	cognitive	ADJ
6969z031n0d	10	17	purity	purity	NOUN
6969z031n0d	10	18	.	.	PUNCT
6969z031n0d	11	1	systematic	systematic	ADJ
6969z031n0d	11	2	purity	purity	NOUN
6969z031n0d	11	3	,	,	PUNCT
6969z031n0d	11	4	which	which	PRON
6969z031n0d	11	5	we	we	PRON
6969z031n0d	11	6	study	study	VERB
6969z031n0d	11	7	in	in	ADP
6969z031n0d	11	8	chapters	chapter	NOUN
6969z031n0d	11	9	7	7	NUM
6969z031n0d	11	10	and	and	CCONJ
6969z031n0d	11	11	8	8	NUM
6969z031n0d	11	12	,	,	PUNCT
6969z031n0d	11	13	has	have	VERB
6969z031n0d	11	14	roots	root	NOUN
6969z031n0d	11	15	in	in	ADP
6969z031n0d	11	16	aristotle	aristotle	PROPN
6969z031n0d	11	17	's	's	PART
6969z031n0d	11	18	views	view	NOUN
6969z031n0d	11	19	concerning	concern	VERB
6969z031n0d	11	20	scientific	scientific	ADJ
6969z031n0d	11	21	knowledge	knowledge	NOUN
6969z031n0d	11	22	.	.	PUNCT
6969z031n0d	12	1	elementary	elementary	ADJ
6969z031n0d	12	2	purity	purity	NOUN
6969z031n0d	12	3	,	,	PUNCT
6969z031n0d	12	4	which	which	PRON
6969z031n0d	12	5	we	we	PRON
6969z031n0d	12	6	study	study	VERB
6969z031n0d	12	7	in	in	ADP
6969z031n0d	12	8	chapters	chapter	NOUN
6969z031n0d	12	9	9	9	NUM
6969z031n0d	12	10	through	through	ADP
6969z031n0d	12	11	12	12	NUM
6969z031n0d	12	12	,	,	PUNCT
6969z031n0d	12	13	has	have	VERB
6969z031n0d	12	14	roots	root	NOUN
6969z031n0d	12	15	in	in	ADP
6969z031n0d	12	16	pappus	pappus	NOUN
6969z031n0d	12	17	'	'	PUNCT
6969z031n0d	12	18	work	work	NOUN
6969z031n0d	12	19	in	in	ADP
6969z031n0d	12	20	geometry	geometry	NOUN
6969z031n0d	12	21	,	,	PUNCT
6969z031n0d	12	22	in	in	ADP
6969z031n0d	12	23	descartes	descarte	NOUN
6969z031n0d	12	24	'	'	PART
6969z031n0d	12	25	work	work	NOUN
6969z031n0d	12	26	in	in	ADP
6969z031n0d	12	27	both	both	DET
6969z031n0d	12	28	geometry	geometry	NOUN
6969z031n0d	12	29	and	and	CCONJ
6969z031n0d	12	30	epistemology	epistemology	NOUN
6969z031n0d	12	31	,	,	PUNCT
6969z031n0d	12	32	and	and	CCONJ
6969z031n0d	12	33	in	in	ADP
6969z031n0d	12	34	hilbert	hilbert	PROPN
6969z031n0d	12	35	's	's	PART
6969z031n0d	12	36	foundational	foundational	ADJ
6969z031n0d	12	37	work	work	NOUN
6969z031n0d	12	38	.	.	PUNCT
6969z031n0d	13	1	cognitive	cognitive	ADJ
6969z031n0d	13	2	purity	purity	NOUN
6969z031n0d	13	3	,	,	PUNCT
6969z031n0d	13	4	which	which	PRON
6969z031n0d	13	5	we	we	PRON
6969z031n0d	13	6	discuss	discuss	VERB
6969z031n0d	13	7	in	in	ADP
6969z031n0d	13	8	chapter	chapter	NOUN
6969z031n0d	13	9	13	13	NUM
6969z031n0d	13	10	,	,	PUNCT
6969z031n0d	13	11	has	have	VERB
6969z031n0d	13	12	roots	root	NOUN
6969z031n0d	13	13	in	in	ADP
6969z031n0d	13	14	kant	kant	NOUN
6969z031n0d	13	15	's	's	PART
6969z031n0d	13	16	distinctions	distinction	NOUN
6969z031n0d	13	17	between	between	ADP
6969z031n0d	13	18	philosophical	philosophical	ADJ
6969z031n0d	13	19	and	and	CCONJ
6969z031n0d	13	20	mathematical	mathematical	ADJ
6969z031n0d	13	21	cognition	cognition	NOUN
6969z031n0d	13	22	,	,	PUNCT
6969z031n0d	13	23	and	and	CCONJ
6969z031n0d	13	24	between	between	ADP
6969z031n0d	13	25	different	different	ADJ
6969z031n0d	13	26	sources	source	NOUN
6969z031n0d	13	27	of	of	ADP
6969z031n0d	13	28	knowledge	knowledge	NOUN
6969z031n0d	13	29	.	.	PUNCT
6969z031n0d	14	1	we	we	PRON
6969z031n0d	14	2	explain	explain	VERB
6969z031n0d	14	3	in	in	ADP
6969z031n0d	14	4	detail	detail	NOUN
6969z031n0d	14	5	what	what	PRON
6969z031n0d	14	6	are	be	AUX
6969z031n0d	14	7	each	each	PRON
6969z031n0d	14	8	of	of	ADP
6969z031n0d	14	9	the	the	DET
6969z031n0d	14	10	types	type	NOUN
6969z031n0d	14	11	of	of	ADP
6969z031n0d	14	12	purity	purity	NOUN
6969z031n0d	14	13	,	,	PUNCT
6969z031n0d	14	14	consider	consider	VERB
6969z031n0d	14	15	what	what	DET
6969z031n0d	14	16	epistemic	epistemic	ADJ
6969z031n0d	14	17	benefits	benefit	NOUN
6969z031n0d	14	18	are	be	AUX
6969z031n0d	14	19	conferred	confer	VERB
6969z031n0d	14	20	by	by	ADP
6969z031n0d	14	21	restricting	restrict	VERB
6969z031n0d	14	22	ourselves	ourselves	PRON
6969z031n0d	14	23	to	to	ADP
6969z031n0d	14	24	pure	pure	ADJ
6969z031n0d	14	25	proofs	proof	NOUN
6969z031n0d	14	26	,	,	PUNCT
6969z031n0d	14	27	and	and	CCONJ
6969z031n0d	14	28	discuss	discuss	VERB
6969z031n0d	14	29	the	the	DET
6969z031n0d	14	30	consequences	consequence	NOUN
6969z031n0d	14	31	of	of	ADP
6969z031n0d	14	32	apparent	apparent	ADJ
6969z031n0d	14	33	violations	violation	NOUN
6969z031n0d	14	34	of	of	ADP
6969z031n0d	14	35	these	these	DET
6969z031n0d	14	36	constraints	constraint	NOUN
6969z031n0d	14	37	in	in	ADP
6969z031n0d	14	38	mathematical	mathematical	ADJ
6969z031n0d	14	39	practice	practice	NOUN
6969z031n0d	14	40	.	.	PUNCT