Generalized Lobs Theorem Strong Reflection Principles and Large Cardinal Axioms Consistency Results in Topology

Abstract

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models.