We achieve several results. First, we develop a variant of the theory absolute Galois groups in context many sorted structures. Second, provide method for coding structures, so they can be interpreted some monster model with an additional predicate. Third, prove “Weak Independence Theorem” pseudo-algebraically closed (PAC) substructures ambient structure no finite cover property (nfcp) and [For...