DMCA

OMITTING TYPES IN LOGIC OF METRIC STRUCTURES

by Ilijas Farah , Menachem Magidor