Definable coordinate geometries over fields

DOI10.1017/S175502032610118XMaRDI QIDQ7357608zbMATH OpenFDO

Authors Judit Madarász, Mike Stannett, Gergely Székely

Publication date 25 September 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S175502032610118X

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Classical first-order logic (03B10) Other applications of logic (03B80)

Cites work

• A combinatorial version of the Svenonius theorem on definability
• A system of axioms for Minkowski spacetime
• Affine maps, Euclidean motions and quadrics
• An introduction to cylindric set algebras
• Comparing classical and relativistic kinematics in first-order logic
• Comparing the structures of mathematical objects
• Conceptual distance and algebras of concepts
• Cone Preserving Mappings for Quadratic Cones Over Arbitrary Fields
• Distances between formal theories
• Geometry. I, II. Transl. from the French by M. Cole and S. Levy
• Gravitation. With a new foreword by David I. Kaiser and a new preface by Charles W. Misner and Kip S. Thorne
• Grundlagen der Geometrie.
• How to count structure
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1157649 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
• Lattice of definability (of reducts) for integers with successor
• Lattice of definability in the order of rational numbers
• Metamathematical discussion of some affine geometries
• On automorphism criteria for comparing amounts of mathematical structure
• On some Axioms in Foundations of Cartesian Spaces
• On the complexity of database queries
• On the epistemological significance of the Hungarian project
• On the structure of classical mechanics
• Orthogonality and spacetime geometry
• Physics, structure, and reality
• Quantifier elimination for elementary geometry and elementary affine geometry
• Tarski's System of Geometry
• The lattice of definability. Origins, recent developments, and further directions
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
• Theories of real numbers and interpretability
• Who's afraid of coordinate systems? An essay on representation of spacetime structure

This page was built for publication: Definable coordinate geometries over fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7357608)