Beth definability, interpolation and language splitting
scientific article; zbMATH DE number 5905347
scientific article