Theoria de modellos

In le mathematica, le theoria de modellos es le studio de (classes de) structuras mathematic como gruppos, corpores, graphos, o etiam universos del theoria de insimules, con le uso de instrumentos del logica mathematic. Un structura que da significantia al phrase de un linguage formal es appellate un modello pro le linguage. Si un modello pro un linguage satisface un phrase o theoria (insimul de phrases), illo es appellate un modello del phrase o theoria. Le theoria de modellos es fortemente ligate al algebra e al algebra universal.

Le theoria de modellos finite, que se concentra in structuras finite, diverge significativemente del studio de structuras infinite in le problemas studiate e le technicas usate. Le theoria de modellos in logicas de alte ordine o logicas infinitari es obstruite per le facto que le completitude non es valide in general pro iste logicas. Comocunque, un grande studio ha essite facite in ille linguages.

Referentias

Wikimedia Commons ha files multimedia de: Theoria de modellos

Nota

Iste pagina contine material traducite ab Wikipedia in anglese. Le articulo original se trova in le version 348285693 de en:Model theory, e es usate secundo le mandatos del licentia de Wikipedia.