User:Qedetc

Currently mostly adding to Category:Model Theory.