论文信息 - Forms of the Pasch axiom in ordered geometry

Forms of the Pasch axiom in ordered geometry

We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom (IP) does not imply its outer form (OP). We also show that OP can be properly split into IP and the weak Pasch axiom (WP) (© 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Victor Pambuccian | V. Pambuccian

[1] H. Coxeter,et al. Introduction to Geometry , 1964, The Mathematical Gazette.

[2] Wanda Szmielew. Concerning the order and the semi-order of n-dimensional Euclidean space , 1980 .

[3] A. Tarski,et al. Metamathematische Methoden in der Geometrie , 1983 .

[4] Oswald Veblen,et al. A system of axioms for geometry , 1904 .

[5] W. A. Coppel. Foundations of Convex Geometry , 1998 .

[6] Małgorzata Grochowska-Prazmowska. A proof of Pasch's axiom in the absolute theory of oriented parallelity , 1993 .

[7] Victor Pambuccian. Splitting the Pasch axiom , 1996 .

[8] Sara Negri,et al. Cut Elimination in the Presence of Axioms , 1998, Bulletin of Symbolic Logic.

[9] Victor Pambuccian. Zum Stufenaufbau des Parallelenaxioms , 1994 .

[10] Sara Negri,et al. Structural proof theory , 2001 .

[11] The Concept of Join System and Its Basic Properties , 1961 .