维克托·潘布奇安 三元运算是构造平面几何的基本概念。 (英语) Zbl 0669.03029号 Z.数学。Logik Grundlagen数学。 35,第6期,531-535(1989). N.鼹鼠和P.Suppes公司【数学合成.20143-152(1968;Zbl 0183.249)】和H.塞兰【Algorithmische Theoryen und konstruktive Geometrie(论文,斯图加特)(1978;Zbl 0404.03054号)]haben die ebene euklidische Geometrie mit pytagoreischen bzw公司。euklidischen angeordneten Koordnkörpern mittels zweier(bzw.dreier)vierstelligen Operationen mit Punkten als Individuenvariablen derart axiomatisiert,das Seinszeichen((存在))in keinem der Axiome vorkomt(因此das man das Axiomesystem“quantorenfrei”nennen kann)。版本。gibt quantorenfreie Axiomensysteme für die ebene euklidische Geometrieüber sowohl pytagoreischen als auch euklideschen angeordneten Körpern in einer Sprache,die ein zweistelliges und drei(bzw.vier)dreistellige Operationszeichen-mit Punkten als Individuenvariablen-enthält。审核人:V.V.潘布奇 引用于7评论引用于三文件 MSC公司: 第03页 其他构造数学 2005年5月5日 欧几里德几何(一般)和推广 51F99型 公制几何 03B30型 经典理论基础(包括逆向数学) 关键词:构造欧几里德几何 引文:Zbl 0183.249号;Zbl 0404.03054号 PDF格式BibTeX公司 XML格式引用 \textit{V.Pambuccian},Z.数学。Logik Grundlagen数学。35,第6号,531--535(1989;Zbl 0669.03029) 全文: 内政部