...
机译:贝斯可定义性定理的机构独立证明
IBISC FRE CNRS 2873 Université d’évry-Val d’éssonne 523 pl. des Terrasses F-91000 évry France;
IBISC FRE CNRS 2873 Université d’évry-Val d’éssonne 523 pl. des Terrasses F-91000 évry France;
Beth definability; Craig interpolation; institution theory; morphisms and comorphisms; inclusive category;
机译:Robinson一致性定理的机构独立证明
机译:克雷格插值定理的机构独立证明
机译:塔斯基基本链定理的机构独立性概括
机译:方程和归纳定理的证明搜索和证明检查
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:独立于贝丝定向定理的独立证明