Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Foundations
❯
First Order Logic
❯
Theory
Theory
Jun 05, 2026
1 min read
A theory in a
Language
is a set of
Sentence
s in
.
Graph View
Backlinks
Absoluteness Of Recursive Operations
Adequacy Theorem
Algebraically Closed Field
Categorical
Compactness Theorem
Complete Theory
Elementary Equivalent Structures
First-order predicate Logic
Gödel's Incompleteness Theorems
Model Existence Lemma
Model
The Downward Löwenheim-Skolem Theorem
Unbounded Dense Linear Order
Vaught's Test
Formula Hierarchy