Strength (mathematical logic)

The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic ${\displaystyle \alpha }${\displaystyle \alpha } is said to be as strong as a logic ${\displaystyle \beta }${\displaystyle \beta } if every elementary class in ${\displaystyle \beta }${\displaystyle \beta } is an elementary class in ${\displaystyle \alpha }${\displaystyle \alpha }.^[1]

• Abstract logic
• Lindström's theorem

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

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