Logic, Mathematics Computable Dimension, Randomness, and Normality: A Study of Effective Representations December 15, 2023
Logic, Mathematics Computable Functions and String Rewriting Systems: A New Perspective December 7, 2023
Logic, Mathematics Reverse Mathematics: Truncation, Reducibilities, and Computational Strength December 6, 2023