The relativestrength of two systems offormal logic can be defined viamodel theory. Specifically, a logic${\displaystyle \alpha }$ is said to be as strong as a logic${\displaystyle \beta }$ if everyelementary class in${\displaystyle \beta }$ is an elementary class in${\displaystyle \alpha }$.^[1]

• Abstract logic
• Lindström's theorem

Thismathematical logic-related article is astub. You can help Wikipedia byexpanding it.

• v
• t
• e

• Model theory
• Mathematical logic
• Concepts in logic
• Mathematical logic stubs

• Articles with short description
• Short description is different from Wikidata
• All stub articles