Increasing union of deductively closed sets
ID: increasing-union-of-deductively-closed-sets
Ifare deductively closed, then each is consistent and their union is consistent and deductively closed. The union is not finitary. Each conclusion follows from the finite character of formal proofs.
New to topics? Read the docs here!