Název: Definovatelnost v matematických strukturách
Překlad názvu: Definability in mathematical structures
Autoři: Paták, Pavel ; Krajíček, Jan (vedoucí práce) ; Jeřábek, Emil (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2008
Jazyk: cze
Abstrakt: Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene praci so zabyvame popisem definovatelnych nmozin v ruznych matematickych st.rukturaeh. Ukazujerne, zo defiuovatelne mnoziny v pfirozenych, celych a racionalnich cfslcch inohon byt volico kompliko- vann. naproti toinn dnfiiiovatolnr mnoziny ve .striiktnrach s {'liininari kvanti- fikatoru (reaina, komplexni cfsla,. - . ) JHOU jcdnoduclic. Vciinjoino se i pojinu modolovo I'iplnosti. S poinoci zfskanych poznatku a vo.ty o nplno.sti pak snadno dokazeme nektere obtizne vety jinych disciplin - alji,ebraickou Xnll- stollcnsatz a Artinovn charaktorizaci pozitivnr dofinitnicb racionalnfcli fimkoi, geometrickou Tarski-Seidenbergovn vetn a ninohc dalyi. Klicova slova: nmtematicke sl.rnktnry, dcliiiuvatelnost, eliminace kvantilika- toru Title: DcfinnViility in inatlioinatica.l structures Author: Pavel Patak Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajirek, DrSc. Supervisor's e-mail address: kra.jicokv'iJina.lb.cas.cz Abstract: In t,be present work we study the description of definable sets in various mathematical structures. We show that, the definable sets in natural, integer...

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/16987

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-484958


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce