Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
DOI10.1216/RMJ-2011-41-5-1501zbMATH Open1230.51013OpenAlexW1995322945MaRDI QIDQ640271FDOQ640271
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
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
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)
Cites Work
- Title not available (Why is that?)
- On the axiomatics of projective and affine geometry in terms of line intersection
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry
- Title not available (Why is that?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Compact projective planes. With an introduction to octonion geometry
- Title not available (Why is that?)
- Alexandrov-Zeeman type theorems expressed in terms of definability
- Title not available (Why is that?)
- Title not available (Why is that?)
- What is plane equiaffine geometry?
- Über fastgeordnete affine Ebenen. (On almost ordered affine planes)
- Why are surjective lineations of the Archimedean hyperbolic plane motions?
- Archimedisch angeordnete projektive Ebenen
- Title not available (Why is that?)
- The relative expressive power of some logics extending first-order logic
- Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe
- Euclidean geometry of orthogonality of subspaces
- When is betweenness preserved?
- A logical reading of the nonexistence of proper homomorphisms between affine spaces
- A definitional view of Vogt's variant of the Mazur-Ulam theorem
- Theory of models with generalized atomic formulas
- On Definitions in an Infinitary Language
- 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.
- Homomorphismen topologischer projektiver Ebenen
- Positive definitions of segment congruence in terms of segment inequality
Cited In (2)
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)
