handy trick inspired by compactification: we can work with completed structures by adding endpoints and taking them away.
example: for a lattice, we can adjoin 0 and 1 as min/max elements by defining a structure where the sentences 0≤s and 1≥s are true for all s in the original structure, then do what we want, then delete 0 and 1.
handy trick inspired by compactification: we can work with completed structures by adding endpoints and taking them away.
example: for a lattice, we can adjoin 0 and 1 as min/max elements by defining a structure where the sentences 0≤s and 1≥s are true for all s in the original structure, then do what we want, then delete 0 and 1.