[FOM] Questions on axiomatizations of complete theories

[H Z]

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?