We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and ...

Research: set-theoretic topology, selection principles, covering properties, covering dimension. Research: set theory, set-theoretic topology, selection principles, game theory, and combinatorics.

The Logic and Set Theory Seminar is the research seminar of the set theory group. Seminar talks may be on any topic any relating to set theory or logic. Students are encouraged to attend and to speak!

Abstract: Set algebra theory is the core content of discrete mathematics set theory. Set algebra theory is commonly difficult to understand for new learners. Combining both image processing technology ...

Figure 1. Damage situation of the roadway at Longgu Mine from 24 m to 40 m on the upper entrance of Sanlian Tunnel. In summary, while there have been many achievements in the research of coal bursting ...

After the star-studded mystery thriller The Number 23 debuted in cinemas in 2007, many people became convinced that they were seeing the eponymous number everywhere. I was in school at that time, and ...