id	sid	tid	token	lemma	pos
bv73bz63h9r	1	1	this	this	DET
bv73bz63h9r	1	2	dissertation	dissertation	NOUN
bv73bz63h9r	1	3	is	be	AUX
bv73bz63h9r	1	4	concerned	concern	VERB
bv73bz63h9r	1	5	with	with	ADP
bv73bz63h9r	1	6	keisler	keisler	ADJ
bv73bz63h9r	1	7	measures	measure	NOUN
bv73bz63h9r	1	8	and	and	CCONJ
bv73bz63h9r	1	9	their	their	PRON
bv73bz63h9r	1	10	approximations	approximation	NOUN
bv73bz63h9r	1	11	.	.	PUNCT
bv73bz63h9r	2	1	we	we	PRON
bv73bz63h9r	2	2	investigate	investigate	VERB
bv73bz63h9r	2	3	tame	tame	ADJ
bv73bz63h9r	2	4	families	family	NOUN
bv73bz63h9r	2	5	of	of	ADP
bv73bz63h9r	2	6	keisler	keisler	PROPN
bv73bz63h9r	2	7	measures	measure	NOUN
bv73bz63h9r	2	8	in	in	ADP
bv73bz63h9r	2	9	varying	vary	VERB
bv73bz63h9r	2	10	contexts	context	NOUN
bv73bz63h9r	2	11	.	.	PUNCT
bv73bz63h9r	3	1	we	we	PRON
bv73bz63h9r	3	2	first	first	ADV
bv73bz63h9r	3	3	restrict	restrict	VERB
bv73bz63h9r	3	4	ourselves	ourselves	PRON
bv73bz63h9r	3	5	to	to	ADP
bv73bz63h9r	3	6	the	the	DET
bv73bz63h9r	3	7	local	local	ADJ
bv73bz63h9r	3	8	nip	nip	NOUN
bv73bz63h9r	3	9	setting	setting	NOUN
bv73bz63h9r	3	10	.	.	PUNCT
bv73bz63h9r	4	1	there	there	ADV
bv73bz63h9r	4	2	,	,	PUNCT
bv73bz63h9r	4	3	we	we	PRON
bv73bz63h9r	4	4	partially	partially	ADV
bv73bz63h9r	4	5	generalize	generalize	VERB
bv73bz63h9r	4	6	a	a	DET
bv73bz63h9r	4	7	theorem	theorem	NOUN
bv73bz63h9r	4	8	of	of	ADP
bv73bz63h9r	4	9	hrushvoski	hrushvoski	PROPN
bv73bz63h9r	4	10	,	,	PUNCT
bv73bz63h9r	4	11	pillay	pillay	NOUN
bv73bz63h9r	4	12	,	,	PUNCT
bv73bz63h9r	4	13	and	and	CCONJ
bv73bz63h9r	4	14	simon	simon	PROPN
bv73bz63h9r	4	15	and	and	CCONJ
bv73bz63h9r	4	16	show	show	VERB
bv73bz63h9r	4	17	that	that	SCONJ
bv73bz63h9r	4	18	in	in	ADP
bv73bz63h9r	4	19	this	this	DET
bv73bz63h9r	4	20	context	context	NOUN
bv73bz63h9r	4	21	,	,	PUNCT
bv73bz63h9r	4	22	a	a	DET
bv73bz63h9r	4	23	measure	measure	NOUN
bv73bz63h9r	4	24	is	be	AUX
bv73bz63h9r	4	25	definable	definable	ADJ
bv73bz63h9r	4	26	and	and	CCONJ
bv73bz63h9r	4	27	finitely	finitely	ADV
bv73bz63h9r	4	28	satisfiable	satisfiable	ADJ
bv73bz63h9r	4	29	(	(	PUNCT
bv73bz63h9r	4	30	dfs	dfs	PROPN
bv73bz63h9r	4	31	)	)	PUNCT
bv73bz63h9r	4	32	if	if	SCONJ
bv73bz63h9r	4	33	and	and	CCONJ
bv73bz63h9r	4	34	only	only	ADV
bv73bz63h9r	4	35	if	if	SCONJ
bv73bz63h9r	4	36	it	it	PRON
bv73bz63h9r	4	37	is	be	AUX
bv73bz63h9r	4	38	finitely	finitely	ADV
bv73bz63h9r	4	39	approximated	approximate	VERB
bv73bz63h9r	4	40	.	.	PUNCT
bv73bz63h9r	5	1	we	we	PRON
bv73bz63h9r	5	2	then	then	ADV
bv73bz63h9r	5	3	consider	consider	VERB
bv73bz63h9r	5	4	generically	generically	ADV
bv73bz63h9r	5	5	stable	stable	ADJ
bv73bz63h9r	5	6	measures	measure	NOUN
bv73bz63h9r	5	7	outside	outside	ADV
bv73bz63h9r	5	8	of	of	ADP
bv73bz63h9r	5	9	the	the	DET
bv73bz63h9r	5	10	nip	nip	NOUN
bv73bz63h9r	5	11	setting	setting	NOUN
bv73bz63h9r	5	12	.	.	PUNCT
bv73bz63h9r	6	1	we	we	PRON
bv73bz63h9r	6	2	show	show	VERB
bv73bz63h9r	6	3	that	that	SCONJ
bv73bz63h9r	6	4	generically	generically	ADV
bv73bz63h9r	6	5	stable	stable	ADJ
bv73bz63h9r	6	6	types	type	NOUN
bv73bz63h9r	6	7	correspond	correspond	VERB
bv73bz63h9r	6	8	to	to	ADP
bv73bz63h9r	6	9	{	{	PUNCT
bv73bz63h9r	6	10	0,1}-valued	0,1}-valued	X
bv73bz63h9r	6	11	frequency	frequency	NOUN
bv73bz63h9r	6	12	interpretation	interpretation	NOUN
bv73bz63h9r	6	13	measures	measure	NOUN
bv73bz63h9r	6	14	,	,	PUNCT
bv73bz63h9r	6	15	and	and	CCONJ
bv73bz63h9r	6	16	we	we	PRON
bv73bz63h9r	6	17	give	give	VERB
bv73bz63h9r	6	18	examples	example	NOUN
bv73bz63h9r	6	19	of	of	ADP
bv73bz63h9r	6	20	finitely	finitely	ADV
bv73bz63h9r	6	21	approximated	approximate	VERB
bv73bz63h9r	6	22	measures	measure	NOUN
bv73bz63h9r	6	23	which	which	PRON
bv73bz63h9r	6	24	are	be	AUX
bv73bz63h9r	6	25	not	not	PART
bv73bz63h9r	6	26	frequency	frequency	ADJ
bv73bz63h9r	6	27	interpretation	interpretation	NOUN
bv73bz63h9r	6	28	measures	measure	NOUN
bv73bz63h9r	6	29	and	and	CCONJ
bv73bz63h9r	6	30	local	local	ADJ
bv73bz63h9r	6	31	dfs	dfs	PROPN
bv73bz63h9r	6	32	measures	measure	NOUN
bv73bz63h9r	6	33	which	which	PRON
bv73bz63h9r	6	34	are	be	AUX
bv73bz63h9r	6	35	not	not	PART
bv73bz63h9r	6	36	locally	locally	ADV
bv73bz63h9r	6	37	finitely	finitely	ADV
bv73bz63h9r	6	38	approximated	approximate	VERB
bv73bz63h9r	6	39	(	(	PUNCT
bv73bz63h9r	6	40	joint	joint	ADJ
bv73bz63h9r	6	41	with	with	ADP
bv73bz63h9r	6	42	gabriel	gabriel	PROPN
bv73bz63h9r	6	43	conant	conant	PROPN
bv73bz63h9r	6	44	)	)	PUNCT
bv73bz63h9r	6	45	.	.	PUNCT
bv73bz63h9r	7	1	we	we	PRON
bv73bz63h9r	7	2	then	then	ADV
bv73bz63h9r	7	3	introduce	introduce	VERB
bv73bz63h9r	7	4	and	and	CCONJ
bv73bz63h9r	7	5	describe	describe	VERB
bv73bz63h9r	7	6	`	`	PUNCT
bv73bz63h9r	7	7	`	`	PUNCT
bv73bz63h9r	7	8	sequential	sequential	ADJ
bv73bz63h9r	7	9	approximations	approximation	NOUN
bv73bz63h9r	7	10	"	"	PUNCT
bv73bz63h9r	7	11	.	.	PUNCT
bv73bz63h9r	8	1	we	we	PRON
bv73bz63h9r	8	2	show	show	VERB
bv73bz63h9r	8	3	that	that	SCONJ
bv73bz63h9r	8	4	measures	measure	NOUN
bv73bz63h9r	8	5	which	which	PRON
bv73bz63h9r	8	6	are	be	AUX
bv73bz63h9r	8	7	finitely	finitely	ADV
bv73bz63h9r	8	8	satisifable	satisifable	ADJ
bv73bz63h9r	8	9	in	in	ADP
bv73bz63h9r	8	10	a	a	DET
bv73bz63h9r	8	11	countable	countable	ADJ
bv73bz63h9r	8	12	model	model	NOUN
bv73bz63h9r	8	13	of	of	ADP
bv73bz63h9r	8	14	an	an	DET
bv73bz63h9r	8	15	nip	nip	NOUN
bv73bz63h9r	8	16	theory	theory	NOUN
bv73bz63h9r	8	17	admit	admit	VERB
bv73bz63h9r	8	18	this	this	DET
bv73bz63h9r	8	19	kind	kind	NOUN
bv73bz63h9r	8	20	of	of	ADP
bv73bz63h9r	8	21	approximation	approximation	NOUN
bv73bz63h9r	8	22	.	.	PUNCT
bv73bz63h9r	9	1	we	we	PRON
bv73bz63h9r	9	2	also	also	ADV
bv73bz63h9r	9	3	prove	prove	VERB
bv73bz63h9r	9	4	that	that	SCONJ
bv73bz63h9r	9	5	generically	generically	ADV
bv73bz63h9r	9	6	stable	stable	ADJ
bv73bz63h9r	9	7	types	type	NOUN
bv73bz63h9r	9	8	admit	admit	VERB
bv73bz63h9r	9	9	a	a	DET
bv73bz63h9r	9	10	similar	similar	ADJ
bv73bz63h9r	9	11	(	(	PUNCT
bv73bz63h9r	9	12	and	and	CCONJ
bv73bz63h9r	9	13	stronger	strong	ADJ
bv73bz63h9r	9	14	)	)	PUNCT
bv73bz63h9r	9	15	approximation	approximation	NOUN
bv73bz63h9r	9	16	.	.	PUNCT
bv73bz63h9r	10	1	in	in	ADP
bv73bz63h9r	10	2	the	the	DET
bv73bz63h9r	10	3	final	final	ADJ
bv73bz63h9r	10	4	chapter	chapter	NOUN
bv73bz63h9r	10	5	,	,	PUNCT
bv73bz63h9r	10	6	we	we	PRON
bv73bz63h9r	10	7	restrict	restrict	VERB
bv73bz63h9r	10	8	ourselves	ourselves	PRON
bv73bz63h9r	10	9	to	to	ADP
bv73bz63h9r	10	10	the	the	DET
bv73bz63h9r	10	11	group	group	NOUN
bv73bz63h9r	10	12	setting	set	VERB
bv73bz63h9r	10	13	and	and	CCONJ
bv73bz63h9r	10	14	introduce	introduce	VERB
bv73bz63h9r	10	15	a	a	DET
bv73bz63h9r	10	16	convolution	convolution	NOUN
bv73bz63h9r	10	17	operation	operation	NOUN
bv73bz63h9r	10	18	on	on	ADP
bv73bz63h9r	10	19	keisler	keisler	PROPN
bv73bz63h9r	10	20	measures	measure	NOUN
bv73bz63h9r	10	21	.	.	PUNCT
bv73bz63h9r	11	1	we	we	PRON
bv73bz63h9r	11	2	classify	classify	VERB
bv73bz63h9r	11	3	all	all	DET
bv73bz63h9r	11	4	idempotent	idempotent	ADJ
bv73bz63h9r	11	5	measures	measure	NOUN
bv73bz63h9r	11	6	over	over	ADP
bv73bz63h9r	11	7	stable	stable	ADJ
bv73bz63h9r	11	8	groups	group	NOUN
bv73bz63h9r	11	9	and	and	CCONJ
bv73bz63h9r	11	10	also	also	ADV
bv73bz63h9r	11	11	show	show	VERB
bv73bz63h9r	11	12	that	that	SCONJ
bv73bz63h9r	11	13	a	a	DET
bv73bz63h9r	11	14	particular	particular	ADJ
bv73bz63h9r	11	15	convolution	convolution	NOUN
bv73bz63h9r	11	16	algebra	algebra	NOUN
bv73bz63h9r	11	17	over	over	ADP
bv73bz63h9r	11	18	an	an	DET
bv73bz63h9r	11	19	nip	nip	NOUN
bv73bz63h9r	11	20	group	group	NOUN
bv73bz63h9r	11	21	is	be	AUX
bv73bz63h9r	11	22	isomorphic	isomorphic	ADJ
bv73bz63h9r	11	23	to	to	ADP
bv73bz63h9r	11	24	a	a	DET
bv73bz63h9r	11	25	natural	natural	ADJ
bv73bz63h9r	11	26	ellis	ellis	PROPN
bv73bz63h9r	11	27	semigroup	semigroup	NOUN
bv73bz63h9r	11	28	(	(	PUNCT
bv73bz63h9r	11	29	joint	joint	ADJ
bv73bz63h9r	11	30	with	with	ADP
bv73bz63h9r	11	31	artem	artem	PROPN
bv73bz63h9r	11	32	chernikov	chernikov	PROPN
bv73bz63h9r	11	33	)	)	PUNCT
bv73bz63h9r	11	34	.	.	PUNCT