id	sid	tid	token	lemma	pos
rv042r40b2p	1	1	this	this	DET
rv042r40b2p	1	2	dissertation	dissertation	NOUN
rv042r40b2p	1	3	centers	center	VERB
rv042r40b2p	1	4	around	around	ADP
rv042r40b2p	1	5	the	the	DET
rv042r40b2p	1	6	following	follow	VERB
rv042r40b2p	1	7	three	three	NUM
rv042r40b2p	1	8	questions	question	NOUN
rv042r40b2p	1	9	:	:	PUNCT
rv042r40b2p	1	10	1	1	X
rv042r40b2p	1	11	.	.	X
rv042r40b2p	2	1	what	what	PRON
rv042r40b2p	2	2	are	be	AUX
rv042r40b2p	2	3	formal	formal	ADJ
rv042r40b2p	2	4	theories	theory	NOUN
rv042r40b2p	2	5	about	about	ADP
rv042r40b2p	2	6	?	?	PUNCT
rv042r40b2p	3	1	2	2	X
rv042r40b2p	3	2	.	.	X
rv042r40b2p	4	1	what	what	PRON
rv042r40b2p	4	2	does	do	AUX
rv042r40b2p	4	3	it	it	PRON
rv042r40b2p	4	4	mean	mean	VERB
rv042r40b2p	4	5	to	to	PART
rv042r40b2p	4	6	say	say	VERB
rv042r40b2p	4	7	that	that	SCONJ
rv042r40b2p	4	8	two	two	NUM
rv042r40b2p	4	9	formal	formal	ADJ
rv042r40b2p	4	10	theories	theory	NOUN
rv042r40b2p	4	11	are	be	AUX
rv042r40b2p	4	12	equivalent	equivalent	ADJ
rv042r40b2p	4	13	?	?	PUNCT
rv042r40b2p	5	1	3	3	X
rv042r40b2p	5	2	.	.	X
rv042r40b2p	6	1	what	what	PRON
rv042r40b2p	6	2	does	do	AUX
rv042r40b2p	6	3	it	it	PRON
rv042r40b2p	6	4	mean	mean	VERB
rv042r40b2p	6	5	to	to	PART
rv042r40b2p	6	6	say	say	VERB
rv042r40b2p	6	7	that	that	SCONJ
rv042r40b2p	6	8	a	a	DET
rv042r40b2p	6	9	formal	formal	ADJ
rv042r40b2p	6	10	theory	theory	NOUN
rv042r40b2p	6	11	is	be	AUX
rv042r40b2p	6	12	reducible	reducible	ADJ
rv042r40b2p	6	13	to	to	ADP
rv042r40b2p	6	14	another?this	another?this	DET
rv042r40b2p	6	15	dissertation	dissertation	NOUN
rv042r40b2p	6	16	seeks	seek	VERB
rv042r40b2p	6	17	to	to	PART
rv042r40b2p	6	18	better	well	ADV
rv042r40b2p	6	19	understand	understand	VERB
rv042r40b2p	6	20	possible	possible	ADJ
rv042r40b2p	6	21	answers	answer	NOUN
rv042r40b2p	6	22	to	to	ADP
rv042r40b2p	6	23	these	these	DET
rv042r40b2p	6	24	questions	question	NOUN
rv042r40b2p	6	25	by	by	ADP
rv042r40b2p	6	26	employing	employ	VERB
rv042r40b2p	6	27	methods	method	NOUN
rv042r40b2p	6	28	and	and	CCONJ
rv042r40b2p	6	29	tools	tool	NOUN
rv042r40b2p	6	30	from	from	ADP
rv042r40b2p	6	31	model	model	NOUN
rv042r40b2p	6	32	theory	theory	NOUN
rv042r40b2p	6	33	,	,	PUNCT
rv042r40b2p	6	34	a	a	DET
rv042r40b2p	6	35	branch	branch	NOUN
rv042r40b2p	6	36	of	of	ADP
rv042r40b2p	6	37	mathematical	mathematical	ADJ
rv042r40b2p	6	38	logic	logic	NOUN
rv042r40b2p	6	39	that	that	PRON
rv042r40b2p	6	40	studies	study	VERB
rv042r40b2p	6	41	the	the	DET
rv042r40b2p	6	42	relationship	relationship	NOUN
rv042r40b2p	6	43	between	between	ADP
rv042r40b2p	6	44	formal	formal	ADJ
rv042r40b2p	6	45	languages	language	NOUN
rv042r40b2p	6	46	and	and	CCONJ
rv042r40b2p	6	47	the	the	DET
rv042r40b2p	6	48	mathematical	mathematical	ADJ
rv042r40b2p	6	49	structures	structure	NOUN
rv042r40b2p	6	50	that	that	PRON
rv042r40b2p	6	51	provide	provide	VERB
rv042r40b2p	6	52	such	such	ADJ
rv042r40b2p	6	53	languages	language	NOUN
rv042r40b2p	6	54	with	with	ADP
rv042r40b2p	6	55	meaning	meaning	NOUN
rv042r40b2p	6	56	.	.	PUNCT
rv042r40b2p	7	1	at	at	ADP
rv042r40b2p	7	2	the	the	DET
rv042r40b2p	7	3	same	same	ADJ
rv042r40b2p	7	4	time	time	NOUN
rv042r40b2p	7	5	,	,	PUNCT
rv042r40b2p	7	6	this	this	DET
rv042r40b2p	7	7	dissertation	dissertation	NOUN
rv042r40b2p	7	8	evaluates	evaluate	VERB
rv042r40b2p	7	9	the	the	DET
rv042r40b2p	7	10	philosophical	philosophical	ADJ
rv042r40b2p	7	11	import	import	NOUN
rv042r40b2p	7	12	of	of	ADP
rv042r40b2p	7	13	such	such	ADJ
rv042r40b2p	7	14	methods	method	NOUN
rv042r40b2p	7	15	and	and	CCONJ
rv042r40b2p	7	16	tools.chapter	tools.chapter	NOUN
rv042r40b2p	7	17	1	1	NUM
rv042r40b2p	7	18	provides	provide	VERB
rv042r40b2p	7	19	technical	technical	ADJ
rv042r40b2p	7	20	preliminaries	preliminary	NOUN
rv042r40b2p	7	21	.	.	PUNCT
rv042r40b2p	8	1	in	in	ADP
rv042r40b2p	8	2	chapter	chapter	NOUN
rv042r40b2p	8	3	2	2	NUM
rv042r40b2p	8	4	,	,	PUNCT
rv042r40b2p	8	5	i	i	PRON
rv042r40b2p	8	6	motivate	motivate	VERB
rv042r40b2p	8	7	a	a	DET
rv042r40b2p	8	8	a	a	DET
rv042r40b2p	8	9	distinctively	distinctively	ADV
rv042r40b2p	8	10	"	"	PUNCT
rv042r40b2p	8	11	semantic	semantic	ADJ
rv042r40b2p	8	12	"	"	PUNCT
rv042r40b2p	8	13	view	view	NOUN
rv042r40b2p	8	14	of	of	ADP
rv042r40b2p	8	15	mathematical	mathematical	ADJ
rv042r40b2p	8	16	theories	theory	NOUN
rv042r40b2p	8	17	according	accord	VERB
rv042r40b2p	8	18	to	to	ADP
rv042r40b2p	8	19	which	which	PRON
rv042r40b2p	8	20	formalized	formalize	VERB
rv042r40b2p	8	21	mathematical	mathematical	ADJ
rv042r40b2p	8	22	statements	statement	NOUN
rv042r40b2p	8	23	are	be	AUX
rv042r40b2p	8	24	taken	take	VERB
rv042r40b2p	8	25	to	to	PART
rv042r40b2p	8	26	specify	specify	VERB
rv042r40b2p	8	27	conditions	condition	NOUN
rv042r40b2p	8	28	which	which	PRON
rv042r40b2p	8	29	describe	describe	VERB
rv042r40b2p	8	30	a	a	DET
rv042r40b2p	8	31	variety	variety	NOUN
rv042r40b2p	8	32	of	of	ADP
rv042r40b2p	8	33	possibly	possibly	ADV
rv042r40b2p	8	34	non	non	ADJ
rv042r40b2p	8	35	-	-	ADJ
rv042r40b2p	8	36	isomorphic	isomorphic	ADJ
rv042r40b2p	8	37	structures.in	structures.in	NUM
rv042r40b2p	8	38	chapters	chapter	NOUN
rv042r40b2p	8	39	3	3	NUM
rv042r40b2p	8	40	and	and	CCONJ
rv042r40b2p	8	41	4	4	NUM
rv042r40b2p	8	42	,	,	PUNCT
rv042r40b2p	8	43	i	i	PRON
rv042r40b2p	8	44	argue	argue	VERB
rv042r40b2p	8	45	that	that	SCONJ
rv042r40b2p	8	46	there	there	PRON
rv042r40b2p	8	47	is	be	VERB
rv042r40b2p	8	48	good	good	ADJ
rv042r40b2p	8	49	reason	reason	NOUN
rv042r40b2p	8	50	to	to	PART
rv042r40b2p	8	51	privilege	privilege	VERB
rv042r40b2p	8	52	bi	bi	NOUN
rv042r40b2p	8	53	-	-	NOUN
rv042r40b2p	8	54	interpretability	interpretability	NOUN
rv042r40b2p	8	55	as	as	ADP
rv042r40b2p	8	56	a	a	DET
rv042r40b2p	8	57	criterion	criterion	NOUN
rv042r40b2p	8	58	for	for	ADP
rv042r40b2p	8	59	theoretical	theoretical	ADJ
rv042r40b2p	8	60	equivalence	equivalence	NOUN
rv042r40b2p	8	61	.	.	PUNCT
rv042r40b2p	9	1	in	in	ADP
rv042r40b2p	9	2	particular	particular	ADJ
rv042r40b2p	9	3	,	,	PUNCT
rv042r40b2p	9	4	chapter	chapter	NOUN
rv042r40b2p	9	5	3	3	NUM
rv042r40b2p	9	6	argues	argue	VERB
rv042r40b2p	9	7	that	that	SCONJ
rv042r40b2p	9	8	bi	bi	NOUN
rv042r40b2p	9	9	-	-	NOUN
rv042r40b2p	9	10	interpretability	interpretability	NOUN
rv042r40b2p	9	11	offers	offer	VERB
rv042r40b2p	9	12	the	the	DET
rv042r40b2p	9	13	most	most	ADV
rv042r40b2p	9	14	promising	promising	ADJ
rv042r40b2p	9	15	notion	notion	NOUN
rv042r40b2p	9	16	of	of	ADP
rv042r40b2p	9	17	theoretical	theoretical	ADJ
rv042r40b2p	9	18	equivalence	equivalence	NOUN
rv042r40b2p	9	19	,	,	PUNCT
rv042r40b2p	9	20	especially	especially	ADV
rv042r40b2p	9	21	when	when	SCONJ
rv042r40b2p	9	22	compared	compare	VERB
rv042r40b2p	9	23	to	to	ADP
rv042r40b2p	9	24	its	its	PRON
rv042r40b2p	9	25	contrast	contrast	NOUN
rv042r40b2p	9	26	class	class	NOUN
rv042r40b2p	9	27	.	.	PUNCT
rv042r40b2p	10	1	chapter	chapter	NOUN
rv042r40b2p	10	2	4	4	NUM
rv042r40b2p	10	3	critically	critically	ADV
rv042r40b2p	10	4	discusses	discuss	VERB
rv042r40b2p	10	5	the	the	DET
rv042r40b2p	10	6	notion	notion	NOUN
rv042r40b2p	10	7	of	of	ADP
rv042r40b2p	10	8	morita	morita	PROPN
rv042r40b2p	10	9	equivalence	equivalence	PROPN
rv042r40b2p	10	10	,	,	PUNCT
rv042r40b2p	10	11	a	a	DET
rv042r40b2p	10	12	criterion	criterion	NOUN
rv042r40b2p	10	13	for	for	ADP
rv042r40b2p	10	14	comparing	compare	VERB
rv042r40b2p	10	15	many	many	ADJ
rv042r40b2p	10	16	-	-	PUNCT
rv042r40b2p	10	17	sorted	sorted	ADJ
rv042r40b2p	10	18	theories	theory	NOUN
rv042r40b2p	10	19	recently	recently	ADV
rv042r40b2p	10	20	defined	define	VERB
rv042r40b2p	10	21	in	in	ADP
rv042r40b2p	10	22	the	the	DET
rv042r40b2p	10	23	philosophical	philosophical	ADJ
rv042r40b2p	10	24	literature	literature	NOUN
rv042r40b2p	10	25	.	.	PUNCT
rv042r40b2p	11	1	chapter	chapter	NOUN
rv042r40b2p	11	2	5	5	NUM
rv042r40b2p	11	3	advances	advance	VERB
rv042r40b2p	11	4	a	a	DET
rv042r40b2p	11	5	"	"	PUNCT
rv042r40b2p	11	6	model	model	NOUN
rv042r40b2p	11	7	-	-	PUNCT
rv042r40b2p	11	8	theoretic	theoretic	ADJ
rv042r40b2p	11	9	"	"	PUNCT
rv042r40b2p	11	10	approach	approach	NOUN
rv042r40b2p	11	11	to	to	ADP
rv042r40b2p	11	12	logicism	logicism	NOUN
rv042r40b2p	11	13	which	which	PRON
rv042r40b2p	11	14	consists	consist	VERB
rv042r40b2p	11	15	of	of	ADP
rv042r40b2p	11	16	two	two	NUM
rv042r40b2p	11	17	parts	part	NOUN
rv042r40b2p	11	18	:	:	PUNCT
rv042r40b2p	11	19	(	(	PUNCT
rv042r40b2p	11	20	1	1	X
rv042r40b2p	11	21	)	)	PUNCT
rv042r40b2p	11	22	a	a	DET
rv042r40b2p	11	23	model	model	ADJ
rv042r40b2p	11	24	-	-	PUNCT
rv042r40b2p	11	25	theoretic	theoretic	ADJ
rv042r40b2p	11	26	conception	conception	NOUN
rv042r40b2p	11	27	of	of	ADP
rv042r40b2p	11	28	reduction	reduction	NOUN
rv042r40b2p	11	29	;	;	PUNCT
rv042r40b2p	11	30	and	and	CCONJ
rv042r40b2p	11	31	(	(	PUNCT
rv042r40b2p	11	32	2	2	X
rv042r40b2p	11	33	)	)	PUNCT
rv042r40b2p	11	34	a	a	DET
rv042r40b2p	11	35	model	model	ADJ
rv042r40b2p	11	36	-	-	PUNCT
rv042r40b2p	11	37	theoretic	theoretic	ADJ
rv042r40b2p	11	38	conception	conception	NOUN
rv042r40b2p	11	39	of	of	ADP
rv042r40b2p	11	40	logicality	logicality	NOUN
rv042r40b2p	11	41	.	.	PUNCT
rv042r40b2p	12	1	i	i	PRON
rv042r40b2p	12	2	discuss	discuss	VERB
rv042r40b2p	12	3	how	how	SCONJ
rv042r40b2p	12	4	this	this	DET
rv042r40b2p	12	5	model	model	ADJ
rv042r40b2p	12	6	-	-	PUNCT
rv042r40b2p	12	7	theoretic	theoretic	ADJ
rv042r40b2p	12	8	approach	approach	NOUN
rv042r40b2p	12	9	to	to	ADP
rv042r40b2p	12	10	logicism	logicism	NOUN
rv042r40b2p	12	11	aims	aim	VERB
rv042r40b2p	12	12	to	to	PART
rv042r40b2p	12	13	realize	realize	VERB
rv042r40b2p	12	14	a	a	DET
rv042r40b2p	12	15	broadened	broaden	VERB
rv042r40b2p	12	16	version	version	NOUN
rv042r40b2p	12	17	of	of	ADP
rv042r40b2p	12	18	the	the	DET
rv042r40b2p	12	19	classical	classical	ADJ
rv042r40b2p	12	20	logicist	logicist	NOUN
rv042r40b2p	12	21	position	position	NOUN
rv042r40b2p	12	22	(	(	PUNCT
rv042r40b2p	12	23	as	as	ADV
rv042r40b2p	12	24	originally	originally	ADV
rv042r40b2p	12	25	conceived	conceive	VERB
rv042r40b2p	12	26	by	by	ADP
rv042r40b2p	12	27	gottlob	gottlob	NOUN
rv042r40b2p	12	28	frege	frege	NOUN
rv042r40b2p	12	29	and	and	CCONJ
rv042r40b2p	12	30	richard	richard	PROPN
rv042r40b2p	12	31	dedekind	dedekind	PROPN
rv042r40b2p	12	32	)	)	PUNCT
rv042r40b2p	12	33	that	that	PRON
rv042r40b2p	12	34	is	be	AUX
rv042r40b2p	12	35	still	still	ADV
rv042r40b2p	12	36	worth	worth	ADJ
rv042r40b2p	12	37	pursuing	pursue	VERB
rv042r40b2p	12	38	.	.	PUNCT