×
维克托·潘布奇安

关于有序几何的简单性。 （英语） Zbl 1280.51007号

J.几何。 104，第1期，153-163（2013）.
在有序平面的公理框架中，除了需要六个变量的Pasch公理外，所有公理最多可以用四个变量表示。作者证明了Pasch公理可以用Pasch定理与弱交叉定理的结合来代替，这需要六个定理。五个变量的公式。这就产生了有序平面的最简单公理系统。是否可以用只需要五个变量的公理替换帕什公理，这个问题仍然悬而未决。
审核人：诺伯特·克纳尔（Gießen）

MSC公司：

51G05号 有序几何体（有序关联结构等）
52A01型 公理性和广义凸性
03B30型 经典理论基础（包括逆向数学）

关键词：

有序飞机;帕什公理;帕什定理;帕什公理的内外形式;分裂公理;简单
PDF格式BibTeX公司 XML格式引用
\textit{V.Pambuccian}，J.Geom。104，第1号，153--163（2013；Zbl 1280.51007）
全文： 内政部

参考文献：

[1] Borsuk K.，Szmielew W.：几何学基础。荷兰北部，阿姆斯特丹（1960年）·Zbl 0093.33301号
[2] Funk M.、Strambach K.：自由施工。手稿数学。72, 335-374 (1991) ·Zbl 1202.51010号
[3] 格林伯格M.J.：欧几里德和非欧几里得几何，第4版。W.H.Freeeman，旧金山（2006）·兹比尔0442.51008
[4] Grochowska M.：有向欧几里得平行性的公理系统。演示数学。46, 66-81 (1993) ·Zbl 0776.51002号
[5] Grochowska-Pra-zmowska M.：在定向平行性的绝对理论中对Pasch公理的证明。《几何杂志》。46, 66-81 (1993) ·Zbl 0776.51002号 ·doi:10.1007/BF01231001
[6] 格鲁纳·W·，斯特勒·R·：艾恩·贝默孔·祖姆在希尔伯特的《几何格鲁德拉根》中饰演Axiom von Pasch。元素。数学。5, 17-18 (1950) ·Zbl 0034.23502号
[7] 赫尔默，O.：关于公理系统语法的几点评论，摘自：《国会国际哲学科学学报》（巴黎，1935年），第七卷，第12-17页，赫尔曼，巴黎（1936年）·Zbl 1227.51011号
[8] 马丁·G.E.：几何学和非欧几里德平面的基础。纽约州施普林格市（1975年）·Zbl 0321.50001号
[9] Nevanlinna R.，Kustaanheimo P.E.：几何Grundlagen der Geometrie.Birkhäuser Verlag，巴塞尔（1976）·兹比尔0322.50002
[10] 潘布奇五世：简单。《圣母院J.形式逻辑》29，396-411（1988）·Zbl 0669.03005号 ·doi:10.1305/ndjfl/1093637936
[11] 潘布奇五世：欧几里德几何的简单公理系统。数学。编年史18，63-74（1989）·Zbl 0699.51010号
[12] 潘布契亚五世：Le plus simple système d’axiomes pour la geométrieélémentaire。牛市。波兰学院。科学。数学。42, 77-84 (1994) ·Zbl 0821.51015号
[13] 潘布奇五世：作为构造平面几何的原始概念的三元运算。六、 数学。逻辑Q.41384-394（1995）·Zbl 0828.03032号 ·doi:10.1002/malq.19950410310
[14] 潘布奇五世：仿射平面的简单公理系统。泽西蒂·诺克。地理。21, 59-74 (1995) ·兹比尔0848.03003
[15] Pambuccian V.：关于平面欧几里得几何公理系统的简单性。演示数学。30, 509-512 (1997) ·Zbl 0884.03004号
[16] 潘布奇：平面双曲几何最简单的公理系统。Studia Logica罗技研究77，385-411（2004）·Zbl 1069.03007号
[17] 潘布奇五世：有序几何中帕什公理的形式。数学。日志。Q.5629-34（2010）·Zbl 1202.51010号 ·doi:10.1002/malq.200810032
[18] 潘布奇五世：弱序平面几何。费拉拉塞兹大学。VII科学。材料56、91-96（2010）·Zbl 1205.51007号 ·doi:10.1007/s11565-010-0092-2
[19] 潘布奇五世：有序几何的公理学。I.有序关联空间。博览会。数学。29, 24-66 (2011) ·Zbl 1227.51010号 ·doi:10.1016/j.exmath.2010.09.004
[20] 潘布契亚五世：帕什公理的又一次分裂。数学成绩。59, 219-227 (2011) ·Zbl 1227.51011号 ·doi:10.1007/s00025-010-0086-5
[21] 潘布恰五世：平面双曲几何最简单的公理体系重温。《逻辑研究》97、347-349（2011）·Zbl 1234.51011号 ·doi:10.1007/s11225-011-9314-6
[22] 潘布奇五世：K5和K3,3的非平面性是平面有序几何的公理。《几何杂志》。103, 313-318 (2012) ·Zbl 1267.51012号 ·doi:10.1007/s00022-012-0129-z
[23] Pasch，M.：《Vorlesungenüber neuere Geometrie》，莱比锡特伯纳（1882；2）。Auflage，J.Springer，柏林（1926年）
[24] 皮诺，G.：我是空间几何逻辑原理。弗拉泰利·博卡·伊迪托里（Fratelli Bocca editori），都灵（Torino）（1880年）=皮亚诺·G·奥佩雷·希尔特（Opere scelte），第二卷，第56-91页，埃迪齐奥·克雷莫内塞（Edizione Cremonese），罗马
[25] Szmielew W.：关于n维欧几里德空间的阶和半阶。基金。数学。107, 47-56 (1980) ·Zbl 0436.51014号
[26] Veblen O.：几何公理体系。事务处理。阿默尔。数学。Soc.5384-434（1904年）·doi:10.1090/S0002-9947-1904-1500678-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。