User:Qedetc
Jump to navigation
Jump to search
Currently mostly adding to Category:Model Theory.
Stuff I've made or noticed linked but not written in logic / model theory
Equivalence of Definitions of Algebraic
Equivalence of Definitions of Definable
Definition:Independent (Logic)
Maximal Finitely Satisfiable Theory with Witness Property is Satisfiable
Definition:Transfinite Induction