Theoria de modellos

De Wikipedia, le encyclopedia libere
Saltar a: navigation, cercar

In mathematica, le theoria de modellos es le studio de (classes de) structuras mathematic como gruppos, campos, graphos, o etiam un universo del theoria de ensembles, con le uso de instrumentos del logica mathematic. Un structura que da senso al phrase de un linguage formal es appellate un modello pro le linguage. Si un modello pro un linguage satisface un phrase o theoria (ensemble 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 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 pro le facto que le completitude no es valide in general pro iste logicas. Comocunque, un grande studio ha essite facite in ille linguages.