{"entities":{"Q2433745":{"pageid":2444488,"ns":120,"title":"Item:Q2433745","lastrevid":49956697,"modified":"2026-01-12T07:14:44Z","type":"item","id":"Q2433745","labels":{"en":{"language":"en","value":"An Aristotelian notion of size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5068541"}},"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":"Q2433745$B987184B-3AFC-4C07-A7E0-224CFB72FB94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2398130ca7ab0e4f1472cace004d2af3a1e11b37","datavalue":{"value":{"text":"An Aristotelian notion of size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2433745$51B87474-6CAB-42FC-ADFF-DCAE3729B6AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8235725d98df15a0f9d9be5c7e7d9d0264fe373a","datavalue":{"value":"1114.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433745$B96FF90A-CB63-4EC8-9105-0EF8902A7F27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d163cb14a53180b61f3db74bce946e60519bc1","datavalue":{"value":{"entity-type":"item","numeric-id":206467,"id":"Q206467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$A473236F-E970-4115-A655-C550B2741D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1cdd0019674329d75b70843d1759b355a83f054","datavalue":{"value":{"entity-type":"item","numeric-id":201661,"id":"Q201661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$E29D784B-C450-4FCE-B5C0-1306E83DF98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157b1a63f4bb6c90532ec31c6ff95ffaf8d30267","datavalue":{"value":{"entity-type":"item","numeric-id":456764,"id":"Q456764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$40AFE434-DA1D-4AEE-A569-2E8CA01F020B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$1252ADBC-DD50-45FE-8D3E-ACDA0C8156E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dbe9c89f04bdb43e235a93bd0d02b9f10cf412e","datavalue":{"value":{"time":"+2006-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2433745$3F5F0FFB-5EF3-4FF5-89D0-82CD219C63E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e49cb4b3a87d151db6e940dc31f4a33aa1cdcace","datavalue":{"value":"Following the earlier attempt by \\textit{V. Benci} and \\textit{M. Di Nasso} [``Numerosities of labelled sets: A new way of counting'', Adv. Math. 173, 50--67 (2003; Zbl 1028.03042)], the authors continue their quest for a reasonable notion of size for infinite sets that would satisfy Aristotle's Principle: If \\(A\\) is a proper subset of \\(B\\), then the size of \\(A\\) is strictly less than the size of \\(B\\). Four principles for a numerosity function assigning sizes from a discretely ordered ring to arbitrary sets of ordinals are identified, and it is shown that they imply Aristotle's Principle and invariance under translations and homotheties. A finite approximation method is developed to show that there is a numerosity function on the class of the sets of ordinals whose values are in the ring of hyperintegers in the sense of nonstandard analysis. The same method is used to extend the numerosity function to all sets. Numerosities are class objects, the problem of formalizing the results in ZFC is discussed. The paper concludes with a list of interesting open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433745$AA0FEE40-A4C3-45CC-AE77-344F6CAEF510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433745$5BDF38F7-888B-4A49-B316-5E90C044849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433745$D96BFC35-227D-413E-A037-1F136DF76849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a573bf52dc723a499badffb34827018b899dd504","datavalue":{"value":"5068541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433745$E5173BF9-640D-462E-9BC8-17E560628659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642e909f33a120c66bde72106789ff61c34bf973","datavalue":{"value":"numerosity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433745$4A6231E7-0E4D-4C1C-BB84-48BE79CF18D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48b7bf65cb20b0ad744e60d37cf3cbd8413920e3","datavalue":{"value":"nonstandard integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433745$E1D5CFD7-AA20-4A8C-80E0-9369666B2EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323b73cf8960adb039507dd3d53e7d1488e6670","datavalue":{"value":"counting functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433745$741C80E9-F963-4CBF-843F-FEED118261AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433745$995FDAC7-DF22-409D-A6AE-01EAEE18C5CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$384568EB-ED3B-49CF-80C4-200E2C8339BA","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":"Q2433745$16E997DA-20BF-4A02-AA71-5D80E872602D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bf9cca1d2ce70087b8521e3d4551f03e3a3ffd1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.01.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2433745$301788C8-DFFE-47C5-BF06-5179BF55FDC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16fad7e5afbb7aae281f69a6991fdd053672a6dd","datavalue":{"value":"W2092459140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433745$5E5A4C31-5229-4364-9EBB-BE8DE2B07869","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7ea9ecc83be7c319490b284169835216a0de46","datavalue":{"value":{"entity-type":"item","numeric-id":1865286,"id":"Q1865286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$83DF30ED-00C8-4899-9003-983A3254F5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef444cc67b3cb2bab441cb8ff3d2601181c06660","datavalue":{"value":{"entity-type":"item","numeric-id":2433745,"id":"Q2433745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$B4AA17AF-49E9-4B3A-A052-C27B91FCC8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$4B40886E-DC1F-4A0D-A7ED-B7B6449BFEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433745$35C06FEE-0142-4B1B-B5CF-76891A98257A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9dfb2d6f9d41aa442412c7b2392a6b55a546eea","datavalue":{"value":"10.1016/J.APAL.2006.01.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433745$9FDA09E6-0D7C-48C2-8BAA-2B63148062B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5572ad28a20f3ad3b9a37af26adf1705191f07e7","datavalue":{"value":{"entity-type":"item","numeric-id":3053476,"id":"Q3053476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027f0b09ccd38aafbd76cea0f3e841ae4b6d031c","datavalue":{"value":{"amount":"+0.8123617172241211","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":"Q2433745$5A1632FE-6AF4-49BF-9D3E-8B1D3C540703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5af86728f07ac1aa8bcdf490e8f4ef285aea6f","datavalue":{"value":{"entity-type":"item","numeric-id":5414133,"id":"Q5414133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d3fa0c7a15f43d56d2764a78e6ff220a770dbc","datavalue":{"value":{"amount":"+0.7956221103668213","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":"Q2433745$98999E50-5AE9-4F51-92D6-22FA7795E7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45340f21c999f7cf78033184e8065fe0a17d161","datavalue":{"value":{"entity-type":"item","numeric-id":5695185,"id":"Q5695185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c13850a7786ba2e106f74834b76c402778efc9","datavalue":{"value":{"amount":"+0.788249135017395","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":"Q2433745$83091AF5-B739-4452-BCF1-7E0EED2C77DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a8bf3d1a34065ead0ce310a059f13eb5f7f6ed","datavalue":{"value":{"entity-type":"item","numeric-id":5496584,"id":"Q5496584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58e48d9aeca821d968a635502d0366264e3e1ce","datavalue":{"value":{"amount":"+0.7806407809257507","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":"Q2433745$6FF6FFFF-CFDA-4FC7-8321-3041A8A50C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"445ecb79cdc86fb774f8fdbb23fe255286d06723","datavalue":{"value":{"entity-type":"item","numeric-id":5850982,"id":"Q5850982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afde907fcb55f230157c380afabaaa6a484f9024","datavalue":{"value":{"amount":"+0.7789911031723022","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":"Q2433745$4C7277FA-7160-4C0D-8157-5E9A9021577A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2433745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2433745"}}}}}