模型论

数学, 数理逻辑, 模型论, 逻辑, 集合论

银机 (Silver machine)

L, 模型论, 证明, 银机, 集合论

数学, 证明论, 递归论, 逻辑学, 集合论

可容许序数 (Admissible ordinal)

Kripke-Platek, 可容许, 序数, 模型论, 集合论

学术研究, 数学, 模型论, 法国学者, 逻辑学

罗兰·弗雷斯 (Roland Fraïssé)

学者, 数学逻辑学, 模型论, 法国, 罗兰·弗雷斯

哲学, 数学, 模型论, 逻辑学, 集合论

不可区分者 (Indiscernibles)

不可区分性, 数理逻辑, 模型论, 莱布尼茨, 集合论

抽象代数, 数学, 模型论, 计算机科学, 逻辑

结构 (Structure)

普遍代数, 模型论, 结构, 逻辑, 集合论