A Logically Saturated Extension of ¯ λµ˜µ

by Lionel Elie Mamane , Herman Geuvers , James Mckinna