Elementaire klasse

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Jump to search

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.