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 dat deze sterker is dan een logica wanneer elke elementaire klasse in een elementaire klasse in 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