Charles Explorer logo
🇨🇿

Definovatelnost v uspořádání podstruktur, II: Konečné uspořádané množiny

Publikace na Matematicko-fyzikální fakulta |
2010

Abstrakt

Nechť P je uspořádaná množina typů isomorfismu konečných uspořádaných množin, kde uspořádání je dáno vnořitelností. V článku je dosaženo řady výsledků, které se týkají mimo jiné definovatelnosti automorfismů a dualit v uspořádané množině P.