网站首页  百科知识

请输入您要查询的百科知识:

 

词条 初等等价
类别 中文百科知识
释义

初等等价

模型论概念。设U和B为某一一阶语言L的两个模型,如果U和B对于任意语句σεS(L),σ在U上真(记作U1=σ)当且仅当σ在B上真(即B1=σ),则称U和B初等等价。

随便看

 

开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2000-2025 oenc.net All Rights Reserved
更新时间:2025/9/28 13:14:43