{"entities":{"Q1267320":{"pageid":1278070,"ns":120,"title":"Item:Q1267320","lastrevid":67170891,"modified":"2026-04-12T15:46:22Z","type":"item","id":"Q1267320","labels":{"en":{"language":"en","value":"Euclidean superpythagorean geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208000"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267320$7A6004F7-F697-4EBA-A361-351C217CE099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ecc4890fb9c93c2c2a90299081c9de1c48334ef","datavalue":{"value":{"text":"Euclidean superpythagorean geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267320$C2A44252-3FF0-4C98-A357-8BF9198ED40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb0fdc414685202a32f54c7c6342f40c4f485945","datavalue":{"value":"0915.51012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267320$CFBB98FF-8715-4024-B242-A5939A06332D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267320$387FA8A3-F972-4770-901B-1C15C7C7F55C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8538f1ba6baa09d5d0d64bc29fdc3e18f7dc8f68","datavalue":{"value":{"time":"+1999-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1267320$FCBC3005-97FF-4869-8B0F-003EE6F7604B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21b1a1a4591b76b4d566213e0cf72cc073b0d062","datavalue":{"value":"https://eudml.org/doc/223825","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267320$08084F17-A66E-467F-82F7-F89DE96B6131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"25c2cd1d15987587bba14837e6f8b36769303f00","datavalue":{"value":"http://www.emis.de/journals/BAG/vol.39/no.2/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267320$FA001307-D535-4690-9258-C31BDD34DFAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72c43b16ec8c77b8a1646c57cf620e43318e2a56","datavalue":{"value":"In 1972, superpythagorean fields were introduced and studied by R. Elman, T. Y. Lam, and L. Br\u00f6cker under the name ``strictly pythagorean fields''. They can be defined as fields in which every half-ordering that does not contain \\(-1\\) is an ordering.   The author first shows that a field \\(F\\) is superpythagorean iff   (i) \\((\\forall xy)x^2+y^2+1\\neq 0\\) and    (ii) \\((\\forall x)\\) \\(x\\in F^2\\vee-x\\in F^2\\vee 1+x\\in F^2\\vee x(1+x)\\in F^2\\).   He then provides an axiom system \\(\\sum=\\{A1,\\dots,A12\\}\\) for plane Euclidean geometry coordinatized by superpythagorean ordered fields. This axiom system requires, besides some order axioms, much less than the axioms of Hilbert's groups I, III, IV. The axioms A1-A6 provide the characterization of the Euclidean planes with bisectable right angles. The conditions (i), (ii) from above can be expressed geometrically by the two axioms A7: ``The circle which has \\((1,0)\\) and \\((a^2+1,0)\\) (with \\(a\\neq 0)\\) as endpoints of a diameter does not intersect the \\(y\\)-axis'' and A8: ``The circle which has \\((0,0)\\) and \\((a^2+ a+1, 0)\\) as endpoints of a diameter intersect at least one of the lines \\(x=3a\\), \\(x=-a\\), \\(x=a^2\\), \\(x=1\\)''. The axioms: A9-A12 are order axioms: A9 and A10 corresponds to the two statements of Hilbert's axiom II.1, A11 tells us that the midpoint of a segment lies between its endpoints, and A12 is a strengthened form of the Pasch axiom. The author proves the theorem: \\(M\\) is a model of \\(\\sum\\) iff \\(M\\) is isomorphic to a Cartesian plane over a superpythagorean ordered field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267320$3EB00A95-7E93-4C9F-8FD6-8BE482C0630B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267320$8F9B362A-D815-43DB-B064-0E6C8581A04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0f3a033ba037e44c92b4ace3a10a2805bf2147","datavalue":{"value":"51G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267320$A11953E9-93F8-467E-9427-E3C9A14FBCAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82e6574630d920393145819e15d7eace15de7f8d","datavalue":{"value":"1208000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267320$67669621-0091-4FC0-9AD5-70F6A2BB824D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f2d6cb5e49c2d1394fd958e3be45d5407e7fea","datavalue":{"value":"Cartesian plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267320$0C8B6CF1-196C-49E2-94C9-D4847FD7857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db5494d3f7b8f844dd8114683f2cc3cdcc9e9d8","datavalue":{"value":"Euclidean plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267320$69FD1EED-01EE-4C28-8936-672573BB26BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fddcb4ffc25d7855e5fe25505bf76cd7cd3231c3","datavalue":{"value":"bisectable right angles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267320$525897D7-F6BA-4559-B574-DC8698A27840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5802308cd49f7a6e01ba4cb68bc5031481aa21e8","datavalue":{"value":"superpythagorean fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267320$3815E559-03B9-4EDA-AF60-7B1EE1C887A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b34a96d792623845760e2e37e0716639d8b131","datavalue":{"value":"half-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267320$E9427294-6FEE-4836-BE15-1A9EBF904516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267320$1B1B4F2D-F35C-45DF-988D-A9C972CC073D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267320$3A86082F-721E-488D-95BB-2D3EBD71E7D2","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"8fd7d0889103c669daeee61c5e6d350aa1b48f04","datavalue":{"value":"bafkreieewcjwlok2v3botfg7n42swv7mgt2alllfibwtbcyrdozb5p3tf4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267320$393F9106-3DE9-40F6-911B-FB775171F180","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9825b862b9550ac5f5b5ab3e35a19c8f655b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1972381,"id":"Q1972381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9cbd8d44feccad762e6e6368c36f24e8eda37b","datavalue":{"value":{"amount":"+0.93556815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$480C1AFB-AAAF-4265-B6A8-09F97C1EC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cf211f6e167720d9daefdc71f819cd4c9f333f","datavalue":{"value":{"entity-type":"item","numeric-id":1319251,"id":"Q1319251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc32a98fc3180d9bec3bb6511c3cac66a330d741","datavalue":{"value":{"amount":"+0.8811819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$89AE2899-8400-4253-8D19-2A00D0F45775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8612f1905a188a1d86dc9df77e4b27cf4bed97cb","datavalue":{"value":{"entity-type":"item","numeric-id":4842986,"id":"Q4842986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc32a98fc3180d9bec3bb6511c3cac66a330d741","datavalue":{"value":{"amount":"+0.8811819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$FE5E1570-1C2E-40D8-842C-2DF0908DAF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665bdc0f72accaca4ac402970ae700806fb7c8f3","datavalue":{"value":{"entity-type":"item","numeric-id":881737,"id":"Q881737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cc4b262db08b292576228124e03a2779f9341e","datavalue":{"value":{"amount":"+0.8790709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$F453DC72-E19A-4F49-BAE8-070CD4C4513A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe540a526b2505310261c0174d024cd67bb8348","datavalue":{"value":{"entity-type":"item","numeric-id":5890184,"id":"Q5890184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b53756f1f6083e1e2db7a30d9cfd1fd76a107f5","datavalue":{"value":{"amount":"+0.8751641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$9CF22F69-5C8D-49D7-9E3D-830D954D5E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76113901ad530c6db123b570ccd2cfe1f6a5afdb","datavalue":{"value":{"entity-type":"item","numeric-id":1190612,"id":"Q1190612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31db4bfc91d9fdc2dac123dd6ef5d6342ec4683","datavalue":{"value":{"amount":"+0.8740049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$7832E93B-0C58-4F59-8A5D-A84D815D9225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57f6e9044cea99d8107f7cc2f4675b6214b1914","datavalue":{"value":{"entity-type":"item","numeric-id":5751548,"id":"Q5751548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfbbbeef42ba46ca809eb975d36c504f485ccf4","datavalue":{"value":{"amount":"+0.87159216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$55BBDF4F-9D4B-456F-A951-2C3EB115C381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43d57453015d53db2b241236eede0bcff75b034","datavalue":{"value":{"entity-type":"item","numeric-id":2950378,"id":"Q2950378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763bdf070bc4339d9d65e962a1d3b18751f49c81","datavalue":{"value":{"amount":"+0.861254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1267320$AEF2544D-1D46-4042-94A6-409EF7AEAC24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Euclidean superpythagorean geometry","badges":[]}}}}}