Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation. - Desmond Lau (CoRR, 2024)

Relative Constructibility via Restricted Abstract State Machines. - Desmond Lau (CoRR, 2024)