Ming Ng

collaborators

4 papers

math.LO2026

The Gamified KatÄtov order is not linear (in fact, very much not so)

Takayuki Kihara, Ming Ng

Recently, the authors introduced the Gamified KatÄtov order on filters over $I ¨ $ . This was shown to be strictly coarser than the classical KatÄtov order, and in fact collapses al…

math.LO2026

What can Topology tell us about Logical Complexity?

Takayuki Kihara, Ming Ng

In the 1980s, category theorists introduced the Lawvere-Tierney $(\leq_{LT})$ order in the Effective Topos, known to effectively embed the Turing degrees. Understanding it…

math.LO2026

The Game-Theoretic KatÄtov Order and Idealised Effective Subtoposes

Takayuki Kihara, Ming Ng

This paper addresses the longstanding problem of determining the structure of the $\leq_{LT}$ -order in the Effective Topos, known to effectively embed the Turing degrees.…

math.AT2025

Scissors congruence K-theory for equivariant manifolds

Mona Merling, Ming Ng, Julia Semikina +2

We introduce a scissors congruence $K$ -theory spectrum which lifts the equivariant scissors congruence groups for compact $G$ -manifolds with boundary, and we show that on $I ¨ _{0}$ th…

The Gamified KatÄtov order is not linear (in fact, very much not so)

What can Topology tell us about Logical Complexity?

The Game-Theoretic KatÄtov Order and Idealised Effective Subtoposes

Scissors congruence K-theory for equivariant manifolds

The Gamified KatÄtov order is not linear (in fact, very much not so)

The Game-Theoretic KatÄtov Order and Idealised Effective Subtoposes