{"entities":{"Q1105020":{"pageid":1115769,"ns":120,"title":"Item:Q1105020","lastrevid":66995451,"modified":"2026-04-12T14:13:08Z","type":"item","id":"Q1105020","labels":{"en":{"language":"en","value":"Dedekind finiteness in topoi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057750"}},"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":"Q1105020$5F0A0167-B516-440F-AA1E-EF8ABD9031C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d51f8c7f664f62cc2da68b435539e4236b0537a1","datavalue":{"value":{"text":"Dedekind finiteness in topoi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105020$F941AE09-0F61-43CA-806A-954BFABB7DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aef36820c57bc42ee72d073ac656ff3af6c51b2","datavalue":{"value":"0648.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105020$EE6B23CE-6C56-4D30-8EC9-703A97DD26BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800c6cf0f643dce50eab9381c5cdf8336cc5efcc","datavalue":{"value":"10.1016/0022-4049(87)90130-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105020$8FCC0BA2-D63A-4B14-B391-E54833996372","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":"Q1105020$1ED41037-7CF6-4E3D-BF78-ACBB501C306B","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":"Q1105020$914A7970-A910-4934-8A79-3C38E5F914A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbdd2b6f74083f41779ab15a0e7db29a89b57dda","datavalue":{"value":"An object A of a topos is said to be Dedekind finite if every monic endomorphism of A is an isomorphism. In this short but useful paper, the author presents a number of counterexamples (in various toposes of presheaves or sheaves) to show that in general the notion of Dedekind finiteness is less well behaved than one might have hoped.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105020$DEB5AC08-96DB-4889-BC9C-009B1414E4BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105020$A5710A97-98D4-4A4A-831F-02AAA838B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105020$F4B7150C-835B-46F7-BC26-2E753FC1667D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c536285cd5220d3e2b15a3a626e0ee4281e0f0","datavalue":{"value":"4057750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105020$627A1475-2D19-4978-A077-D8E528493303","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"896d0c28d2ff78bf5fddc888441663998cefc05f","datavalue":{"value":"Dedekind-finite object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105020$066E6F59-32AA-4F40-B2DE-42A6FAD7D99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d35a7e89ea40d89336dfd9039bfaefaafc4d512","datavalue":{"value":"toposes of presheaves or sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105020$EBEE811D-8E18-40AB-B90F-6FB240995B05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e663350e6d27f5c63ea5e4ae57c977f5e167deb","datavalue":{"value":{"entity-type":"item","numeric-id":419042,"id":"Q419042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$5F01CC53-0B10-43AC-AF9D-AD2DBC81B964","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$CB6614A5-5305-44F3-BCB2-4EE38A327B48","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":"Q1105020$714631C8-E73C-4A91-AFD2-67AA3604B074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d3b3588b5434b867c89db239fe705fca59aa623","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90130-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105020$A5EE6EC7-C165-4047-A83A-3577E23917A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e78377b0c2328574746a0cfa12cd993fde58ba3","datavalue":{"value":"W2053809287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105020$4AB28419-8964-40F3-97E2-DEC1644D6730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1cff7d24b309d206942b8f0b62ddb743aa6589","datavalue":{"value":{"entity-type":"item","numeric-id":3335924,"id":"Q3335924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$E06B4617-41CA-4966-8F27-F72BB840BDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ba2d86ca82844ed2a6b0f38f304d0d5fef5a6b","datavalue":{"value":{"entity-type":"item","numeric-id":3690816,"id":"Q3690816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$8073EA66-B70D-4F63-94F6-9623D351BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2120917a3072bd30f58b932973b29bf377ec891","datavalue":{"value":{"entity-type":"item","numeric-id":3871059,"id":"Q3871059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$04211E61-9BFA-4F2E-92AD-BA0D2D084F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$D801E6F7-4F7B-49D7-AC1C-80829AE90AF0","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":"Q1105020$564DC6BF-AACD-4C4F-9AE8-5DC76586500E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2293355150c94587f283c927e0b65508b94253","datavalue":{"value":{"entity-type":"item","numeric-id":4172195,"id":"Q4172195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$BEC7D800-75AC-4F3A-942C-10A4CB1F0FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7f45e5ef13a6902f8dedb389ebc38514ec67fb","datavalue":{"value":{"entity-type":"item","numeric-id":1223383,"id":"Q1223383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105020$604A1607-4E63-40E2-AD29-89AFC8CE3749","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5bea6c8aed9a6bb45a5eb371f48b55d3530333","datavalue":{"value":{"entity-type":"item","numeric-id":5013820,"id":"Q5013820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da67509bcdbd97ae5250c60c3b0f26c4b024f4c","datavalue":{"value":{"amount":"+0.9180924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$69A2868E-CDEE-451C-BD0C-FA840D1BFE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1882ffba39d53e0369ba42d7f621c2b5d6990a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1103042,"id":"Q1103042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc89e4c032eafb84070fbb504828228680c6208e","datavalue":{"value":{"amount":"+0.9101728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$35196B95-C3BB-465C-AD90-1E35D4F30E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad5ecf08f8d5a47add0a299e308f2198fa698e9","datavalue":{"value":{"entity-type":"item","numeric-id":5928644,"id":"Q5928644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b5aed8e84c4def10bceb158e9ff5e4ff006ec3","datavalue":{"value":{"amount":"+0.9093324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$5AEEF6D7-3181-4751-8696-ED425D49E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c05cf8985aa46802c97ad6ea376bfd62887e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":5755127,"id":"Q5755127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa62142c7945ee9aa2be8aac0ae3c057652a1cab","datavalue":{"value":{"amount":"+0.9029907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$65099F31-E99A-4FEB-8B37-D52785CD5FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8f84c997e1e423308d2d9732df4f8e5e3a3ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3335924,"id":"Q3335924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c20970a4700612d81608ac76cbbcf047528c4e5","datavalue":{"value":{"amount":"+0.89822555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$97336E65-FF9E-46B6-AD84-0F23786EA649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bd1cd2662075953c0c02afe44e8be70a3df95d","datavalue":{"value":{"entity-type":"item","numeric-id":3421134,"id":"Q3421134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb49ef58903e6a3e4db06c3fae5773a5afbf5067","datavalue":{"value":{"amount":"+0.8979525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$DC6D8991-3571-418B-AE48-E4450ED5CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0be488d56ed33d8fd79513c128306d8dc8f20c1","datavalue":{"value":{"entity-type":"item","numeric-id":6094137,"id":"Q6094137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2e552434aa7dcb08f6784339e4e35937128e7a","datavalue":{"value":{"amount":"+0.89714384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$98ECF44F-886B-43FB-86ED-F7EAAFD09AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69947f9ebf5c4235690ba958997f71894150402","datavalue":{"value":{"entity-type":"item","numeric-id":3419248,"id":"Q3419248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c34c45f9a2711e69ad490f3d0c99599362a894a","datavalue":{"value":{"amount":"+0.8949796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$BE8FD523-2E9E-4317-8412-91D0915AE9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383ee2abedec99d6359ec123bac6ebc41c8351e0","datavalue":{"value":{"entity-type":"item","numeric-id":5751573,"id":"Q5751573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f083ce62c718fcf6266bce0db0e7c7c56295d624","datavalue":{"value":{"amount":"+0.89483666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$074C3E91-B28C-4237-9292-647923A099F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168e989e28aded05ed9012737de9a4ddbfeefce6","datavalue":{"value":{"entity-type":"item","numeric-id":3469207,"id":"Q3469207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210e9c42df36c31aac46b07dab3a23f2d44cac93","datavalue":{"value":{"amount":"+0.8947375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105020$E3E7BC8F-6406-4E09-AD0C-FA51EB94343D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dedekind finiteness in topoi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dedekind_finiteness_in_topoi"}}}}}