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

DOI10.1216/RMJ-2011-41-5-1501MaRDI QIDQ640271zbMATHOpenAlexFDO

Authors Franz B. Kalhoff, Victor V. Pambuccian

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

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

Recommendations

• scientific article; zbMATH DE number 3901538
• Positive definitions of segment congruence in terms of segment inequality
• A logical reading of the nonexistence of proper homomorphisms between affine spaces
• A proof of Pasch's axiom in the absolute theory of oriented parallelity
• scientific article; zbMATH DE number 3866068

Cites work

• scientific article; zbMATH DE number 5150141 (Why is no real title available?)
• scientific article; zbMATH DE number 3816479 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3743990 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3481394 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 4119075 (Why is no real title available?)
• A definitional view of Vogt's variant of the Mazur-Ulam theorem
• A logical look at characterizations of geometric transformations under mild hypotheses
• A logical reading of the nonexistence of proper homomorphisms between affine spaces
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Archimedisch angeordnete projektive Ebenen
• Binary relations as single primitive notions for hyperbolic three-space and the inversive plane.
• 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
• Homomorphismen topologischer projektiver Ebenen
• Interpolation Theorem and Characterization Theorem
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On Definitions in an Infinitary Language
• On the axiomatics of projective and affine geometry in terms of line intersection
• Positive definitions of segment congruence in terms of segment inequality
• The relative expressive power of some logics extending first-order logic
• Theory of models with generalized atomic formulas
• What is plane equiaffine geometry?
• When is betweenness preserved?
• Why are surjective lineations of the Archimedean hyperbolic plane motions?
• Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe
• Über fastgeordnete affine Ebenen. (On almost ordered affine planes)

Cited in

(2)

• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Alexandrov-Zeeman type theorems expressed in terms of definability

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

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