[FOM] Questions on axiomatizations of complete theories

H Z hzenilc at gmail.com
Mon Mar 6 17:41:19 EST 2006

On 3/5/06, joeshipman at aol.com <joeshipman at aol.com> wrote:
> Say that an axiomatization A = {A1, A2, ...} of T is "tight" if every
> axiom in it is logically independent of the rest.
> Say that A = {A1, A2, ...} is "loose" if any infinite subset of A
> implies all the axioms in A.

Could you give us some references (books and/or papers) on the topic?

More information about the FOM mailing list