Talk:Strength (mathematical logic)
Appearance
Mathematics Stub‑class Low‑priority | ||||||||||
|
Philosophy: Logic Stub‑class Mid‑importance | ||||||||||||||||||||||
|
Shouldn't that read: " is said to be as strong as a logic if every elementary class in is an elementary class in ?" At least that's what the cited reference (Extended logics: the general framework) appears to be stating. — Preceding unsigned comment added by 173.35.108.182 (talk) 02:00, 4 February 2013 (UTC)
Strength vs. Weakness
But this article does not inform when one system is weaker and the other stronger. Can some elaborate, or explain why non is need?