Modeltheorie

De modeltheorie is een onderdeel van de mathematische logica.

De klassieke modeltheorie probeert de eigenschappen van modellen van een bepaalde elementaire klasse te bepalen of onderzoekt of bepaalde klassen van structuren elementair zijn.

Zij komen ook voor in de modeltheorie van de intuïtionistische logica : elke volledige Heyting-algebra is de algebra van open verzamelingen van enige topologische ruimten, maar deze ruimte hoeft niet preregulier te zijn, laat staan Hausdorff.