Lindström's Theorem
Why no logic stronger than first-order logic keeps both compactness and Löwenheim-Skolem, and what that is supposed to prove
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will defineabstract logicLindström's theorem
Assumescompactness theoremLöwenheim-Skolem theoremsecond-order logicexpressive power
Related
- What Metatheorems Showplanned