Hereditarily transitive tuples

From MaRDI portal
Publication:658954