Arithmetization of metamathematics in a general setting

机译：注册机与计数器的算术

机译：欧氏平面几何算术的形式化及其应用

机译：线性变换的多尺度算术

机译：17椭圆的算术化

机译：希尔伯特的超数学问题及其解决方案。

机译：第三类双周期函数的算术三角函数展开

机译：关于无限远的威胁：萨尔瓦多伊丽柳的“Grünewalda，o unafábuladelfinito的算术算术

机译：一般情境下的met数学算术化

机译：设置管理系统，设置管理服务器，信息终端，设置管理方法，程序带出信息端子的设置功能，程序带出设置管理服务器的设置管理功能，计算机可读信息记录，媒体记录，程序带出操作设置功能信息终端和计算机可读信息记录中记录程序带出设置管理服务器的设置管理功能

机译：燃油棒内压确定线设置方法，等效裂变型设定方法，MOX燃料PU含量设定方法，MOX燃料PU含量设定装置，等效裂变型设定装置，MOX燃料PU内容率设置程序和等效裂变表达式设置程序

机译：设定值设定装置，设定值设定方法及设定值设定程序