In ihrer Dissertation Definability and decision problems in arithmetic bewies sie die Unentscheidbarkeit der Arithmetik rationaler Zahlen.
1	In	in	ADP	APPR	_	3	case	_	_
2	ihrer	ihr	DET	PPOSAT	Case=Dat|Gender=Fem|Number=Sing|Person=3|Poss=Yes|PronType=Prs	3	det:poss	_	_
3	Dissertation	Dissertation	NOUN	NN	Case=Dat|Gender=Fem|Number=Sing	10	obl	_	_
4	Definability	Definability	PROPN	FM	Foreign=Yes	3	appos	_	NamedEntity=Yes
5	and	and	CCONJ	FM	Foreign=Yes	6	cc	_	NamedEntity=Yes
6	decision	decision	PROPN	FM	Foreign=Yes	4	conj	_	NamedEntity=Yes
7	problems	problems	PROPN	FM	Foreign=Yes	6	flat	_	NamedEntity=Yes
8	in	in	ADP	FM	_	9	case	_	NamedEntity=Yes
9	arithmetic	arithmetic	PROPN	FM	Foreign=Yes	6	nmod	_	NamedEntity=Yes
10	bewies	beweisen	VERB	VVFIN	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
11	sie	sie	PRON	PPER	Case=Nom|Gender=Fem|Number=Sing|Person=3|PronType=Prs	10	nsubj	_	_
12	die	der	DET	ART	Case=Acc|Definite=Def|Gender=Fem|Number=Sing|PronType=Art	13	det	_	_
13	Unentscheidbarkeit	Unentscheidbarkeit	NOUN	NN	Case=Acc|Gender=Fem|Number=Sing	10	obj	_	_
14	der	der	DET	ART	Case=Gen|Definite=Def|Gender=Fem|Number=Sing|PronType=Art	15	det	_	_
15	Arithmetik	Arithmetik	NOUN	NN	Case=Gen|Gender=Fem|Number=Sing	13	nmod	_	_
16	rationaler	rational	ADJ	ADJA	Case=Gen|Degree=Pos|Gender=Fem|Number=Plur	17	amod	_	_
17	Zahlen	Zahl	NOUN	NN	Case=Gen|Gender=Fem|Number=Plur	15	nmod	_	SpaceAfter=No
18	.	.	PUNCT	$.	_	10	punct	_	_
