Strength (mathematical logic)
id:
strength-mathematical-logic-323-9795047
title:
Strength (mathematical logic)
text:
The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic α is said to be as strong as a logic β if every elementary class in β is an elementary class in α .
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Strength_(mathematical_logic)
date created:
date modified:
2021-06-04T17:23:45Z
main entity:
{"identifier":"Q1989404","url":"https://www.wikidata.org/entity/Q1989404"}
image:
fields total:
13
integrity:
13