2 problems
Let be an expansion of , and let be its open core. The structure is type A when it has no dense defin…
Let be a DC structure, and let its open core be the structure whose definable sets are generated by the open definable subsets of . The i-minimal open-core…