Modelltheoretische Korrespondenz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Beziehung, die angibt, wie semantische, modelltheoretische Eigenschaften von mathematischen Strukturen mit syntaktischen oder axiomatischen Merkmalen der formalen Theorien, die diese Strukturen beschreiben, zusammenhängen.