制度模式理论

关于社会学中的概念，见制度理论和制度逻辑。在数理逻辑中，制度模型理论将一阶模型理论的很大一部分概括为一个任意的逻辑系统。

这里的逻辑系统的概念被形式化为一个机构。机构构成了逻辑系统上的一个面向模型的元理论，类似于环和模块的理论构成了经典线性代数的元理论。另一个类比可以用通用代数与群、环、模块等进行比较。通过从实际的常规逻辑的现实中抽象出来，我们可以注意到，制度理论实际上更接近于非常规逻辑的现实。

机构模型理论分析并概括了经典的模型理论概念和结果，如基本图基本嵌入超产品，洛斯定理饱和模型可公理化品种，伯克霍夫可公理化克雷格插值鲁滨逊一致性贝斯可定义性哥德尔完备性定理对于每个概念和定理，都分析了所需的基础设施和属性，并作为机构的条件提出，从而详细了解了它们依赖于一阶逻辑的哪些属性以及它们在多大程度上可以被推广到其他逻辑。