Multi Store Model Theory Mathematics