A Ramsey theorem for partial orders with linear extensions

From MaRDI portal
Publication:338571