Sciweavers

ORDER
2010
101views more  ORDER 2010»
13 years 10 months ago
Definability in Substructure Orderings, II: Finite Ordered Sets
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. We ...
Jaroslav Jezek, Ralph McKenzie