The authors give assumptions which have to be satisfied by an inductive theory with positive ∀∃-axioms so that, for any given abstract group G and any given partial model L of this theory, there exists a model M of this theory containing a partial submodel isomorphic to L with the automorphism group of M isomorphic to G.
On group universality and homogeneity
FUNK, Martin;
1983-01-01
Abstract
The authors give assumptions which have to be satisfied by an inductive theory with positive ∀∃-axioms so that, for any given abstract group G and any given partial model L of this theory, there exists a model M of this theory containing a partial submodel isomorphic to L with the automorphism group of M isomorphic to G.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
