Research output

1. On a Computability-Theoretic Approach to Boolean-Valued Models

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

2. Index Sets of Decidably Categorical Models that are Elementarily Equivalent to the Powers of Omega

   Research output: Contribution to journal › Article › peer-review

3. On cardinalities of Rogers semilattices for families in the Ershov hierarchy

   Research output: Contribution to journal › Article › peer-review

View all (9) »