4 papers
On Andréka's Conjecture that special relativity is the only possible conceptual reduct of classical kinematics
Judit Madarász, Mike Stannett, Gergely Székely
In this paper, we prove a pure mathematical result which has important implications for the history and philosophy of classical physics and the conceptual origins of relativity the…
Definable coordinate geometries over fields, part 2: applications
Judit Madarász, Mike Stannett, Gergely Székely
In Part 1 of this study we showed, for a wide range of geometries, that the relationships between their concept-sets are fully determined by those between their (affine) automorphi…
Definable coordinate geometries over fields, part 1: theory
Judit Madarász, Mike Stannett, Gergely Székely
We define general notions of coordinate geometries over fields and ordered fields, and consider coordinate geometries that are given by finitely many relations that are definable o…
On variable non-dependence of first-order formulas
Koen Lefever, Gergely Székely
In this paper, we introduce a concept of non-dependence of variables in formulas. A formula in first-order logic is non-dependent of a variable if the truth value of this formula d…