Complete Infinitary Logics
Two infinitary logics stand out in their completeness. These are and . The former is standard finitary first-order logic and the latter is an infinitary logic that only allows statements of countable size.
is also strongly complete, compact and strongly compact.
Read more about this topic: Infinitary Logic
Famous quotes containing the words complete and/or logics:
“For us to go to Italy and to penetrate into Italy is like a most fascinating act of self-discovery—back, back down the old ways of time. Strange and wonderful chords awake in us, and vibrate again after many hundreds of years of complete forgetfulness.”
—D.H. (David Herbert)
“When logics die,
The secret of the soil grows through the eye,
And blood jumps in the sun;
Above the waste allotments the dawn halts.”
—Dylan Thomas (1914–1953)