{"entities":{"Q5052006":{"pageid":7081583,"ns":120,"title":"Item:Q5052006","lastrevid":91140152,"modified":"2026-06-04T22:21:44Z","type":"item","id":"Q5052006","labels":{"en":{"language":"en","value":"A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7620695"}},"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":"Q5052006$CB7F3514-08F9-4D19-9B3D-C7F26796F690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd337506c1ca85dde1339d15d41daf3da81031cd","datavalue":{"value":{"text":"A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5052006$EDC12251-B0F6-4174-ADA9-7F7EBF665512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdf602eb25a8e6dff8a62a146dd4d3b592bba","datavalue":{"value":{"entity-type":"item","numeric-id":308150,"id":"Q308150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$93438A38-E2F1-4342-9502-45125DBD1C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"922adfcb56d6d98b5df478a29a84e3072bcf0b56","datavalue":{"value":{"entity-type":"item","numeric-id":5052005,"id":"Q5052005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$A20051D1-3BA4-4527-A6C0-DACA2E68A181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574a4bff222e9fd97c080fbc50c618f266d2baa","datavalue":{"value":{"time":"+2022-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5052006$B93FF745-B1A8-49BB-8D37-D98EA67E3010","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d05581adee5c96f73841479f3724609d8a0002","datavalue":{"value":"https://arxiv.org/abs/2006.12688","type":"string"},"datatype":"url"},"type":"statement","id":"Q5052006$C3BE4A28-6356-47BA-9AE7-2351F3D5AD32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$9DA99F7F-64B2-486B-B462-3C852BB691F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$0AF1B404-F6DF-4559-853A-C651A81A3735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$4CD15F23-8A7C-46E1-BC88-7B0CD1BCBD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9ee713a0845fa95f927d6e1374bad1f2e158ef","datavalue":{"value":"11U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$79FF1E20-E014-415F-B976-374C0C3AAC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$3432FE15-DCD0-4C9A-99FC-1A496AC28E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$1C1A04CE-5A24-41F0-AACA-2F0FD95A35D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$67B84041-AA54-4E62-B4AF-98E16508AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$A691F706-E03B-4FFE-B242-A76EA188F6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$F69CCAED-71E3-4FCC-B271-D69F5B9E7924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58666a8bf2752febc6115682a9e2ed269610aeb","datavalue":{"value":"7620695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$7B26D65B-60DB-4C7C-A189-59211FFD11B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5966ba5d2cacb0dcf04cf170b3364b0515b291","datavalue":{"value":"class","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$1EE7C3FE-5AE1-4D12-880C-81BD0AFF7778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57be1c657bf353b4ec8fa371e6dda03fe4e17278","datavalue":{"value":"counting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$CEC9BC60-A11B-4BA2-B28C-3CB7610A10DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bafac80c5e092020ca7be1dcb82ad0db22458e2","datavalue":{"value":"Dedekind-Peano axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$67A45BCD-EEE8-4F6B-9BD2-6EBD7DA76439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8beecbf2ff94ca99a6e4f57575b2e4269ccec8b4","datavalue":{"value":"Grothendieck universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$2C5C88D9-D343-4A80-B2E2-A88077523DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc40b956cc8f58b10d075d0072ff892d946542ae","datavalue":{"value":"initial object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$4C5FF0E9-BAF6-4B7C-A9ED-E65C29B815CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d80b7eca4423e81d9eb1507984007667a23ac24","datavalue":{"value":"limit function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$CC7A8BB1-51B1-4BDD-8631-641AED130819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17e6ae9b867422c74c57803f3e832b5fa7ebe3b3","datavalue":{"value":"ordinal number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$B02B7F32-D8EA-4595-9833-8CBFA619A06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6354982050558e49e3997aaee739ec47dd8c9d6b","datavalue":{"value":"ordinal number system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$8AFFEC5D-B133-4056-AF00-48C31458CB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90df594a2608f1c2559ed5546db17de9cec69d9","datavalue":{"value":"universal property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$2518612E-CA07-4477-A496-7A7B8634CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00c611850ec6c3a135319a5394591c1cabedff3","datavalue":{"value":"specialization preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$265FE578-D983-4F84-859F-DB9FE07E2B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5606195882ab2f59c19c9566760ca1a08e9f8563","datavalue":{"value":"well-ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$FBF41323-FFA5-45DB-B02B-3CC4D4107068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00963354a89fc76eb572f4e90ba27813f55ae173","datavalue":{"value":"successor function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052006$327FADC6-77E7-44FE-9137-597D687AD8B8","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":"Q5052006$46650957-9C9B-4ABB-AB49-32B670C89898","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e48389d6cea99ffc4ab8cad29ae07e07d951707","datavalue":{"value":"W4220881859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$14C924B5-D795-4C2D-AC57-87F5B0D7CF58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ab2bab14c28b9e49d4543ad7d033ef5afe7c08","datavalue":{"value":{"entity-type":"item","numeric-id":5599221,"id":"Q5599221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$33CE8C16-F5FF-4236-A648-5E6402BDF655","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":"Q5052006$A2590EC9-F6D7-4433-B025-C67C9BF0B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$27EF2538-9959-4391-B95A-9EE616F54614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$7EC5FE8B-0AFA-49BB-A676-CE6A593F0456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$3C72CE7F-C570-4964-9969-ADEDF48FBA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$B16A97AF-2837-4388-96B3-F2C0E610B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8a724ac40740bd1c87484f58b078fba049b257","datavalue":{"value":{"entity-type":"item","numeric-id":3243257,"id":"Q3243257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$76D820B3-48E2-4F4C-B258-DB22F0625483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4063a36056c6bd70d6afec87f708a392bc16a36c","datavalue":{"value":{"entity-type":"item","numeric-id":5563362,"id":"Q5563362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$092FE23B-DE2F-497E-9C99-97C3F93BC499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1990d6c04c4a2641257266e9e5aa19220be1ed04","datavalue":{"value":{"entity-type":"item","numeric-id":2654815,"id":"Q2654815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$D5C39DEF-D20A-4C01-9BA3-F96FDC047895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c7f60c15c5ca5afa6b916452181db8c98f0f798","datavalue":{"value":"10.1017/JSL.2022.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052006$B2837A8D-F096-496C-B719-305D6C94F93B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$B00B47E4-BD77-41E7-9999-B289A771AA85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef84dc97822b4891e551a059ba8be0ae5accac6","datavalue":{"value":{"entity-type":"item","numeric-id":4488993,"id":"Q4488993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7272973a0d68e2fab5923c5170f5418a693acf8f","datavalue":{"value":{"amount":"+0.7209492921829224","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":"Q5052006$D837C8E4-CB8A-4960-A49B-A18B691B3C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7df8a25df9602dd35ee855ce9c5ace78993f25","datavalue":{"value":{"entity-type":"item","numeric-id":5250540,"id":"Q5250540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9b8c7ba2c0b146afa8019fa28ad486bbb7c4c2","datavalue":{"value":{"amount":"+0.7156943678855896","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":"Q5052006$3DFB4E33-C7E9-4D64-BADB-9DEC6ECD9E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2805f837dccb81f5d8ccf3c827725ba66fea4030","datavalue":{"value":{"entity-type":"item","numeric-id":3984136,"id":"Q3984136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1cf707e4127644cdd12f4a7a76157aa23ac398","datavalue":{"value":{"amount":"+0.6912016868591309","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":"Q5052006$168E59E0-D531-45E8-B69A-686ACEA1AB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac818df957922810a1efd264cce4a07cf72a4786","datavalue":{"value":{"entity-type":"item","numeric-id":3824404,"id":"Q3824404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1a05be75d2e6fa65536710d1dd97aa68db61b0","datavalue":{"value":{"amount":"+0.6674860119819641","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":"Q5052006$3000F4EB-4DC0-4862-BDCD-F0F134422CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b893d0fe6537bdf6de922ff97b37331fdb5c75b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934566,"id":"Q4934566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f2ea2b5ac23fb83751c9f82e4dc21849d98f3d","datavalue":{"value":{"amount":"+0.6633674502372742","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":"Q5052006$1049EC2C-863C-4E20-AAEA-4B039E9018EC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052006$58288948-896E-4396-ACCF-9D1F582A52A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_DEDEKIND-STYLE_AXIOMATIZATION_AND_THE_CORRESPONDING_UNIVERSAL_PROPERTY_OF_AN_ORDINAL_NUMBER_SYSTEM"}}}}}