Informatics Systems Section

Research output

  1. Permutation Groups and Ideals of Turing Degrees

    Research output: Contribution to journalArticlepeer-review

  2. Numberings on Admissible Structures over Equivalence Relations

    Research output: Contribution to journalArticlepeer-review

  3. Negative Numberings in Admissible Sets. II

    Research output: Contribution to journalArticlepeer-review

View all (18) »

ID: 12589122