发表机构
HoloMathics LLC（HoloMathics有限责任公司）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究提出超构造性模型理论（UCMT），以有界对抗有限结构替代理想化可满足性，通过对手、构建者与符号法官的交互完成有限部分结构的验证，为有限计算场景下的模型理论研究提供新框架。
AI 中文摘要
超构造性模型理论（UCMT）在有限计算规模下，用有界对抗存活替代理想化的可满足性：有限部分结构由对手（Devil）从有界攻击面发起合法挑战，构建者（God）通过合法回复修复，再由符号法官进行验证。
英文摘要
Ultraconstructive Model Theory (UCMT) replaces idealized satisfaction, at finite compu- tational scale, by bounded adversarial survival. A finite partial structure is tested by an Opponent (Devil) drawing legal challenges from a bounded attack surface, repaired by a Builder (God) through legal replies, and certified by a symbolic Judge
Comments17 pages
