Ein approximatives Null-eins-Gesetz über die Dialektica-Interpretation

Null-eins-Gesetze besagen, dass probabilistische Ereignisse eines bestimmten Typs mit einer Wahrscheinlichkeit von entweder 0 oder 1 eintreten müssen, und nichts dazwischen. Wir formulieren ein syntaktisches Null-eins-Gesetz, das gute logische Eigenschaften aufweist und in der Wahrscheinlichkeitstheorie breite Anwendung findet. Inspiriert von Gödel's Dialektica-Interpretation, finitisieren wir es: Das Ergebnis ist ein approximatives Null-eins-Gesetz, das besagt, dass Ereignisse mit einer bestimmten endlichen Struktur mit einer Wahrscheinlichkeit nahe 0 oder 1 bis zu einem beliebigen Grad an Genauigkeit eintreten. Dieses approximative Null-eins-Gesetz ist über klassische Logik äquivalent zu dem ursprünglichen Null-eins-Gesetz, wird jedoch im Gegensatz zu diesem vollständig in Bezug auf endliche Vereinigungen und Schnitte von Ereignissen formuliert. Darüber hinaus ermöglicht es in Übereinstimmung mit aktuellen logischen Metatheoremen für Wahrscheinlichkeiten eine rechnerische Interpretation, die wiederum eine quantitative Analyse von Theoremen ermöglicht, deren Beweis Null-eins-Gesetze nutzt. Konkrete Anwendungen in diesem Geist werden über eine Vielzahl unterschiedlicher Kontexte diskutiert.