Keng Meng Ng

63 papers C 4Journal 57Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
The computational content of multidimensional discontinuity.
Ann. Pure Appl. Log.
Rupert Hölzl, Keng Meng Ng
2025 J jnl
A discrete linear order with non-dense punctual degrees.
Theor. Comput. Sci.
Kai Jun Khoo, Heer Tern Koh, Keng Meng Ng
2025 J jnl
Computable Topological Groups.
J. Symb. Log.
Heer Tern Koh, Alexander G. Melnikov, Keng Meng Ng
2025 J jnl
Computable classifications of continuous, transducer, and regular functions.
Theor. Comput. Sci.
Johanna N. Y. Franklin, Rupert Hölzl, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky
2025 J jnl
Computably and punctually universal spaces.
Ann. Pure Appl. Log.
Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov, Keng Meng Ng
2025 J jnl
Limit Complexities, Minimal Descriptions, and
J. Symb. Log.
Rodney G. Downey, Lu Liu, Keng Meng Ng, Daniel Turetsky
2025 J jnl
On cardinalities of Rogers semilattices for families in the Ershov hierarchy.
Inf. Comput.
Keng Meng Ng, Nikolay Bazhenov, Birzhan S. Kalmurzayev, Dias Nurlanbek
2025 J jnl
Punctually presented structures II: comparing presentations.
Arch. Math. Log.
Marina Dorzhieva, Rodney G. Downey, Ellen Hammatt, Alexander G. Melnikov, Keng Meng Ng
2025 J jnl
The singleton degrees of the Σ20 sets are not dense.
Ann. Pure Appl. Log.
Thomas F. Kent, Keng Meng Ng, Andrea Sorbi
2024 J jnl
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES.
J. Symb. Log.
Barbara F. Csima, Rod Downey, Keng Meng Ng
2024 J jnl
On cupping and Ahmad Pairs.
J. Symb. Log.
Iskander Sh. Kalimullin, Steffen Lempp, Keng Meng Ng, Mars M. Yamaleev
2024 J jnl
The subTuring degrees.
CoRR
Takayuki Kihara, Keng Meng Ng
2023 J jnl
Computable soft separation axioms.
Math. Struct. Comput. Sci.
Salah M. Elsayed, Keng Meng Ng
2023 J jnl
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities.
J. Log. Comput.
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
2023 J jnl
Separating notions in effective topology.
Int. J. Algebra Comput.
Alexander G. Melnikov, Keng Meng Ng
2022 J jnl
Every Δ20 degree is a strong degree of categoricity.
J. Math. Log.
Barbara F. Csima, Keng Meng Ng
2022 J jnl
Extensions of two constructions of Ahmad.
Comput.
Jun Le Goh, Steffen Lempp, Keng Meng Ng, Mariya Ivanova Soskova
2022 C conf
On Trees Without Hyperimmune Branches.
CiE
Keng Meng Ng, Frank Stephan, Yue Yang, Liang Yu
2022 J jnl
Primitive recursive equivalence relations and their primitive recursive complexity.
Comput.
Nikolay Bazhenov, Keng Meng Ng, Luca San Mauro, Andrea Sorbi
2022 J jnl
Separating weak
Ann. Pure Appl. Log.
Michael McInerney, Keng Meng Ng
2021 J jnl
A recursion theoretic foundation of computation over real numbers.
J. Log. Comput.
Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang
2021 J jnl
Foundations of Online Structure Theory II: The Operator Approach.
Log. Methods Comput. Sci.
Rod Downey, Alexander G. Melnikov, Keng Meng Ng
2021 J jnl
Turing degrees in Polish spaces and decomposability of Borel functions.
J. Math. Log.
Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng
2020 J jnl
A recursion theoretic foundation of computation over real numbers.
CoRR
Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang
2020 J jnl
Computability of Polish Spaces up to Homeomorphism.
J. Symb. Log.
Matthew Harrison-Trainor, Alexander G. Melnikov, Keng Meng Ng
2020 J jnl
Computable linear Orders and Products.
J. Symb. Log.
Andrey N. Frolov, Steffen Lempp, Keng Meng Ng, Guohua Wu
2020 J jnl
Cupping and jump Classes in the computably Enumerable Degrees.
J. Symb. Log.
Noam Greenberg, Keng Meng Ng, Guohua Wu
2020 J jnl
Effective Domination and the Bounded Jump.
Notre Dame J. Formal Log.
Keng Meng Ng, Hongyuan Yu
2020 J jnl
Incomparability in local structures of s-degrees and Q-degrees.
Arch. Math. Log.
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
2020 J jnl
Online presentations of finitely generated structures.
Theor. Comput. Sci.
Nikolay Bazhenov, Iskander Sh. Kalimullin, Alexander G. Melnikov, Keng Meng Ng
2020 J jnl
Punctual Categoricity and Universality.
J. Symb. Log.
Rod Downey, Noam Greenberg, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky
2019 J jnl
Automatic and Polynomial-Time Algebraic Structures.
J. Symb. Log.
Nikolay Bazhenov, Matthew Harrison-Trainor, Iskander Sh. Kalimullin, Alexander G. Melnikov, Keng Meng Ng
2019 J jnl
Categorical linearly ordered structures.
Ann. Pure Appl. Log.
Rod Downey, Alexander G. Melnikov, Keng Meng Ng
2019 J jnl
Enumeration degrees and non-metrizable topology.
CoRR
Takayuki Kihara, Keng Meng Ng, Arno Pauly
2019 J jnl
On the Degree Structure of Equivalence Relations Under Computable Reducibility.
Notre Dame J. Formal Log.
Keng Meng Ng, Hongyuan Yu
2018 J jnl
Splitting into degrees with low computational strength.
Ann. Pure Appl. Log.
Rod Downey, Keng Meng Ng
2017 J jnl
A Friedberg enumeration of equivalence structures.
J. Math. Log.
Rodney G. Downey, Alexander G. Melnikov, Keng Meng Ng
2017 J jnl
Algebraic structures computable without delay.
Theor. Comput. Sci.
Iskander Sh. Kalimullin, Alexander G. Melnikov, Keng Meng Ng
2017 J jnl
Lowness and logical depth.
Theor. Comput. Sci.
Rod Downey, Michael McInerney, Keng Meng Ng
2017 — conf
On Being Rod's Graduate Student.
Computability and Complexity
Keng Meng Ng
2017 J jnl
Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees.
Inf. Process. Lett.
Weiguang Peng, NingNing Peng, Keng Meng Ng, Kazuyuki Tanaka, Yue Yang
2016 J jnl
Abelian p-groups and the Halting problem.
Ann. Pure Appl. Log.
Rodney G. Downey, Alexander G. Melnikov, Keng Meng Ng
2016 J jnl
Finitary Reducibility on Equivalence Relations.
J. Symb. Log.
Russell G. Miller, Keng Meng Ng
2015 J jnl
Counting the changes of random Δ20 sets.
J. Log. Comput.
Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
2015 J jnl
On -categoricity of equivalence relations.
Ann. Pure Appl. Log.
Rod Downey, Alexander G. Melnikov, Keng Meng Ng
2014 J jnl
Complexity of Equivalence Relations and Preorders from Computability Theory.
J. Symb. Log.
Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies
2014 J jnl
Iterated effective embeddings of abelian p-groups.
Int. J. Algebra Comput.
Rodney G. Downey, Alexander G. Melnikov, Keng Meng Ng
2014 J jnl
Lowness for effective Hausdorff dimension.
J. Math. Log.
Steffen Lempp, Joseph S. Miller, Keng Meng Ng, Daniel D. Turetsky, Rebecca Weber
2014 J jnl
The Complexity of Recursive Splittings of Random Sets.
Comput.
Keng Meng Ng, André Nies, Frank Stephan
2014 J jnl
Universal computably Enumerable Equivalence Relations.
J. Symb. Log.
Uri Andrews, Steffen Lempp, Joseph S. Miller, Keng Meng Ng, Luca San Mauro, Andrea Sorbi
2012 — conf
Bounded Randomness.
Computation, Physics and Beyond
Paul Brodhead, Rod Downey, Keng Meng Ng
2012 J jnl
Lowness for bounded randomness.
Theor. Comput. Sci.
Rod Downey, Keng Meng Ng
2011 J jnl
Jump inversions inside effectively closed sets and applications to randomness.
J. Symb. Log.
George Barmpalias, Rod Downey, Keng Meng Ng
2011 J jnl
Limits on jump inversion for strong reducibilities.
J. Symb. Log.
Barbara F. Csima, Rod Downey, Keng Meng Ng
2011 J jnl
Strengthening prompt simplicity.
J. Symb. Log.
David Diamondstone, Keng Meng Ng
2010 C conf
Counting the Changes of Random D
CiE
Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
2010 J jnl
Effective Packing Dimension and Traceability.
Notre Dame J. Formal Log.
Rod Downey, Keng Meng Ng
2010 J jnl
The importance of Pi
J. Symb. Log.
George Barmpalias, Andrew E. M. Lewis, Keng Meng Ng
2009 C conf
Lowness for Demuth Randomness.
CiE
Rod Downey, Keng Meng Ng
2009 J jnl
On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin.
Notre Dame J. Formal Log.
Keng Meng Ng
2008 J jnl
On strongly jump traceable reals.
Ann. Pure Appl. Log.
Keng Meng Ng
2008 J jnl
On very high degrees.
J. Symb. Log.
Keng Meng Ng
2006 C conf
Degrees of Weakly Computable Reals.
CiE
Keng Meng Ng, Frank Stephan, Guohua Wu