cs.LOJul 27, 2026

Ultraconstructive Model Theory via Bounded Adversarial Finite Structures

Authors: Mirco A. Mannucci

Organizations: HoloMathics LLC

Abstract

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

Explore similar work

CardsList