{"entities":{"Q5932475":{"pageid":8109277,"ns":120,"title":"Item:Q5932475","lastrevid":47618128,"modified":"2026-01-02T05:49:06Z","type":"item","id":"Q5932475","labels":{"en":{"language":"en","value":"Internal injectivity of Boolean algebras in \\({\\mathcal{MS}}et\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602881"}},"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":"Q5932475$DF3B007D-F032-4D3B-8BB3-F9EDD4A41B50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38460d4713d712878899f7fbc9e9a36a94a9dde2","datavalue":{"value":{"text":"Internal injectivity of Boolean algebras in \\({\\mathcal{MS}}et\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932475$17B6FCB9-5E7F-4185-AD3F-35F2B4FDD7E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b120a9ab3b67f4d68fa58d062e8cfcbeef37f4c2","datavalue":{"value":"0970.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$E2F879F3-6193-4FCE-8BCA-4B37DCBF39D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae88561f4474fdcb0da2b007af2999d3e69f8fc","datavalue":{"value":{"entity-type":"item","numeric-id":262977,"id":"Q262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932475$47AE3DEB-6B4F-41C4-B9B3-95968D7F37E8","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":"Q5932475$7FFC8275-1730-4796-98FB-B0E60CB0705A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932475$6A45EFE4-5E7B-4113-B57D-D331DA241B00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"307eabde3f40c65043c29322b11fdd8d2a8ba5a8","datavalue":{"value":"The paper deals with the internal notion of injectivity for Boolean algebras in the topos \\({\\mathcal {MS}}et\\) of \\(M\\)-sets. For an equational category \\(\\mathcal A\\) of algebras (that is a category whose class of objects forms a variety of algebras and whose morphisms are all homomorphisms) by an \\(M\\)-algebra is meant an algebra in \\({\\mathcal A}\\) which is also an \\(M\\)-set whose actions are homomorphisms in \\(\\mathcal A\\). Injectivity in categories of \\(M\\)-algebras is considered and studied. For an ordinary Boolean algebra, injectivity is the same as completeness and the injective hull is the same as normal completion.   The problem is investigated here how the notion of completeness relates to internal injectivity. The internal injectivity of the initial Boolean algebra \\textbf{2} which is equivalent to the prime ideal theorem for Boolean algebras in this topos is considered. The basic general facts concerning internal injectivity in \\({\\mathcal {MS}}et\\) for arbitrary equational classes of algebras is developed before turning to Boolean algebras specifically.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932475$E25B7717-C3C1-4970-A7BD-B6F3AE6CE7F6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932475$5D9DA729-78C8-4F60-8C01-E7D146C77573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$28691FC4-18F4-4E91-9155-30E7E4EC6CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$DAEA7909-7D2E-4794-9E9B-6840C7F2B083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$16E71032-3B73-4125-A494-D999F1E47A14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f62e9b4bf49d0f8c4cdaae1e70b359f9606227f","datavalue":{"value":"1602881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$3DE497E8-04D3-4325-811C-F729B6086CB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932475$BB195EF4-F293-4C14-AF82-11917C820A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4852a486c0c164189d8f632ea264bf8b21de6a0","datavalue":{"value":"internal completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932475$87595683-AE27-4C19-88C9-1510707B025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b269725855bd7c8c638594526ef1861fd8b59cfd","datavalue":{"value":"internal injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932475$0A1FAF72-68D4-4B8F-8537-E7FA73315C3F","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":"Q5932475$F473EABB-E129-41D5-B236-0244C7E83B62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eee9556dc985f087d995611a0b9bdb6f6f63b762","datavalue":{"value":"https://doi.org/10.1007/s000120050107","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932475$BF545889-DA91-4A6F-869D-ECA8DD4821C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2bf20f6ebcdae8b5b64d53deef5cd04b1953b18","datavalue":{"value":"W2061500701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$A01E87EE-19BF-49E0-8201-26E1F04FE5B4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"549deefd22b376abd74e30f8bde55d5a8debabb1","datavalue":{"value":"Q122046138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$E1CD5ED7-649A-4BED-8B93-E3DF0352BCC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cb1574e9c391184641fa6b4f06bd32eb89bf061","datavalue":{"value":"10.1007/S000120050107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932475$BD0513F5-D019-4158-B6D0-7FA1F3F37934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46cf68feaf139abc1f9e0f9d009541fd145c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4204313,"id":"Q4204313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369d97a4d34f757e324023adb7a86b46bbf3d8cc","datavalue":{"value":{"amount":"+0.907490849494934","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":"Q5932475$ACE88F99-1123-4E82-8F6D-69F6101A583D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eefd19b4a62c4842183077da88c5dbcff681be","datavalue":{"value":{"entity-type":"item","numeric-id":1035677,"id":"Q1035677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9897ec0928800ac8a2fa631066feec83fe05ea38","datavalue":{"value":{"amount":"+0.8150192499160767","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":"Q5932475$0F425D2C-78E4-4D47-9719-C10454ABA6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cecbdc53375a544f14b246224fa620975c641056","datavalue":{"value":{"entity-type":"item","numeric-id":3575405,"id":"Q3575405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0909e96fd48757290f1d53991f3fd495acb877d","datavalue":{"value":{"amount":"+0.81130450963974","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":"Q5932475$1F918AB2-BAD2-4B77-A995-509E55071E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f4b7962cda115bbe8485d6384f1417dc7b2644a","datavalue":{"value":{"entity-type":"item","numeric-id":3141986,"id":"Q3141986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676ac87ac55a2f54cf9a2ed54084481fdcf06cd1","datavalue":{"value":{"amount":"+0.8050937652587891","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":"Q5932475$A4CB703C-4803-4C74-89C5-6FC8F3AE292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf3c9f23cdff7e24764eadfce181ab7998f8dfc","datavalue":{"value":{"entity-type":"item","numeric-id":5903203,"id":"Q5903203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0712b8d6f5b0e3e52e16e11044723d196f5fe96","datavalue":{"value":{"amount":"+0.8038895726203918","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":"Q5932475$78090ADA-54D3-404D-A64A-C3A0C416918C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932475"}}}}}