{"entities":{"Q1909592":{"pageid":1920334,"ns":120,"title":"Item:Q1909592","lastrevid":69266241,"modified":"2026-04-13T05:51:51Z","type":"item","id":"Q1909592","labels":{"en":{"language":"en","value":"`Outside' as a primitive notion in constructive projective geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856611"}},"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":"Q1909592$04128F72-E4F9-467A-9437-F0759E19B8A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f21314417b3af5cce0b09ddccbc3a8111c9d608","datavalue":{"value":{"text":"`Outside' as a primitive notion in constructive projective geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909592$E4840E8B-529D-46A2-B79C-80DE69393124","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c7f2c433957f8652e2f080ebb997c6de0c99b6","datavalue":{"value":"0846.51001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909592$E7CDFB02-370B-426C-A3A0-99019637D878","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ef8f6d2ecbc61c4d57a9a82f809bd2ac99a7ae","datavalue":{"value":"10.1007/BF00150870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909592$F3BF749A-5845-469C-B8B4-A39CF0A1956C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32703013e48b6fca4d8376e11e20595364f600e2","datavalue":{"value":{"entity-type":"item","numeric-id":451976,"id":"Q451976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909592$9FF166D4-1E4A-4CB0-BD0F-00DA00B4DFEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909592$7F216F68-8F7A-4ABC-89AD-FBBFADF17FB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40eacd21a7efb3a2fa818fc0823bb429dea7c652","datavalue":{"value":{"time":"+1996-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1909592$6D2C54BF-A5DD-45EF-A918-3AE29A6412CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdc02638734ed54f4e1bd9e2b34dba2c6c0e2e14","datavalue":{"value":"An intuitionistic axiom system for projective planes with only one primitive is given. To the naive observer, the most striking feature of Intuitionism certainly is the renunciation of the ``tertium non datur'', the excluded middle. Therefore the (positive) apartness relation, \\(\\#\\), implies \\(\\#\\), but is not equivalent to \\(\\#\\). Analogously, the relation ``outside'', defined as a positive counterpart of ``incident'', and the relation ``not incident'' in a projective space are not equivalent. The author has chosen to denote the relation ``outside'' also by \\(\\#\\). He uses this as the only primitive, and gives an axiom system, which he proves is equivalent to Heyting's axioms for projective planes [\\textit{A. Heyting}, Math. Ann. 98, 491-538 (1927; JFM 53.0541.01)]. To be precise: Heyting gives an axiom system for (3-dimensional) projective space, which has been adapted by the author.   Note that the author refers to projective spaces, but his axioms clearly define projective planes only.   The author seems to use the phrases Constructivism and Intuitionism synonymously.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909592$5B4C637F-E3BC-4F3B-A660-D61FC356B08A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"df5837364775a22c4a72113e184dfce3b8631ee9","datavalue":{"value":{"entity-type":"item","numeric-id":588482,"id":"Q588482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909592$DD96DEE0-EDF9-402E-84FC-884F8B9A5EA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909592$54D79D15-87E3-4BF9-96DE-970F95BA9351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909592$6A79EB58-1472-4974-AC25-6876D5B5EE0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d0f2ec6e07060b01b07bf1fda92be1af49898f1","datavalue":{"value":"856611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909592$2D33F971-B4A8-4414-9541-F9A0403BF517","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84cf31fdf2f69b395103dbb05019ddf252caa466","datavalue":{"value":"constructive projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909592$A80B0D09-BBE9-445E-BA01-AB5C70454D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a3fb578cdb9982bc2a7736ece4783745b6251b4","datavalue":{"value":"projective planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909592$71DF28A6-6CA8-4F4F-8794-BC5ED81BDF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ad85b7b16780beb1d74ca43c0eb7a5d7cd5f1b","datavalue":{"value":"Heyting's system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909592$D8DAFF12-A208-47B4-97F8-F9C0F6D915BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df557cd823d7da81386353d3ec0aabeb9e453c9f","datavalue":{"value":"JFM 53.0541.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909592$06BC166E-FEA0-4BDC-BB3E-7E0A8F190602","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":"Q1909592$6E4BF386-5C13-4FCD-9C79-4C68219E1297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf12860cd281ab48fc0552a34bf83b5fa743a32c","datavalue":{"value":"https://doi.org/10.1007/bf00150870","type":"string"},"datatype":"url"},"type":"statement","id":"Q1909592$4FB6618B-12D7-492F-B427-75C6E935CDDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"460c4fdfc0ab3c05171d78b2d14dbe28be754796","datavalue":{"value":"W2009414585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909592$7546533D-778B-4AC6-AC2D-E4A0275740EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3b26944d10a42cd0061d8e5e408305ebe7c697","datavalue":{"value":{"entity-type":"item","numeric-id":1928390,"id":"Q1928390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1727c856048aec2172a482af7da3fe9996f681c7","datavalue":{"value":{"amount":"+0.78365815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$78480804-426C-454A-83DB-1332A6C29492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dd827d0fa6443dcbd18e3e5877a79d88886359","datavalue":{"value":{"entity-type":"item","numeric-id":1964142,"id":"Q1964142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b09ced648546db9b46485a23d4c4c98e2d6a36","datavalue":{"value":{"amount":"+0.78130466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$B01AA689-6A62-4D64-BE1A-BA6CEF55C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c43acd0d746239e45b1c3f0a138dd4ae30a14","datavalue":{"value":{"entity-type":"item","numeric-id":265603,"id":"Q265603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad62bdc4fa95daa410c589c55b6eb20f6fb514e","datavalue":{"value":{"amount":"+0.76177186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$DD6CC2D8-AABE-4FFA-91D2-5AB24FB6BBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5854c40f995f0ea02d234225032b6599fe31b963","datavalue":{"value":{"entity-type":"item","numeric-id":3567843,"id":"Q3567843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d33ad1edb5508d310fb20e26c1759761e525e9","datavalue":{"value":{"amount":"+0.75026494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$A7B19ACA-150F-4329-879C-CA1497E8070E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70dec5c2e5c4cdd0ed74d3e2aa544a107174933","datavalue":{"value":{"entity-type":"item","numeric-id":1295418,"id":"Q1295418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e3256bbc9cc588e165e5df95423e4e77c07e5d","datavalue":{"value":{"amount":"+0.74424314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$0B6C6CF7-F762-40D7-8FE6-7E2068EEE450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b115b8a5c69e9d50b3ac3ffc91bcdce24e5d4ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2606817,"id":"Q2606817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5b307bf8672ab6ef202979e2957f3b0f4ba426","datavalue":{"value":{"amount":"+0.74010223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$2F811670-3D2E-4DE2-881E-BC0C11807509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe8e72bdf955bbabf50de2f4e5a63dcb2e11718","datavalue":{"value":{"entity-type":"item","numeric-id":1501611,"id":"Q1501611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0d13775d835c36d64e7be106654294aaa1bf10","datavalue":{"value":{"amount":"+0.729532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$ACE00E92-D6CB-44C0-A7BB-66032555DF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495e44bb56b604b2a48b81c6baf5f85b5ba4c74a","datavalue":{"value":{"entity-type":"item","numeric-id":574185,"id":"Q574185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076b4afa6a1aba3b0f78ee3dfbb3d34f1be48331","datavalue":{"value":{"amount":"+0.72781634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$FA0FCC35-8C41-4C0C-BEA3-ECFB682B7512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5b393d7e5f5364818a3f6bc2188e9cf37c7901","datavalue":{"value":{"entity-type":"item","numeric-id":1454196,"id":"Q1454196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d5fc003f8f3b777fa1c29fd230a8bdc4058640","datavalue":{"value":{"amount":"+0.7272586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$670C1B9E-6F8E-47EF-AA41-86C8CE4BCC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab9b00370d73b9926aca3be2f38da84bb823863","datavalue":{"value":{"entity-type":"item","numeric-id":1788334,"id":"Q1788334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3423f47c461b6dc8e900d1dd43027352cef9bced","datavalue":{"value":{"amount":"+0.72708845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909592$2B0B275E-DDC6-4F84-8431-36FA1CE82FD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"`Outside' as a primitive notion in constructive projective geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%60Outside%27_as_a_primitive_notion_in_constructive_projective_geometry"}}}}}