Elementaire klasse

Uit Wikipedia, de vrije encyclopedie
Dit is een oude versie van deze pagina, bewerkt door Ciell (overleg | bijdragen) op 30 dec 2018 om 19:31. (behouden bij sessie, typisch een beginnetje, hoewel de uitleg duidelijker mag zijn)
Deze versie kan sterk verschillen van de huidige versie van deze pagina.

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.