Publikace na Matematicko-fyzikální fakulta |
2005
Abstrakt
Definuje se pojem konečné presentovatelnosti a dokazuje se, že většina základních homogenních struktur je konečně presentovatelná. Speciálně se to dokazuje pro gererické částečné uspořádání pomocí složité konstrukce (související s tzv. surreálnými čísly).