Algorithmic randomness for Doob's martingale convergence theorem in continuous time. - Bjørn Kjos-Hanssen; Paul Kim Long V. Nguyen; Jason M. Rute (Log. Methods Comput. Sci., 2014)

The strength of the Grätzer-Schmidt theorem. - Katie Brodhead; Mushfeq Khan; Bjørn Kjos-Hanssen; William A. Lampe; Paul Kim Long V. Nguyen; Richard A. Shore (Arch. Math. Log., 2016)

Index Set Complexity for Congruence Lattices of Lattices. - Bjørn Kjos-Hanssen; Paul Kim Long V. Nguyen (WoLLIC, 2025)