Math-Lo
The proof theory and semantics of second-order (intuitionistic) tense logic
On some algebraic properties of Plonka sums and regularized varieties
Residually Constructible Extensions
Constructibility real degrees in the side-by-side Sacks model
Computable $K$-theory for C*-algebras II: AF algebras
