Completeness, Compactness, and Strong Completeness
A theory is any set of statements. The truth of statements in models are defined by recursion and will agree with the definition for finitary logic where both are defined. Given a theory T a statement is said to be valid for the theory T if it is true in all models of T.
A logic is complete if for every sentence S valid in every model there exists a proof of S. It is strongly complete if for any theory T for every sentence S valid in T there is a proof of S from T. An infinitary logic can be complete without being strongly complete.
A logic is compact if for every theory T of cardinality if all subsets S of T have models then T has a model. A logic is strongly compact if for every theory T if all subsets S of T, where S has cardinality, have models then T has a model. If a logic is strongly compact, and complete, then it is strongly complete.
The cardinal is weakly compact if is compact and is strongly compact if is strongly compact.
Read more about this topic: Infinitary Logic
Famous quotes containing the words strong and/or completeness:
“The quickness with which all the “stuff” from childhood can reduce adult siblings to kids again underscores the strong and complex connections between brothers and sisters.... It doesn’t seem to matter how much time has elapsed or how far we’ve traveled. Our brothers and sisters bring us face to face with our former selves and remind us how intricately bound up we are in each other’s lives.”
—Jane Mersky Leder (20th century)
“Poetry presents indivisible wholes of human consciousness, modified and ordered by the stringent requirements of form. Prose, aiming at a definite and concrete goal, generally suppresses everything inessential to its purpose; poetry, existing only to exhibit itself as an aesthetic object, aims only at completeness and perfection of form.”
—Richard Harter Fogle, U.S. critic, educator. The Imagery of Keats and Shelley, ch. 1, University of North Carolina Press (1949)