{"entities":{"Q1103043":{"pageid":1113795,"ns":120,"title":"Item:Q1103043","lastrevid":69647595,"modified":"2026-04-13T08:26:38Z","type":"item","id":"Q1103043","labels":{"en":{"language":"en","value":"Injectivity and modelling in the Blass topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051859"}},"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":"Q1103043$23ECEAD9-3F27-405F-8EFE-1649EB51424E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"673de106d6f4e645d618ac4237227dfbb8832dcf","datavalue":{"value":{"text":"Injectivity and modelling in the Blass topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103043$3BC8870B-F814-48CC-8449-54166CFE2C7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"756fd336da40a17fb76d7bb0fb937a99a80e4f27","datavalue":{"value":"0645.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103043$4AB3D9ED-8808-4185-8266-BCCDDE1862B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2b3dba88e0e04e91d9b9a02f5cca7f3532a59aa","datavalue":{"value":"10.1016/0022-4049(87)90120-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103043$407E0DEE-B0DE-4435-913C-15590AFD3189","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$F2E09B8B-EFEA-4C34-9334-BDA36B232780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1103043$385431DF-F302-4041-AA82-91BE19CECCB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d5ac9d9a4fa0a32e7d0b3ee0aa743157270a701d","datavalue":{"value":"\\textit{A. Blass} [Trans. Am. Math. Soc. 255, 31--59 (1979; Zbl 0426.03053)] invented an elementary topos \\(B\\) in which there are no non-zero injective abelian groups, contrary to our usual experience in the topos of (say) G\u00f6del-Bernays with \\(AC\\) sets. This paper shows that for the interpretations in \\(B\\) of modules over any ring, Boolean algebras, and distributive lattices there are likewise no non-trivial injectives. On the other hand, the category of semilattices in \\(B\\) does have enough injectives, as do partially ordered sets and normed linear spaces (if injectivity is defined via embeddings rather than general monomorphisms).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103043$CEADAC6C-8C7C-4D33-B4F6-A9AF483C314F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce7cf54bd121bcfd421d893f3294a13cc7a6f64b","datavalue":{"value":{"entity-type":"item","numeric-id":1072632,"id":"Q1072632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$F73C328B-3A93-4D63-8A0B-83766A7BDED9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103043$74B61F27-60A6-4BAC-8C0C-ECC479E6E1A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14c03a531aea8bd16517f51bc7746567f8958691","datavalue":{"value":"4051859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103043$BDC5F0D3-E8C9-44F9-8946-496FC38B77C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56423760ef4fa3c422e75667b37698d692590588","datavalue":{"value":"Blass topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103043$9BC4A649-1C46-4723-9726-C9D3F867439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6743d53a5ef94e6206a4a663a7af13247d79637a","datavalue":{"value":"injectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103043$6758D5FE-9BFC-4C03-99E5-59D37D1837CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"79ebedfd9754efc6035f6fa09100bff91f3a8041","datavalue":{"value":"Q122645382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103043$9B35BF72-2B5E-456B-834A-F3B5B55F55B2","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":"Q1103043$7DC44A13-D561-4BCA-8251-633F2D250ACD","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":"Q1103043$1BFD1CC7-AA4D-4519-9974-038CC46EDE3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8d3010d1585a4bb3c4d9ab857ef76fc4fd3b3f7","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90120-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103043$8F808E7B-E90E-4967-BA94-781527AEAA88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7916f12feb633a4fcc637232117173f288b12ebc","datavalue":{"value":"W2030790965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103043$B46E5189-11D5-46C6-A9FE-3D34C7A2735C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bbb7d5910708b2f095669badfecaf27933dde3","datavalue":{"value":{"entity-type":"item","numeric-id":1148983,"id":"Q1148983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$4EFA12ED-7CC3-4981-A1C3-50BCF1C1A7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$A042528E-DE02-447B-BCE6-DA09AB7A9CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f798611c1981357e7abb4c60ee268dedcb44c7","datavalue":{"value":{"entity-type":"item","numeric-id":5580266,"id":"Q5580266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$4CB501E3-C313-4024-948F-AE0F0C9D407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb7d51ea028911877d256ae60269f520e76abec","datavalue":{"value":{"entity-type":"item","numeric-id":3861380,"id":"Q3861380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$F3309A38-D9BE-4CEE-AD72-B596721C1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45adb4410dcd58539bacd0ce338b4331d45d456e","datavalue":{"value":{"entity-type":"item","numeric-id":5613213,"id":"Q5613213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$32F24A27-E476-4DB6-B41D-1721FEA31470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e17b7b54d18d79c48b581701be4fa58876f965c","datavalue":{"value":{"entity-type":"item","numeric-id":5737285,"id":"Q5737285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$8799C9F9-D92C-4483-BD6A-1650096E9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58214a201357392f912f106a46d6971b5d00e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5562332,"id":"Q5562332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$2C8B733F-36D3-4AD3-A8B1-C5FD4B24C63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$11AE762B-9991-4F89-9B41-350DA1B2395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdd39a50dc3452fd7916a42cbf93a128fc4beef","datavalue":{"value":{"entity-type":"item","numeric-id":1159755,"id":"Q1159755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$5C4E83EA-72EB-4BAD-81F7-D1271A53A2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f8da7733f5df652657471b8fc372ee15cfbac5","datavalue":{"value":{"entity-type":"item","numeric-id":5585437,"id":"Q5585437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$93FFBE7C-DD3E-4CAF-BEAF-6CE30B21EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670cad83165af071473da144181b0f73f8c9dedf","datavalue":{"value":{"entity-type":"item","numeric-id":2531959,"id":"Q2531959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103043$5849E036-FF99-469D-B332-2627BDAEE7F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a118cb8c1890fc739e7f08f022fa10ad04528fca","datavalue":{"value":{"entity-type":"item","numeric-id":3315679,"id":"Q3315679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5cd2b7baa793235b6e4c367b2bda7c6c62b79f","datavalue":{"value":{"amount":"+0.7470753192901611","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":"Q1103043$195AC3DF-9F34-42B1-9D69-7D847CFF9934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a417c08a1e0d9c7390a976adaa01fa81ea461d8","datavalue":{"value":{"entity-type":"item","numeric-id":3767478,"id":"Q3767478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffe5d7c632fcbe1ad07b3c2ee0188f7eb0d452f","datavalue":{"value":{"amount":"+0.74336177110672","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":"Q1103043$9AB09375-AA37-48FC-9AAC-1FF3D390A3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0c776d3f464f8f9f3d746766da5bbcf9be66ed","datavalue":{"value":{"entity-type":"item","numeric-id":3499954,"id":"Q3499954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b572f3c40498673f29c6fd98a62811d1d9416297","datavalue":{"value":{"amount":"+0.7286242246627808","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":"Q1103043$4462C9D3-ED61-476B-AFA1-15A500452BA2","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":"e84904d7de6a8d1f0a0719b5784cca6d4c222563","datavalue":{"value":{"amount":"+0.7279172539710999","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":"Q1103043$CEAD03BE-CCFA-4A85-B353-D017BBF6E4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f402457bef4538d26475de4a60849b82521365a2","datavalue":{"value":{"entity-type":"item","numeric-id":3717255,"id":"Q3717255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ceac84e7fd60ac04544ed1312cb7050535ab2d","datavalue":{"value":{"amount":"+0.7265567779541016","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":"Q1103043$408DFC7F-F7CB-4975-870C-EF0DCD01671C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Injectivity and modelling in the Blass topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Injectivity_and_modelling_in_the_Blass_topos"}}}}}