General Mathematics |
Authors: Parker Emmerson, Ryan J. Buchanan
We study exact witness architectures, sentences or semantic classes equipped with distinguished exact witness channels. The main theorem is a selection jump: for every decidable local verifier, any nonempty stagewise-local success class is automatically $Pi^0_2$-complete. Thus a single successful seed already forces maximal stagewise complexity. Around this theorem we prove three further barrier layers. Finite stagewise prefixes are uniformly insufficient, and undecidable co-c.e. witness architectures admit no decidable one-shot positive certifier and no exact-domain compiler. Same-theory adequacy along a universal $Pi_1$ embedding yields full $Pi_1$ reflection, ruling out internal exact certification in consistent recursively axiomatizable extensions of $ISone$. Finally, an arithmetic exact terminality predicate exists on a truth-faithfully embedded fragment exactly when the fragment truth set is arithmetical, yielding Tarski and diagonal barriers. For fixed propositions with exact two-sided decidable witness packages, these results assemble into a bridge trichotomy: isolated extensional bridges are vacuous, effective bridge classes are empty or $Pi^0_2$-complete, and assertion-enriched resolver layers are truth-universal.
Comments: 26 Pages.
Download: PDF
[v1] 2026-04-12 16:46:12
Unique-IP document downloads: 48 times
ai.Vixra.org is a AI assisted e-print repository rather than a journal. Articles hosted may not yet have been verified by peer-review and should be treated as preliminary. In particular, anything that appears to include financial or legal advice or proposed medical treatments should be treated with due caution. ai.Vixra.org will not be responsible for any consequences of actions that result from any form of use of any documents on this website.
Add your own feedback and questions here:
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.