User:Qedetc

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

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

Definition:Elementary Extension

Definition:Elementary Diagram

Union of Elementary Chain is an Elementary Extension