Satisfaction of existential theories in finitely presented groups and some embedding theorems