Forms of the Pasch axiom in ordered geometry

Mathematical Logic Quarterly 56 (1):29-34 (2010)
  Copy   BIBTEX

Abstract

We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom does not imply its outer form . We also show that OP can be properly split into IP and the weak Pasch axiom

Categories

Keywords

Reprint years

DOI

10.1002/malq.200810032

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Reverse Analysis of the Sylvester-Gallai Theorem.Victor Pambuccian - 2009 - Notre Dame Journal of Formal Logic 50 (3):245-260.
Unions and the axiom of choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
Unions and the axiom of choice.Omar de la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
Some Weak Forms of the Axiom of Choice Restricted to the Real Line.Kyriakos Keremedis & Eleftherios Tachtsis - 2001 - Mathematical Logic Quarterly 47 (3):413-422.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Properties of the real line and weak forms of the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (6):598-609.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.

Analytics

Added to PP
2013-11-03

Downloads
51 (#474,600)

6 months
8 (#521,746)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Reverse Analysis of the Sylvester-Gallai Theorem.Victor Pambuccian - 2009 - Notre Dame Journal of Formal Logic 50 (3):245-260.
A constructive version of Tarski's geometry.Michael Beeson - 2015 - Annals of Pure and Applied Logic 166 (11):1199-1273.

Add more citations

References found in this work

Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.

Add more references