用对抗性测试构建可验证的有限模型，突破传统逻辑的抽象瓶颈。

Ultraconstructive Model Theory via Bounded Adversarial Finite Structures

• 以对手挑战、建造者修复、符号裁判三角色模拟模型验证过程
• 在有限计算规模下实现可生存的结构，成功通过对抗测试
• 适合形式化验证、安全推理等需要严格可证明性的场景

超构造模型理论（UCMT）将理想化的满足关系替换为有限计算尺度下的有界对抗生存机制。一个有限的部分结构由对手（魔鬼）从有界攻击面中抽取合法挑战，建造者（上帝）通过合法回应进行修复，最终由符号裁判进行认证。该框架在计算资源受限的前提下，实现了对逻辑结构的可验证构建与动态演化，突破了传统模型论在构造性与可计算性之间的张力。整个过程构成一种基于博弈的语义验证范式，其有效性依赖于结构在持续对抗中的生存能力。

原文摘要 · Abstract (English)

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

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。