Sterkte (wiskundige logica)

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

De relatieve sterkte van twee systemen van formele logica kan worden gedefinieerd door middel van de modeltheorie. Specifiek zegt men van een logica  \alpha dat deze sterker is dan een logica  \beta wanneer elke elementaire klasse in \alpha een elementaire klasse in \beta is.[1]

Zie ook[bewerken]

Referenties[bewerken]

  1. (en) Heinz-Dieter Ebbinghaus, Extended logics: the general framework, in K.J. Barwise en S. Feferman, editors, Model-theoretic logics, 1985 ISBN 0387909362, blz. 43