Elementaire klasse

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.