Talk:Strength (mathematical logic): Difference between revisions

Content deleted Content added

Inline

Revision as of 17:32, 13 December 2022

Mathematics Stub‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

Philosophy: Logic Stub‑class Mid‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Stub

This article has been rated as Stub-class on Wikipedia's content assessment scale.

Mid

This article has been rated as Mid-importance on the project's importance scale.

Associated task forces:
/
	Logic

Shouldn't that read: " $\alpha$ is said to be as strong as a logic $\beta$ if every elementary class in $\beta$ is an elementary class in $\alpha$ ?" 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)[reply]

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?

@@ Line 3: / Line 3: @@
 Shouldn't that read: "<math>\alpha</math> is said to be as strong as a logic <math>\beta</math> if every [[elementary class]] in <math>\beta</math> is an elementary class in  <math>\alpha</math>?"  At least that's what the cited reference (Extended logics: the general framework) appears to be stating.  <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/173.35.108.182|173.35.108.182]] ([[User talk:173.35.108.182|talk]]) 02:00, 4 February 2013 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->
+== 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?