Elementaire klasse

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

In de modeltheorie, een deelgebied van de wiskundige logica, is een elementaire klasse een klasse, die bestaat uit alle structuren, die voldoen aan een vaste eerste-ordetheorie.