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

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.

Klíčová slova

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