等式コンパクト代数

ウィキペディア

等式コンパクト代数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/27 15:41 UTC 版)

普遍代数学及びモデル理論において、等式コンパクト（英: equationally compact）とは、代数系の持つ性質の一種であり、位相空間論におけるコンパクト性のある種の代数的な類似物である。この概念はヤン・ミシェルスキー（英語版）によって導入された^[1]。

定義

一階述語論理の言語 L を固定する。L-論理式の部分集合 K について、構造（英語版） A が K-コンパクト（弱 K-コンパクト）とは、任意の ${\displaystyle \Sigma \subseteq K(A)}$