<div class="csl-bib-body">
<div class="csl-entry">Kompatscher, M. (2014). <i>Gegenbeispiele zu drei Vermutungen über Kategorizität</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.26559</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2014.26559
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/8400
-
dc.description
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers
-
dc.description
Zsfassung in engl. Sprache
-
dc.description.abstract
Die vorliegende Arbeit ist eine Ausarbeitung des Papers "Counterexamples to a conjecture on relative categoricity" von Evans und Hewitt, wobei das Ziel war, die dort zum Teil nur angedeuteten Ideen genau auszuführen. Das Paper von Evans und Hewitt wurde als Anhang zu "Omega-categoricity, relative categoricity and coordinatisation- von Hodges, Hodkinson und Macpherson verfasst. Deshalb lag ein weiterer Schwerpunkt darauf, den theoretischen Rahmen, der dort eingeführt wird, wiederzugeben. Wir definieren zunächst, wann eine Theorie koordinatisiert, koordinatisierbar, beziehungsweise relativ kategorisch über ein Prädikat P ist. Es stellt sich schnell heraus, dass eine koordinatisierbare Theorie stets relativ kategorisch ist und jedes ihrer Modelle natürlich über P ist. Damit meinen wir, dass die Automorphismengruppe von P in natürlicher Weise in die Automorphismengruppe der ganzen Struktur eingebettet werden kann. Wir stellen die Vermutung auf, dass auch die umgekehrte Richtung gilt. Im zweiten Teil der Arbeit konstruieren wir ein Gegenbeispiel zu dieser Vermutung. Hierzu ist es sinnvoll Automorphismengruppen als topologische Gruppen zu behandeln. Wir konstruieren zunächst eine proendliche Gruppe G mit einem endlichen Normalteiler F, sodass F ein Komplement in G hat und jedes solche Komplement dicht ist. Diese pathologische proendliche Gruppe stellt dann die Automorphismengruppe unseres Gegenbeispiels dar. Durch einige zusätzliche Überlegungen können wir mit Hilfe von G sogar ein omega-kategorisches Gegenbeispiel zu der Vermutung konstruieren. Als interessantes Nebenergebnis erhalten wir zwei omega-kategorische Strukturen, deren Automorphismengruppen zwar isomorph sind, aber nicht topologisch isomorph.
de
dc.description.abstract
The aim of this master thesis is to refute a conjecture about relative categoricity, which was stated by Hodges, Hodkinson and Macpherson in their paper "Omega-categoricity, relative categoricity and coordinatisation". We first introduce relatively categorical, coordinatised and coordinatisable theories after the terminology of Hodges. We show some basic properties, including that every coordinatisable theory is relatively categorical and natural. This leads to the conjecture that also the opposite direction holds. In the second part of the master thesis we build a counterexample to this conjecture. Therefore we construct a profinite group G with a nontrivial finite normal subgroup F, which has a complement in G, but no closed complement. The canonical structure of this group is a strongly minimal structure, which is natural without being coordinatisable. Using the group G we are even able to construct an omega-categorical counterexample to the conjecture. As an interesting side result we get two omega-categorical structures whose automorphism groups are abstractly isomorphic, but not topologically isomorphic. All these results are based on the paper "Counterexamples to a conjecture on relative categoricity", written by Evans and Hewitt.
en
dc.language
Deutsch
-
dc.language.iso
de
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Modelltheorie
de
dc.subject
omega-kategorisch
de
dc.subject
relativ kategorisch
de
dc.subject
proendliche Gruppen
de
dc.subject
model theory
en
dc.subject
omega-categorical
en
dc.subject
relative categoricity
en
dc.subject
profinite groups
en
dc.title
Gegenbeispiele zu drei Vermutungen über Kategorizität
de
dc.title.alternative
Counterexamples to three conjectures about categoricity
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2014.26559
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Michael Kompatscher
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC12070893
-
dc.description.numberOfPages
85
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-76444
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.advisor.orcid
0000-0002-0438-633X
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.languageiso639-1
de
-
item.openaccessfulltext
Open Access
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie