Refutation of the Ordinal Turing Machine (Otm) on Set Theory
Colin James · viXra · 2019
From the sections on OTM-realizabilty and intuitionistic provability and axioms and systems of constructive set theories, we evaluate an inference rule and two propositions. None is tautologous. The refutes OTM on set theory in Hilbert space for intuitionistic logic. Therefore that approach produces non tautologous fragments of the universal logic VŁ4.