All Questions
1 question
3
votes
1
answer
157
views
First-order logic of projective planes over fields [closed]
Suppose $\mathbb{P}^2(k)$ is a projective plane defined/coordinatized over a commutative field $k$. Is the first-order logic of the plane completely determined by the first-order logic of $k$ ? (In ...
- 4,547