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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
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.
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
36 (#119,765)

6 months
4 (#1,635,958)

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.
For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.

Add more references