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

DOI10.1216/RMJ-2011-41-5-1501zbMath1230.51013OpenAlexW1995322945MaRDI 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

definabilityArchimedean ordered plane

Mathematics Subject Classification ID

Ordered geometries (ordered incidence structures, etc.) (51G05) Absolute planes in metric geometry (51F05) Congruence and orthogonality in metric geometry (51F20) Models of other mathematical theories (03C65)

Related Items (1)

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.

This page was built for publication: Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry