Research output

1. On Σ-Definability Over Hereditarily Finite and List Superstructures

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

2. On Decidability of List Structures

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

3. Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

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

View all (3) »