5 papers
The Archimedean place is a blurred interval at infinity
Ming Ng
Classically, the places of are often regarded as a one-point compactification of , with the real place corresponding to a formal ``prime'' a…
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 . This was shown to be strictly coarser than the classical Katětov order, and in fact collapses all M…
What can Topology tell us about Logical Complexity?
Takayuki Kihara, Ming Ng
In the 1980s, category theorists introduced the Lawvere-Tierney order in the Effective Topos, known to effectively embed the Turing degrees. Understanding it…
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 -order in the Effective Topos, known to effectively embed the Turing degrees.…
Scissors congruence K-theory for equivariant manifolds
Mona Merling, Ming Ng, Julia Semikina +2
We introduce a scissors congruence -theory spectrum which lifts the equivariant scissors congruence groups for compact -manifolds with boundary, and we show that on thi…