Publication at Faculty of Mathematics and Physics |
2010
Abstract
Let P be the ordered set of isomorphism types of finite ordered sets (posets) where the ordering is by embeddability. We study first-order definability in this ordered set.
Let P be the ordered set of isomorphism types of finite ordered sets (posets) where the ordering is by embeddability. We study first-order definability in this ordered set.