User:Qedetc

Currently mostly adding to Category:Model Theory.

Stuff I've made or noticed linked but not written in logic / model theory
(let me know if I shouldn't have a list of links here or something since it +1s the link count in a few places)

Equivalence of Definitions of Algebraic

Equivalence of Definitions of Definable

Löwenheim-Skolem Theorem

Definition:Substructure

Definition:Independent (Logic)

Definition:Successor Cardinal

Gödel's Completeness Theorem

Maximal Finitely Satisfiable Theory with Witness Property is Satisfiable

Definition:Transfinite Induction