Strength (mathematical logic)
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 .
Wikipage disambiguates
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Strength (mathematical logic)
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 .
has abstract
De relatieve sterkte van twee ...... een elementaire klasse in is.
@nl
The relative strength of two s ...... in is an elementary class in .
@en
Wikipage page ID
28,870,339
page length (characters) of wiki page
Wikipage revision ID
799,570,786
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
De relatieve sterkte van twee ...... een elementaire klasse in is.
@nl
The relative strength of two s ...... in is an elementary class in .
@en
label
Sterkte (wiskundige logica)
@nl
Strength (mathematical logic)
@en