初等等价
(经济学术语)
初等等价,经济学术语。初等等价(elementarily equivalent)模型论术语.指两个模型间的一种关系.设old, ,是了的两个模型.如果对丫中每一语句a都有=}l } a,当且仅当屠片a.则称哪和屠是初等等价的,记为甲三男.即哪三男,当且仅当Th(}}l>=Th(}>,其中Th(%}l)表示在留中为真的语句集合,Th (.)表示在居中为真的语句集合.
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】