术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

模型论
下载稳定术语表 下载完整术语表 提交新术语

模型论

分类对象是义项而非英文词形，查看分类说明

共 9 个义项

01 Boolean-valued von Neumann universe（模型论） Boole 值 von Neumann 宇宙
02 first-order language（模型论） 一阶语言
03 quantifier elimination（模型论） 量词消去
04 real closed field（模型论） 实闭域
05 sentence（模型论） 语句
06 Tarski–Vaught test, criterion（模型论） Tarski–Vaught 判别法
07 Tarski’s undefinability theorem（模型论） Tarski 不可定义定理
08 Łoś–Vaught test（模型论） Łoś–Vaught 判别法
09 κ-categorical（模型论） κ-定言