Absolute model companionship (AMC) is a strict strengthening of model companionship defined as follows: For a theory T, T_{\exists\vee\forall} ...
確定! 回上一頁