{"entities":{"Q1108300":{"pageid":1119049,"ns":120,"title":"Item:Q1108300","lastrevid":69661491,"modified":"2026-04-13T08:32:24Z","type":"item","id":"Q1108300","labels":{"en":{"language":"en","value":"The prime ideal theorem and representation of \\(F\\)-rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066980"}},"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":"Q1108300$5AE1CB4A-CE0D-43F4-8F52-C43B7355482C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beeee6245ba91ed6d8069fe4892ee869e0fca2ea","datavalue":{"value":{"text":"The prime ideal theorem and representation of \\(F\\)-rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108300$761548A5-5A86-4953-9A7A-ACBB20706A61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2cb0a29c8ece83ddf9e38e5df96d019f22ca14d","datavalue":{"value":"0654.06021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$A0029D16-85F0-42B2-9C0E-57D07E02993D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c57025381748dddb6436c9d9718fe6caec4538ee","datavalue":{"value":"10.1007/BF01229983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$B96FF450-21A7-46C3-BA13-3F9E9703C9A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$2136BFA3-E9EF-4FA3-8C69-9EF9765AEEAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$78357AE0-4C4A-48CB-AAF9-DEC94A54EFB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1108300$E8C06E48-298E-474C-9BDE-ECAB92DDBF68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53ac6f24babf1f3ecaa8071a735dc2c022f3f9c2","datavalue":{"value":"The Boolean Prime Ideal Theorem (PIT) is the statement that every non- trivial Boolean algebra has a prime ideal. The Birkhoff-Pierce Representation Theorem for \\(F\\)-rings (BPT) is the statement that every \\(F\\)-ring is a subdirect product of totally ordered rings. \\textit{D. Feldman} and \\textit{M. Henriksen} [Indag. Math. 50, No. 2, 121--126 (1988; Zbl 0656.06017)] showed recently that PIT and BPT are equivalent. They used some alternative principles equivalent to PIT, for instance the Completeness Theorem for first order logic. Here a different and direct proof is given that, in ZF, PIT and BPT are equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108300$00B21DC2-7316-46F8-AD22-37326487D07B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$85E81D01-BD4C-4A5D-A374-D9EBA94CCEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$51D7AC87-066E-4413-90FC-6EB432DBADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$1E233A0E-E331-447B-AE90-0410895B5D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$28A0C207-BC81-40D0-9759-6E807FF920DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffeaa525b9cfc6d2dbaca42a41b3c6b68f4115e6","datavalue":{"value":"4066980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$2638C831-7B67-41C7-A58B-7CC119C073E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e8f0135155ab4b5b70617b5808eb6746561557","datavalue":{"value":"Boolean Prime Ideal Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108300$50DFE23C-93C1-4DEE-B048-AED059B08E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474e603da4ed19a6a9d1b05f98d46ebedbe981e4","datavalue":{"value":"Birkhoff-Pierce Representation Theorem for F-rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108300$AA81B7EE-C4AE-4506-A51D-176D909EE94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108300$6CE20993-E1F8-44B8-A0E2-69D98D49FF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643dd8274179f52f37263d3954e690c0a8798781","datavalue":{"value":"totally ordered rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108300$0CE1A9CC-E9F6-4E2F-8DD9-C9129B744ECB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$FB2F3809-14FD-40D1-8DCF-96D9B7213246","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":"Q1108300$E7BD8083-4B73-4939-9BBC-49D0A0C8655A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1105d0726d5dadd6af4e7c71a53559d495af9e05","datavalue":{"value":{"entity-type":"item","numeric-id":1065041,"id":"Q1065041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$06B624FA-7331-482C-BEAA-61A571047547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f59f6e61786b554b201de373de00dd23ebca77","datavalue":{"value":{"entity-type":"item","numeric-id":3674642,"id":"Q3674642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$52D1E9E8-5AAB-445A-84C1-B6AE0D54484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5495c83d7c5576c570d951e1a49a2bae947ab4b7","datavalue":{"value":{"entity-type":"item","numeric-id":3880892,"id":"Q3880892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$5B9524EA-2DAA-4F96-B3F6-827C4626B2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70fa4e68cb7553b0c1bb7db89f5ccd215a7f71c","datavalue":{"value":{"entity-type":"item","numeric-id":3749100,"id":"Q3749100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$693F024B-669B-4423-AC46-14B082AA1708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$A57CE657-5DD3-4FB2-9A0B-CF93721C3C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c27a00f0190d1015a1eee088f378dbe5f8c3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3344035,"id":"Q3344035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108300$00454AED-6B6C-4B50-A6DF-A0F723A6540E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91737478d4dd29529cc91d58e5e4f7061b0c0686","datavalue":{"value":"https://doi.org/10.1007/bf01229983","type":"string"},"datatype":"url"},"type":"statement","id":"Q1108300$87DD80DC-55B6-4515-A369-B62B9DA59DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af516724c502d3174eb3a0cfa1568eb6e15af7ae","datavalue":{"value":"W2057333509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108300$852B0B17-83C2-4D51-8C48-8932A642188C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a79b09f8023681a7e5e7202bdf11298681ec74e","datavalue":{"value":{"entity-type":"item","numeric-id":3803176,"id":"Q3803176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f98e841a0907321e2dc7928cac1648a18cc5088","datavalue":{"value":{"amount":"+0.8295897841453552","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":"Q1108300$BCF69E3F-A81D-486E-A8BA-7488E9AAF837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef11a8bbdbb5e6f7e4c355ad20155f35747197f","datavalue":{"value":{"entity-type":"item","numeric-id":645195,"id":"Q645195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65665f6bc9d6b051ca34f3e76d5224f7cc24c963","datavalue":{"value":{"amount":"+0.7587882876396179","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":"Q1108300$92A1E6EE-6383-4EDC-BB06-68313430705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5c4df26e7ef5bea04aa5062d0db624cc57e74","datavalue":{"value":{"entity-type":"item","numeric-id":2563454,"id":"Q2563454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564233ca16dd60c171976d8881d69fc9f7d93ff3","datavalue":{"value":{"amount":"+0.7413801550865173","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":"Q1108300$7601B2F6-CDED-46AF-9971-EC1E19CC5EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6af20d6710197dfff3afef1e2bb95f09a66a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3490053,"id":"Q3490053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734d4c68772a20e9367bcc885c11dc4823d80f1b","datavalue":{"value":{"amount":"+0.7328526377677917","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":"Q1108300$E5536674-D16C-4852-A39C-54BAC1744ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c68dbb3b95e5f34d371576e429f20dd01142e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3466216,"id":"Q3466216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963dc202267c1b3537636cbbf488602fc9a854e1","datavalue":{"value":{"amount":"+0.7206999659538269","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":"Q1108300$A4D8C8A3-9D57-4647-BB95-94E5FE6E11BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The prime ideal theorem and representation of \\(F\\)-rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_prime_ideal_theorem_and_representation_of_%5C(F%5C)-rings"}}}}}