K. J. Khoo, H. T. Koh, K. M. Ng. <i>A discrete linear order with non-dense punctual degrees</i> . Theoretical Computer Science, vol. 1047 (2025), Paper no. 115324, 20 pp. - N. Bazhenov, K. M. Ng, L. S. Mauro, A. Sorbi. <i>Primitive recursive equivalence relations and their primitive recursive complexity</i> . Computability, vol.11, nos. 3-4 (2022), pp. 187–221. - B. S.

I. Kalimullin, A. Melnikov, A. Montalbán. <i>Punctual definability on structures</i> . Annals of Pure and Applied Logic, vol. 172, no. 8 (2021), Paper 102987, 18 pp. - R. Downey, M. Harrison-Trainor, I. Kalimullin, A. Melnikov, D. Turetsky. <i>Graphs are not universal for online computability</i> , Journal of Computer and System Sciences, vol. 112 (2020), pp. 1–12. - N. Greenberg, M.

Singular cardinals through the lens of Shelah’s pcf theory and Prikry-type forcings

ON THE HIERARCHY OF NATURAL THEORIES

A SHORT NOTE ON THE SIGNIFICANCE OF THE PENROSE-HALTING THEOREM

Tim Button. <i>Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets</i> The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp. 436–460. - Tim Button. <i>Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy</i> The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp. 461–484. - Tim Button. <i>Level Theory,

K. J. Khoo, H. T. Koh, K. M. Ng. <i>A discrete linear order with non-dense punctual degrees</i> . Theoretical Computer Science, vol. 1047 (2025), Paper no. 115324, 20 pp. - N. Bazhenov, K. M. Ng, L. S. Mauro, A. Sorbi. <i>Primitive recursive equivalence relations and their primitive recursive complexity</i> . Computability, vol.11, nos. 3-4 (2022), pp. 187–221. - B. S.

I. Kalimullin, A. Melnikov, A. Montalbán. <i>Punctual definability on structures</i> . Annals of Pure and Applied Logic, vol. 172, no. 8 (2021), Paper 102987, 18 pp. - R. Downey, M. Harrison-Trainor, I. Kalimullin, A. Melnikov, D. Turetsky. <i>Graphs are not universal for online computability</i> , Journal of Computer and System Sciences, vol. 112 (2020), pp. 1–12. - N. Greenberg, M.

Singular cardinals through the lens of Shelah’s pcf theory and Prikry-type forcings

ON THE HIERARCHY OF NATURAL THEORIES

A SHORT NOTE ON THE SIGNIFICANCE OF THE PENROSE-HALTING THEOREM

Tim Button. <i>Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets</i> The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp. 436–460. - Tim Button. <i>Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy</i> The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp. 461–484. - Tim Button. <i>Level Theory,