{"entities":{"Q1103042":{"pageid":1113794,"ns":120,"title":"Item:Q1103042","lastrevid":69647586,"modified":"2026-04-13T08:26:38Z","type":"item","id":"Q1103042","labels":{"en":{"language":"en","value":"Finite cardinals in general topoi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051858"}},"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":"Q1103042$2BE6D00E-B17B-4D75-AA36-4640EA0E0140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b674a1b33c3f2b8451b15acb5cca1035a8d61a5","datavalue":{"value":{"text":"Finite cardinals in general topoi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103042$2437B5B3-803E-4796-95E2-40C1269A2B34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bb9de1dd0e2a2bf0a557d30cadef24d9a33e966","datavalue":{"value":"0645.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$FC83C6D7-2E47-4DDE-A30C-99F6A97D8DF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915e2fa1c340598a438f25966d00394ca112ee8c","datavalue":{"value":"10.1016/0022-4049(88)90114-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$5168DA77-2742-4B62-9189-7479E17FC2AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bb12d514db72bd058fa36eeb2e7777e9e37cb5e","datavalue":{"value":{"entity-type":"item","numeric-id":1103040,"id":"Q1103040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103042$4787B2D7-3E21-4508-BA5C-21129203C385","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":"Q1103042$D0D70DD0-5DAF-485F-AA27-3CB6405453E8","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":"Q1103042$84E5B1B0-47DB-49FF-B22F-279B8F7D2A29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"508d615bbc0c8257138309cc347b518266ff39b8","datavalue":{"value":"In a topos with a natural number object the full subcategory of finite cardinals (as defined by J. B\u00e9nabou) is a subtopos. With a natural number object, K-finite objects (in the name of Kuratowski) have been investigated and it has been found out that the full subcategory of K- finite objects is not in general a topos.    The aim of the paper is to define a notion of finite cardinal which coincides with the former notion if there is a natural number object in the topos and which in a general topos gives a subtopos satisfying the axiom of choice. These finite cardinals are K-finite objects which satisfy moreover the following condition: there exists a total order on the object which is a simple well ordering as well as its reverse order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103042$793BA8CA-FA07-40B3-8A58-20958041B520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$6E0ABEE8-0887-4F1A-BE96-AC630A1715EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$A00275BA-90A8-4BCE-B506-682A3139F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$AF090DA4-4524-49E9-B2AC-50AF03BF25C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30b7078e9805832e26e6e0073a213b4f64aadc28","datavalue":{"value":"4051858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$57FC2D5A-A898-42DF-8DAD-C48FCABE5180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed96de97b0a609b359b7c86a233bcbfc19923f4a","datavalue":{"value":"finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103042$EE41A3B6-4D6E-428D-930D-870A681A84FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008962c99428f2bfe92b7091a130d84d5cb5ae39","datavalue":{"value":"natural number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103042$34107FB1-6864-4107-97B9-975DED2711E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8a3dc60800bffe4c2fef3e747d10692e57d858","datavalue":{"value":"finite cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103042$2F634615-85B6-4C1C-A396-15596D80C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103042$37343BBC-0CA7-45B4-9ACB-5AF907AE55AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8404bf87db9822bb9f6ba16eea4cdb024bade8d3","datavalue":{"value":"K- finite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103042$73482CB1-DABF-4FC1-AD3A-3AFFE145561B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8af24bfd10b7ac3f1c1257cd8a47ae6c360b3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103042$532EB464-876B-496C-8138-124825136601","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":"Q1103042$EFD95331-6AF0-454F-8599-DF996E43BC68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d25f53c93b1c0e85e4e15a4fedcc54a70e91f45f","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90114-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103042$4B958711-FA07-4CB0-969B-5F47C59B18E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89a44933345eb2654ff6b35713a4d2139bcbf20e","datavalue":{"value":"W2082606607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103042$059703E6-6DA3-4805-B602-92C61B5A5A25","rank":"normal"}],"P223":[{"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":"Q1103042$B4F61570-B790-47CB-BC5B-58E6EB91177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43b1ff740b751b5ce4b667da10ede6a25effedc","datavalue":{"value":{"entity-type":"item","numeric-id":5545978,"id":"Q5545978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103042$778EAB13-52A5-4819-843E-634F844DF7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa727f223b4a3fbf6d79ebd24a197cf5e5ef1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4043210,"id":"Q4043210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103042$136EB189-EABF-4D03-A00E-849F8AADBBA2","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":"Q1103042$81DD370E-152B-42B9-9B34-4EAE8470AE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31dcd99385d013f85202a3f06f6ea8a524319ea","datavalue":{"value":{"entity-type":"item","numeric-id":4100664,"id":"Q4100664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103042$18EA2741-3A28-43A4-B8B8-BAC7E9861A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadcd00b2d90e8b45f4664e54474deed0fbd9812","datavalue":{"value":{"entity-type":"item","numeric-id":1103041,"id":"Q1103041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103042$929ABE96-C827-48B1-A7F8-3ADB1CC52145","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15373479f9444778194fb88f9fa71dbf64f2056","datavalue":{"value":{"entity-type":"item","numeric-id":4582992,"id":"Q4582992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e577b2d4c5f5a026faab67f9f2cf52d4d50e98","datavalue":{"value":{"amount":"+0.9394666","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":"Q1103042$9D86E724-4E3D-4A3B-992E-674989F0954C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ff4b0577340d84dd85cf2706d0b604e440a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3798833,"id":"Q3798833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4abf9ff6eebcb21204a743bcfc0a8c1d4fb0338","datavalue":{"value":{"amount":"+0.93668723","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":"Q1103042$2DC57B5C-A6C7-47FB-971C-D7B915114297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d670c33b68edc11e430f232770a51166c5062b","datavalue":{"value":{"entity-type":"item","numeric-id":3450473,"id":"Q3450473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bf886689a6543b2bbe350e6f0ad1483d5deb91","datavalue":{"value":{"amount":"+0.9173373","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":"Q1103042$A3BA9931-B41C-4F2C-A686-D4B9C5A4D895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1467644f068b9a64d17904d800b6c4fff0367238","datavalue":{"value":{"entity-type":"item","numeric-id":2836187,"id":"Q2836187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdc7578e3cf0788b3ee9baf042e307f0f8f5546","datavalue":{"value":{"amount":"+0.9126541","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":"Q1103042$D781F3A3-0822-409F-8A90-07BD3DBDE6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebb06b08264a579a70fb6642e9347808a4e40de","datavalue":{"value":{"entity-type":"item","numeric-id":3142293,"id":"Q3142293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74aa52f56068b89c53e4dc4d76ddf56835e2a654","datavalue":{"value":{"amount":"+0.9123067","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":"Q1103042$EB1D058C-2833-489E-97BC-9993F68DC5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d35e842be5cc6d28059eeee56c4612b35f3355","datavalue":{"value":{"entity-type":"item","numeric-id":5742233,"id":"Q5742233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189e914d57f3a7880cd8bb4ec8a2ce37acd69a22","datavalue":{"value":{"amount":"+0.9114181","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":"Q1103042$BF76ED19-661A-43CD-B287-801E58D3C4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34838d73a6088c3f82186111eacc089b0e783c9","datavalue":{"value":{"entity-type":"item","numeric-id":1105020,"id":"Q1105020"},"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":"Q1103042$E096B171-2A15-43FD-84A2-2832619D8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fc0880e2c467d852d20e07a6c3b0b79602a5ef","datavalue":{"value":{"entity-type":"item","numeric-id":694500,"id":"Q694500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08951f704b95ee723bce83ab49a3d042d2fc1132","datavalue":{"value":{"amount":"+0.9094175","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":"Q1103042$E05EA9C4-CF17-4F84-A5B7-DE4744F2F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80e0ab0418f86b8a3e5da6fee6e2bdcc2c4fc15","datavalue":{"value":{"entity-type":"item","numeric-id":4852557,"id":"Q4852557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1016a11a96d5d859a2cbebe90e536081ad004a2","datavalue":{"value":{"amount":"+0.9063182","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":"Q1103042$C6613552-BC2C-4C6B-9143-10FF0751BDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906279dfd6985c36e34ce8ee091c54dc7c4bc66a","datavalue":{"value":{"entity-type":"item","numeric-id":3327307,"id":"Q3327307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9f36fe97e05fb7d7664a4279c7e274781d050d","datavalue":{"value":{"amount":"+0.90581495","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":"Q1103042$C13732A0-038B-4CBA-B38E-A5A88DD1A2E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite cardinals in general topoi","badges":[]}}}}}