{"entities":{"Q694236":{"pageid":696085,"ns":120,"title":"Item:Q694236","lastrevid":63569601,"modified":"2026-04-11T14:03:21Z","type":"item","id":"Q694236","labels":{"en":{"language":"en","value":"Computable dimensions of Pappusian and Desarguesian projective planes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115022"}},"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":"Q694236$33162F8B-4B5C-4E29-BFE2-E6B7EE6F5E7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee55e1b6a7213cc0c84a48848718672a7009a1af","datavalue":{"value":{"text":"Computable dimensions of Pappusian and Desarguesian projective planes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q694236$B8E0BAC1-8A4A-40C7-8AC3-F30ACE5ECE8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58b5e9e6a5b93f2e026e52637104a5807588f81c","datavalue":{"value":"1273.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694236$AF20881B-B014-4A0A-BE1A-A2F7BE7D6DFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a3369fa7f2a5f11baeeae6f65f5c77dcbf1859","datavalue":{"value":{"entity-type":"item","numeric-id":251879,"id":"Q251879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$5665FB4F-DF46-493B-9FF2-BD1CE0CF0652","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$BF7A27C4-DCD0-4534-B2BD-FC3728619E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaff6a94ac821c6dcde7cb7d6a059bb2e8edd01d","datavalue":{"value":{"time":"+2012-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q694236$F6A8AB17-15CA-4EFA-AB5D-DAA8B4A8491F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f615f0e175ba7e8c2c1d7fb798c3bbaa34ce3e3","datavalue":{"value":"The problem of the existence and uniqueness of computable presentations for Pappian and Desarguesian projective planes is studied. Let \\(\\mathfrak F\\) be an arbitrary field, \\(V_{\\mathfrak F}\\) a three-dimensional vector space over \\(\\mathfrak F\\). Then a Pappian projective plane is a structure \\(\\langle A,(A^0,\\vphantom{x}^0\\kern-1.6pt A),\\cdot\\,\\rangle\\), where \\(A^0\\) (\\(\\vphantom{x}^0\\kern-1.6pt A\\)) consists of all one-dimensional (two-dimensional) subspaces of \\(V_{\\mathfrak F}\\), \\(A=A^0\\cup \\vphantom{x}^0\\kern-1.6pt A\\), and \\(\\cdot\\) (a product) is a partial binary operation defined in the following way: a product of two distinct one-dimensional subspaces \\(a\\) and \\(b\\) is a unique two-dimensional subspace containing \\(a\\) and \\(b\\); a product of two distinct two-dimensional subspaces is their intersection. The definition of a Desarguesian projective plane is obtained by replacing the field \\(\\mathfrak F\\) by an arbitrary associative skew field. The author considers a projective plane as a model \\(\\mathfrak{A}_{\\mathfrak F} = \\langle A, A^0, \\vphantom{x}^0\\kern-1.6pt A, P^{\\mathfrak{A}}\\rangle\\) with unary predicates \\(A^0\\) and \\(\\vphantom{x}^0\\kern-1.6pt A\\) and a ternary predicate \\(P^{\\mathfrak{A}}\\) for the graph of the operation \\(\\cdot\\). The main technical result is the following: the class of fields is relatively elementarily definable in the class of Pappian projective planes. As the theory of fields is hereditarily undecidable [\\textit{J. Robinson}, J. Symb. Log. 14, 98--114 (1949; Zbl 0034.00801)], it follows that the theory of Pappian (and Desarguesian) projective planes is hereditarily undecidable. It is said that a model has a computable presentation if it is isomorphic to a model whose universe is a computable set of natural numbers and the basic predicates are computable.  Proposition 8. Let \\(\\mathfrak F\\) be an at most countable field. A Pappian projective plane \\(\\mathfrak{A}_{\\mathfrak F}\\) has a computable presentation if and only if \\(\\mathfrak F\\) has a computable presentation   Theorem 11. Let \\(\\mathfrak F\\) be an at most countable field. Then the computable dimension of a projective plane \\(\\mathfrak{A}_{\\mathfrak F}\\) coincides with the computable dimension of \\(\\mathfrak F\\).  The same results hold for the Desarguesian projective planes and associative skew fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q694236$2884FE87-2450-4ABD-B56D-F847CE04E16B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$C4579EA2-34A1-46CC-BE4C-24C9663FC1ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694236$47202C08-5493-440A-83E3-B2CFC49909BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1837dc77762188f85c50193956a18188b743a678","datavalue":{"value":"6115022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694236$0077F4D2-FDD9-4CE3-93FA-A1D602298C76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004fc69df719f3e7b12523831ba7572d13f74384","datavalue":{"value":"projective plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q694236$9D90B09F-A15B-47FF-BD97-84E26B86A0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d400c856bb22b83a8d0c253390d84cfed80826d6","datavalue":{"value":"Pappian projective plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q694236$9C0A488B-F60C-4715-9C3A-DFABA31D0172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d4b32f2c8f5fca87eb18b21e0cbe1eeace50e08","datavalue":{"value":"Desarguesian projective plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q694236$8725E2D3-5783-4301-83C7-09F5C93FB8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q694236$05A045EE-7323-4290-9D70-E73805658DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8331b5cf38db5a4c7d25c02e40eabec1c8a89647","datavalue":{"value":"computable dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q694236$3241FD2B-E221-4C6E-BC24-1AFD04E97B0B","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":"Q694236$C5C93AE2-D734-496E-BD5F-B8C7B114EA43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d4b7c4a706a06a9cd846c3593693801e31fe2f4","datavalue":{"value":"https://doi.org/10.1007/s10469-012-9169-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q694236$ADC570C0-0E8F-4AC4-AAC9-E3CC61903FC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29327550add35cbd30a18c47c0f1a5f76497b83d","datavalue":{"value":"W2064284698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694236$5EB04E10-ACA9-4D9B-9DFD-BABF25DD3097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cab22e193088166fc1dc03956b3b527698ed608","datavalue":{"value":{"entity-type":"item","numeric-id":788274,"id":"Q788274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$9398C32A-A1A0-43DA-8BF5-2D776CC35B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8d387b410d311528ba47d1be223dfb2d00e088","datavalue":{"value":{"entity-type":"item","numeric-id":4693079,"id":"Q4693079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$95F83AAD-7FCB-4B43-BFF3-864174CF6A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eadadadb05bdd0bd4b4b6c4166373be9eb0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4935938,"id":"Q4935938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$BC13AFB9-46BB-4DDC-8BF0-3EC3D376C5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8f8086d2dff2341f5b93b3861578099fa35ada","datavalue":{"value":{"entity-type":"item","numeric-id":5683869,"id":"Q5683869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$3E5BF5E8-D1C4-4895-B60E-41FB976A9F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$FD2D6EAF-53EE-4757-A818-8B69B4F51DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c6f52b2672df3ce5350908a76fc0e31b9b2a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2851189,"id":"Q2851189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694236$7D1F2297-ADFC-4BD2-A826-B8AEFE0AC512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53887b990ff407b0756e4a102637e9356beafdab","datavalue":{"value":"10.1007/S10469-012-9169-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694236$1C9822FB-A7D3-4F91-8979-925E235428C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a081f43e17891466adfe4644a634bb71d205a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":350846,"id":"Q350846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606f4d0cadd9ca4af1b2d0e57ce417cf172b215a","datavalue":{"value":{"amount":"+0.8822537660598755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q694236$E2AF0AB7-A829-49D9-919B-67F176B1817B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb54a2c30602936bdeadb21b950add42dc165022","datavalue":{"value":{"entity-type":"item","numeric-id":3546127,"id":"Q3546127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476739ddde141bc38e0819509a661d0598d8f3f3","datavalue":{"value":{"amount":"+0.8433958292007446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q694236$33F56186-949F-46A7-91E5-ACBC42BCF646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7e3897a13b90faed1bf659e244f53205d2042d","datavalue":{"value":{"entity-type":"item","numeric-id":2364332,"id":"Q2364332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c49acd1eb4c04d3f6352870a93788825967ea33","datavalue":{"value":{"amount":"+0.8354976177215576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q694236$0E35BCE9-A163-4099-9810-E2CBC634BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fdf52bbee314d88c6ca1c29470f65624fa4874","datavalue":{"value":{"entity-type":"item","numeric-id":2401538,"id":"Q2401538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b22a46e3693b2d29e19710d1411afd8c0bddcd5","datavalue":{"value":{"amount":"+0.8328394889831543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q694236$4EB31587-17F0-4B8C-8910-2D7B35FDD625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43062369ac2feb68f17a168b5749c892e3cd2b46","datavalue":{"value":{"entity-type":"item","numeric-id":5398254,"id":"Q5398254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a67b65d8be7347db0d4ca210f05f3cc4535d850","datavalue":{"value":{"amount":"+0.8309159874916077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q694236$E255B7D6-C50C-4C6E-992C-A87ED90FAAAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable dimensions of Pappusian and Desarguesian projective planes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_dimensions_of_Pappusian_and_Desarguesian_projective_planes"}}}}}