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:
“A two-year-old can be taught to curb his aggressions completely if the parents employ strong enough methods, but the achievement of such control at an early age may be bought at a price which few parents today would be willing to pay. The slow education for control demands much more parental time and patience at the beginning, but the child who learns control in this way will be the child who acquires healthy self-discipline later.”
—Selma H. Fraiberg (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)