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.

Categoria:Logica mathematic