id	sid	tid	token	lemma	pos
8336h130p3c	1	1	the	the	DET
8336h130p3c	1	2	subject	subject	NOUN
8336h130p3c	1	3	of	of	ADP
8336h130p3c	1	4	this	this	DET
8336h130p3c	1	5	dissertation	dissertation	NOUN
8336h130p3c	1	6	is	be	AUX
8336h130p3c	1	7	arithmetical	arithmetical	ADJ
8336h130p3c	1	8	knowledge	knowledge	NOUN
8336h130p3c	1	9	and	and	CCONJ
8336h130p3c	1	10	arithmetical	arithmetical	ADJ
8336h130p3c	1	11	definability	definability	NOUN
8336h130p3c	1	12	.	.	PUNCT
8336h130p3c	2	1	the	the	DET
8336h130p3c	2	2	first	first	ADJ
8336h130p3c	2	3	two	two	NUM
8336h130p3c	2	4	chapters	chapter	NOUN
8336h130p3c	2	5	contain	contain	VERB
8336h130p3c	2	6	respectively	respectively	ADV
8336h130p3c	2	7	a	a	DET
8336h130p3c	2	8	critique	critique	NOUN
8336h130p3c	2	9	of	of	ADP
8336h130p3c	2	10	a	a	DET
8336h130p3c	2	11	logicist	logicist	NOUN
8336h130p3c	2	12	account	account	NOUN
8336h130p3c	2	13	of	of	ADP
8336h130p3c	2	14	a	a	DET
8336h130p3c	2	15	preferred	preferred	ADJ
8336h130p3c	2	16	means	mean	NOUN
8336h130p3c	2	17	by	by	ADP
8336h130p3c	2	18	which	which	PRON
8336h130p3c	2	19	we	we	PRON
8336h130p3c	2	20	may	may	AUX
8336h130p3c	2	21	legitimately	legitimately	ADV
8336h130p3c	2	22	infer	infer	VERB
8336h130p3c	2	23	to	to	ADP
8336h130p3c	2	24	arithmetical	arithmetical	ADJ
8336h130p3c	2	25	truths	truth	NOUN
8336h130p3c	2	26	and	and	CCONJ
8336h130p3c	2	27	a	a	DET
8336h130p3c	2	28	tentative	tentative	ADJ
8336h130p3c	2	29	defense	defense	NOUN
8336h130p3c	2	30	of	of	ADP
8336h130p3c	2	31	an	an	DET
8336h130p3c	2	32	empiricist	empiricist	NOUN
8336h130p3c	2	33	account	account	NOUN
8336h130p3c	2	34	.	.	PUNCT
8336h130p3c	3	1	according	accord	VERB
8336h130p3c	3	2	to	to	ADP
8336h130p3c	3	3	the	the	DET
8336h130p3c	3	4	logicist	logicist	PROPN
8336h130p3c	3	5	account	account	PROPN
8336h130p3c	3	6	,	,	PUNCT
8336h130p3c	3	7	one	one	PRON
8336h130p3c	3	8	may	may	AUX
8336h130p3c	3	9	infer	infer	VERB
8336h130p3c	3	10	from	from	ADP
8336h130p3c	3	11	quasi	quasi	ADJ
8336h130p3c	3	12	-	-	ADJ
8336h130p3c	3	13	logical	logical	ADJ
8336h130p3c	3	14	truths	truth	NOUN
8336h130p3c	3	15	to	to	ADP
8336h130p3c	3	16	patently	patently	ADV
8336h130p3c	3	17	arithmetical	arithmetical	ADJ
8336h130p3c	3	18	truths	truth	NOUN
8336h130p3c	3	19	because	because	SCONJ
8336h130p3c	3	20	the	the	DET
8336h130p3c	3	21	arithmetical	arithmetical	ADJ
8336h130p3c	3	22	truths	truth	NOUN
8336h130p3c	3	23	are	be	AUX
8336h130p3c	3	24	representable	representable	ADJ
8336h130p3c	3	25	in	in	ADP
8336h130p3c	3	26	the	the	DET
8336h130p3c	3	27	logical	logical	ADJ
8336h130p3c	3	28	truths	truth	NOUN
8336h130p3c	3	29	.	.	PUNCT
8336h130p3c	4	1	it	it	PRON
8336h130p3c	4	2	is	be	AUX
8336h130p3c	4	3	argued	argue	VERB
8336h130p3c	4	4	in	in	ADP
8336h130p3c	4	5	the	the	DET
8336h130p3c	4	6	first	first	ADJ
8336h130p3c	4	7	chapter	chapter	NOUN
8336h130p3c	4	8	that	that	PRON
8336h130p3c	4	9	this	this	DET
8336h130p3c	4	10	account	account	NOUN
8336h130p3c	4	11	is	be	AUX
8336h130p3c	4	12	subject	subject	ADJ
8336h130p3c	4	13	to	to	ADP
8336h130p3c	4	14	various	various	ADJ
8336h130p3c	4	15	problems	problem	NOUN
8336h130p3c	4	16	:	:	PUNCT
8336h130p3c	4	17	for	for	ADP
8336h130p3c	4	18	instance	instance	NOUN
8336h130p3c	4	19	,	,	PUNCT
8336h130p3c	4	20	the	the	DET
8336h130p3c	4	21	most	most	ADV
8336h130p3c	4	22	straightforward	straightforward	ADJ
8336h130p3c	4	23	versions	version	NOUN
8336h130p3c	4	24	seem	seem	VERB
8336h130p3c	4	25	vulnerable	vulnerable	ADJ
8336h130p3c	4	26	to	to	ADP
8336h130p3c	4	27	various	various	ADJ
8336h130p3c	4	28	counterexamples	counterexample	NOUN
8336h130p3c	4	29	.	.	PUNCT
8336h130p3c	5	1	the	the	DET
8336h130p3c	5	2	basic	basic	ADJ
8336h130p3c	5	3	idea	idea	NOUN
8336h130p3c	5	4	of	of	ADP
8336h130p3c	5	5	the	the	DET
8336h130p3c	5	6	alternative	alternative	ADJ
8336h130p3c	5	7	empiricist	empiricist	NOUN
8336h130p3c	5	8	account	account	NOUN
8336h130p3c	5	9	considered	consider	VERB
8336h130p3c	5	10	in	in	ADP
8336h130p3c	5	11	chapter	chapter	NOUN
8336h130p3c	5	12	two	two	NUM
8336h130p3c	5	13	is	be	AUX
8336h130p3c	5	14	that	that	SCONJ
8336h130p3c	5	15	complicated	complicated	ADJ
8336h130p3c	5	16	arithmetical	arithmetical	ADJ
8336h130p3c	5	17	truths	truth	NOUN
8336h130p3c	5	18	like	like	ADP
8336h130p3c	5	19	mathematical	mathematical	ADJ
8336h130p3c	5	20	induction	induction	NOUN
8336h130p3c	5	21	may	may	AUX
8336h130p3c	5	22	be	be	AUX
8336h130p3c	5	23	inferred	infer	VERB
8336h130p3c	5	24	by	by	ADP
8336h130p3c	5	25	way	way	NOUN
8336h130p3c	5	26	of	of	ADP
8336h130p3c	5	27	confirmation	confirmation	NOUN
8336h130p3c	5	28	from	from	ADP
8336h130p3c	5	29	less	less	ADV
8336h130p3c	5	30	complicated	complicated	ADJ
8336h130p3c	5	31	quantifier	quantifier	NOUN
8336h130p3c	5	32	-	-	PUNCT
8336h130p3c	5	33	free	free	ADJ
8336h130p3c	5	34	arithmetical	arithmetical	ADJ
8336h130p3c	5	35	truths	truth	NOUN
8336h130p3c	5	36	.	.	PUNCT
8336h130p3c	6	1	the	the	DET
8336h130p3c	6	2	notion	notion	NOUN
8336h130p3c	6	3	of	of	ADP
8336h130p3c	6	4	confirmation	confirmation	NOUN
8336h130p3c	6	5	here	here	ADV
8336h130p3c	6	6	is	be	AUX
8336h130p3c	6	7	understood	understand	VERB
8336h130p3c	6	8	probabilistically	probabilistically	ADV
8336h130p3c	6	9	,	,	PUNCT
8336h130p3c	6	10	and	and	CCONJ
8336h130p3c	6	11	responses	response	NOUN
8336h130p3c	6	12	are	be	AUX
8336h130p3c	6	13	given	give	VERB
8336h130p3c	6	14	in	in	ADP
8336h130p3c	6	15	this	this	DET
8336h130p3c	6	16	chapter	chapter	NOUN
8336h130p3c	6	17	to	to	ADP
8336h130p3c	6	18	several	several	ADJ
8336h130p3c	6	19	seeming	seeming	NOUN
8336h130p3c	6	20	problems	problem	NOUN
8336h130p3c	6	21	with	with	ADP
8336h130p3c	6	22	this	this	DET
8336h130p3c	6	23	importation	importation	NOUN
8336h130p3c	6	24	of	of	ADP
8336h130p3c	6	25	probability	probability	NOUN
8336h130p3c	6	26	into	into	ADP
8336h130p3c	6	27	arithmetic	arithmetic	NOUN
8336h130p3c	6	28	.	.	PUNCT
8336h130p3c	7	1	the	the	DET
8336h130p3c	7	2	final	final	ADJ
8336h130p3c	7	3	two	two	NUM
8336h130p3c	7	4	chapters	chapter	NOUN
8336h130p3c	7	5	are	be	AUX
8336h130p3c	7	6	concerned	concern	VERB
8336h130p3c	7	7	with	with	ADP
8336h130p3c	7	8	arithmetical	arithmetical	ADJ
8336h130p3c	7	9	definability	definability	NOUN
8336h130p3c	7	10	in	in	ADP
8336h130p3c	7	11	two	two	NUM
8336h130p3c	7	12	different	different	ADJ
8336h130p3c	7	13	settings	setting	NOUN
8336h130p3c	7	14	.	.	PUNCT
8336h130p3c	8	1	in	in	ADP
8336h130p3c	8	2	the	the	DET
8336h130p3c	8	3	third	third	ADJ
8336h130p3c	8	4	chapter	chapter	NOUN
8336h130p3c	8	5	,	,	PUNCT
8336h130p3c	8	6	the	the	DET
8336h130p3c	8	7	interpretability	interpretability	NOUN
8336h130p3c	8	8	strength	strength	NOUN
8336h130p3c	8	9	of	of	ADP
8336h130p3c	8	10	the	the	DET
8336h130p3c	8	11	arithmetical	arithmetical	ADJ
8336h130p3c	8	12	and	and	CCONJ
8336h130p3c	8	13	hyperarithmetical	hyperarithmetical	ADJ
8336h130p3c	8	14	subsystems	subsystem	NOUN
8336h130p3c	8	15	of	of	ADP
8336h130p3c	8	16	second	second	ADJ
8336h130p3c	8	17	-	-	PUNCT
8336h130p3c	8	18	order	order	NOUN
8336h130p3c	8	19	peano	peano	PROPN
8336h130p3c	8	20	arithmetic	arithmetic	NOUN
8336h130p3c	8	21	is	be	AUX
8336h130p3c	8	22	compared	compare	VERB
8336h130p3c	8	23	to	to	ADP
8336h130p3c	8	24	the	the	DET
8336h130p3c	8	25	interpretability	interpretability	NOUN
8336h130p3c	8	26	strength	strength	NOUN
8336h130p3c	8	27	of	of	ADP
8336h130p3c	8	28	analogous	analogous	ADJ
8336h130p3c	8	29	systems	system	NOUN
8336h130p3c	8	30	centered	center	VERB
8336h130p3c	8	31	around	around	ADP
8336h130p3c	8	32	two	two	NUM
8336h130p3c	8	33	principles	principle	NOUN
8336h130p3c	8	34	called	call	VERB
8336h130p3c	8	35	hume	hume	PROPN
8336h130p3c	8	36	's	's	PART
8336h130p3c	8	37	principle	principle	ADJ
8336h130p3c	8	38	and	and	CCONJ
8336h130p3c	8	39	basic	basic	ADJ
8336h130p3c	8	40	law	law	NOUN
8336h130p3c	8	41	v	v	NOUN
8336h130p3c	8	42	,	,	PUNCT
8336h130p3c	8	43	which	which	PRON
8336h130p3c	8	44	respectively	respectively	ADV
8336h130p3c	8	45	axiomatize	axiomatize	VERB
8336h130p3c	8	46	a	a	DET
8336h130p3c	8	47	standard	standard	ADJ
8336h130p3c	8	48	notion	notion	NOUN
8336h130p3c	8	49	of	of	ADP
8336h130p3c	8	50	cardinality	cardinality	NOUN
8336h130p3c	8	51	and	and	CCONJ
8336h130p3c	8	52	an	an	DET
8336h130p3c	8	53	alternative	alternative	ADJ
8336h130p3c	8	54	conception	conception	NOUN
8336h130p3c	8	55	of	of	ADP
8336h130p3c	8	56	set	set	NOUN
8336h130p3c	8	57	.	.	PUNCT
8336h130p3c	9	1	one	one	NUM
8336h130p3c	9	2	of	of	ADP
8336h130p3c	9	3	the	the	DET
8336h130p3c	9	4	major	major	ADJ
8336h130p3c	9	5	results	result	NOUN
8336h130p3c	9	6	of	of	ADP
8336h130p3c	9	7	this	this	DET
8336h130p3c	9	8	chapter	chapter	NOUN
8336h130p3c	9	9	is	be	AUX
8336h130p3c	9	10	that	that	SCONJ
8336h130p3c	9	11	the	the	DET
8336h130p3c	9	12	hyperarithmetic	hyperarithmetic	ADJ
8336h130p3c	9	13	subsystem	subsystem	NOUN
8336h130p3c	9	14	of	of	ADP
8336h130p3c	9	15	hume	hume	PROPN
8336h130p3c	9	16	's	's	PART
8336h130p3c	9	17	principle	principle	NOUN
8336h130p3c	9	18	does	do	AUX
8336h130p3c	9	19	not	not	PART
8336h130p3c	9	20	interpret	interpret	VERB
8336h130p3c	9	21	the	the	DET
8336h130p3c	9	22	hyperarithmetic	hyperarithmetic	ADJ
8336h130p3c	9	23	subsystem	subsystem	NOUN
8336h130p3c	9	24	of	of	ADP
8336h130p3c	9	25	second	second	ADJ
8336h130p3c	9	26	-	-	PUNCT
8336h130p3c	9	27	order	order	NOUN
8336h130p3c	9	28	peano	peano	PROPN
8336h130p3c	9	29	arithmetic	arithmetic	PROPN
8336h130p3c	9	30	.	.	PUNCT
8336h130p3c	10	1	the	the	DET
8336h130p3c	10	2	fourth	fourth	ADJ
8336h130p3c	10	3	chapter	chapter	NOUN
8336h130p3c	10	4	is	be	AUX
8336h130p3c	10	5	concerned	concern	VERB
8336h130p3c	10	6	with	with	ADP
8336h130p3c	10	7	arithmetical	arithmetical	ADJ
8336h130p3c	10	8	definability	definability	NOUN
8336h130p3c	10	9	in	in	ADP
8336h130p3c	10	10	the	the	DET
8336h130p3c	10	11	setting	setting	NOUN
8336h130p3c	10	12	of	of	ADP
8336h130p3c	10	13	descriptive	descriptive	ADJ
8336h130p3c	10	14	set	set	NOUN
8336h130p3c	10	15	theory	theory	NOUN
8336h130p3c	10	16	,	,	PUNCT
8336h130p3c	10	17	where	where	SCONJ
8336h130p3c	10	18	the	the	DET
8336h130p3c	10	19	relevant	relevant	ADJ
8336h130p3c	10	20	benchmark	benchmark	NOUN
8336h130p3c	10	21	is	be	AUX
8336h130p3c	10	22	between	between	ADP
8336h130p3c	10	23	notions	notion	NOUN
8336h130p3c	10	24	which	which	PRON
8336h130p3c	10	25	may	may	AUX
8336h130p3c	10	26	be	be	AUX
8336h130p3c	10	27	defined	define	VERB
8336h130p3c	10	28	without	without	ADP
8336h130p3c	10	29	quantification	quantification	NOUN
8336h130p3c	10	30	over	over	ADP
8336h130p3c	10	31	elements	element	NOUN
8336h130p3c	10	32	of	of	ADP
8336h130p3c	10	33	certain	certain	ADJ
8336h130p3c	10	34	topological	topological	ADJ
8336h130p3c	10	35	spaces	space	NOUN
8336h130p3c	10	36	(	(	PUNCT
8336h130p3c	10	37	borel	borel	PROPN
8336h130p3c	10	38	notions	notion	NOUN
8336h130p3c	10	39	)	)	PUNCT
8336h130p3c	10	40	and	and	CCONJ
8336h130p3c	10	41	notions	notion	NOUN
8336h130p3c	10	42	whose	whose	DET
8336h130p3c	10	43	definitions	definition	NOUN
8336h130p3c	10	44	do	do	AUX
8336h130p3c	10	45	require	require	VERB
8336h130p3c	10	46	such	such	ADJ
8336h130p3c	10	47	quantification	quantification	NOUN
8336h130p3c	10	48	(	(	PUNCT
8336h130p3c	10	49	analytic	analytic	ADJ
8336h130p3c	10	50	,	,	PUNCT
8336h130p3c	10	51	coanalytic	coanalytic	ADJ
8336h130p3c	10	52	,	,	PUNCT
8336h130p3c	10	53	projective	projective	ADJ
8336h130p3c	10	54	notions	notion	NOUN
8336h130p3c	10	55	)	)	PUNCT
8336h130p3c	10	56	.	.	PUNCT
8336h130p3c	11	1	in	in	ADP
8336h130p3c	11	2	this	this	DET
8336h130p3c	11	3	fourth	fourth	ADJ
8336h130p3c	11	4	chapter	chapter	NOUN
8336h130p3c	11	5	the	the	DET
8336h130p3c	11	6	denjoy	denjoy	NOUN
8336h130p3c	11	7	integral	integral	ADJ
8336h130p3c	11	8	is	be	AUX
8336h130p3c	11	9	studied	study	VERB
8336h130p3c	11	10	from	from	ADP
8336h130p3c	11	11	the	the	DET
8336h130p3c	11	12	vantage	vantage	NOUN
8336h130p3c	11	13	point	point	NOUN
8336h130p3c	11	14	of	of	ADP
8336h130p3c	11	15	descriptive	descriptive	ADJ
8336h130p3c	11	16	set	set	NOUN
8336h130p3c	11	17	theory	theory	NOUN
8336h130p3c	11	18	,	,	PUNCT
8336h130p3c	11	19	and	and	CCONJ
8336h130p3c	11	20	it	it	PRON
8336h130p3c	11	21	is	be	AUX
8336h130p3c	11	22	shown	show	VERB
8336h130p3c	11	23	that	that	SCONJ
8336h130p3c	11	24	the	the	DET
8336h130p3c	11	25	graph	graph	NOUN
8336h130p3c	11	26	of	of	ADP
8336h130p3c	11	27	the	the	DET
8336h130p3c	11	28	indefinite	indefinite	ADJ
8336h130p3c	11	29	integral	integral	NOUN
8336h130p3c	11	30	is	be	AUX
8336h130p3c	11	31	not	not	PART
8336h130p3c	11	32	borel	borel	ADJ
8336h130p3c	11	33	but	but	CCONJ
8336h130p3c	11	34	rather	rather	ADV
8336h130p3c	11	35	is	be	AUX
8336h130p3c	11	36	properly	properly	ADV
8336h130p3c	11	37	coanalytic	coanalytic	ADJ
8336h130p3c	11	38	.	.	PUNCT
8336h130p3c	12	1	this	this	PRON
8336h130p3c	12	2	contrasts	contrast	VERB
8336h130p3c	12	3	to	to	ADP
8336h130p3c	12	4	the	the	DET
8336h130p3c	12	5	lebesgue	lebesgue	PROPN
8336h130p3c	12	6	integral	integral	NOUN
8336h130p3c	12	7	,	,	PUNCT
8336h130p3c	12	8	which	which	PRON
8336h130p3c	12	9	is	be	AUX
8336h130p3c	12	10	borel	borel	ADJ
8336h130p3c	12	11	under	under	ADP
8336h130p3c	12	12	this	this	DET
8336h130p3c	12	13	measure	measure	NOUN
8336h130p3c	12	14	of	of	ADP
8336h130p3c	12	15	complexity	complexity	NOUN
8336h130p3c	12	16	.	.	PUNCT