Refutation of Temporal Type Theory (TTT), Temporal Landscapes, and Scott’s Topology

From a footnote, and then a three part definition, temporal type theory (TTT), and then temporal landscapes for open sets are not tautologous and hence refuted. That further refutes Scott’s topology. These results therefore form a non tautologous fragment of the universal logic VŁ4.