New posts in First Order Logic

Whats wrong with this model theoretic proof of the twin primes conjecture?

Why is elimination of imaginaries important?

In $(\mathbb{Z},<)$ is it possible to define the operation of addition?

Why is $\exists y \in B, \ \forall x \in A, \ P(x,y) $ stronger than $\forall x \in A,\ \exists y \in B, \ P(x,y)$

A first order logic extended with binding terms like the familiar set descriptors $\{x:\varphi\}$

Quantifiers in first-order logic

What does generic mean?

Why constant symbols in a language?

How a theory can be categorical of a large cardinality?

Gödel's completeness theorem and the undecidability of first-order logic