Skip to main content
MathOverflow

Return to Answer

added 1 character in body
Source Link
anonymous09800980
anonymous09800980
  • 21
  • 3

If by "first-order logic of the plane" you mean the theory consisting of those statements which can be phrased in terms of some ambient notion of adjacency (e.g. "point is on a line", "line A meets line B", ...)

Then the answer should be yes; since these "natural" notionnotions of adjacency can be reduced to the existence of solutions to sets of equations built up from the operations of the field.

If by "first-order logic of the plane" you mean the theory consisting of those statements which can be phrased in terms of some ambient notion of adjacency (e.g. "point is on a line", "line A meets line B", ...)

Then the answer should be yes; since these "natural" notion of adjacency can be reduced to the existence of solutions to sets of equations built up from the operations of the field.

If by "first-order logic of the plane" you mean the theory consisting of those statements which can be phrased in terms of some ambient notion of adjacency (e.g. "point is on a line", "line A meets line B", ...)

Then the answer should be yes; since these "natural" notions of adjacency can be reduced to the existence of solutions to sets of equations built up from the operations of the field.

Source Link
anonymous09800980
anonymous09800980
  • 21
  • 3

If by "first-order logic of the plane" you mean the theory consisting of those statements which can be phrased in terms of some ambient notion of adjacency (e.g. "point is on a line", "line A meets line B", ...)

Then the answer should be yes; since these "natural" notion of adjacency can be reduced to the existence of solutions to sets of equations built up from the operations of the field.