Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry

DOI10.1216/RMJ-2011-41-5-1501zbMath1230.51013MaRDI QIDQ640271

Victor V. Pambuccian, Franz B. Kalhoff

Publication date: 18 October 2011

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1216/rmj-2011-41-5-1501

zbMATH Keywords

definability; Archimedean ordered plane

Mathematics Subject Classification ID

51G05: Ordered geometries (ordered incidence structures, etc.)

51F05: Absolute planes in metric geometry

51F20: Congruence and orthogonality in metric geometry

03C65: Models of other mathematical theories

Related Items

The axiomatics of ordered geometry: I. Ordered incidence spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Homomorphismen topologischer projektiver Ebenen
• Positive definitions of segment congruence in terms of segment inequality
• When is betweenness preserved?
• Über fastgeordnete affine Ebenen. (On almost ordered affine planes)
• Why are surjective lineations of the Archimedean hyperbolic plane motions?
• A logical reading of the nonexistence of proper homomorphisms between affine spaces
• On the axiomatics of projective and affine geometry in terms of line intersection
• Compact projective planes. With an introduction to octonion geometry
• Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry
• Euclidean geometry of orthogonality of subspaces
• What is plane equiaffine geometry?
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Archimedisch angeordnete projektive Ebenen
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• A definitional view of Vogt's variant of the Mazur-Ulam theorem
• Theory of models with generalized atomic formulas
• The relative expressive power of some logics extending first-order logic
• On Definitions in an Infinitary Language
• Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe
• Interpolation Theorem and Characterization Theorem
• A logical look at characterizations of geometric transformations under mild hypotheses
• Binary relations as single primitive notions for hyperbolic three-space and the inversive plane.