collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2024

Forcing as a Local Method of Accessing Small Extensions

Desmond Lau

Fix a set-theoretic universe . We look at small extensions of as generalised degrees of computability over . We also formalise and investigate the complexity of certain m…

math.LO2024

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation

Desmond Lau

We develop a forcing framework based on the idea of amalgamating language fragments into a theory with a canonical term model. We then demonstrate the usefulness of this framework…