Abstrakt
Koruna se dvěma minimy a maximy se může objevit v koproduktu Priestleyovských prostorů, aniž by se objevila kdekoli v summandech. Odpovídající třída omezených distributivních svazů tedy není popsatelná teorií prvního řádu.
Koruna se dvěma minimy a maximy se může objevit v koproduktu Priestleyovských prostorů, aniž by se objevila kdekoli v summandech. Odpovídající třída omezených distributivních svazů tedy není popsatelná teorií prvního řádu.