Research output

1. Decidable Models of Ehrenfeucht Theories

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

2. Arithmetical Decidability of Homogeneous and Almost Prime Countable Models of Ehrenfeucht Theories with Arithmetical Types

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

View all (2) »