Algebraic and elementary properties of Rogers semilattices and Reverse mathematics

Project: FDCRGP

  • 2 Conference contribution
  • 2 Article
Filter
Conference contribution

Search results

  • 2024

    On Arithmetical Numberings in Reverse Mathematics

    Bazhenov, N., Fiori-Carones, M. & Mustafa, M., 2024, Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Proceedings. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On Learning Families of Ideals in Lattices and Boolean Algebras

    Bazhenov, N. & Mustafa, M., 2024, Theory and Applications of Models of Computation - 18th Annual Conference, TAMC 2024, Proceedings. Chen, X. & Li, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14637 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)