{"entities":{"Q1400874":{"pageid":1411614,"ns":120,"title":"Item:Q1400874","lastrevid":67354239,"modified":"2026-04-12T17:03:37Z","type":"item","id":"Q1400874","labels":{"en":{"language":"en","value":"The MacLane problem on the set-theoretic foundation for category theory. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964709"}},"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":"Q1400874$CEF209EC-7D2A-42FB-B8E5-9E05C5026A17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9585dd0b64ded33da57cd9b63776be919315c291","datavalue":{"value":{"text":"The MacLane problem on the set-theoretic foundation for category theory. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400874$D177EA00-765E-4B37-B536-7B06141FD21E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38eb09c32ef1a90851bb8898e0158801fe57157d","datavalue":{"value":"1037.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400874$9C46CDE9-633B-40E8-85B7-C6361B5A721D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2beedb28dc4037c72da95f90e068dcf3801ef01","datavalue":{"value":"10.1023/A:1021941217859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400874$EE9514EC-E6A0-4F09-BAC0-E4503FE43F66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400874$1E807A69-F693-4730-A38B-BC7B111F0464","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1acf02eb3bf289e1f20b46dd966035b051fd02cf","datavalue":{"value":{"time":"+2003-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400874$A2633761-6A95-4DB9-976B-9BBF610F0590","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"41f9f87eecbe6fd70168b41f91901240e7573852","datavalue":{"value":"[For part I, see ibid. 102, 4018--4031 (2000; Zbl 0970.18001).]  After giving a historical summary of the various ways that axiomatic set theory has failed to provide a satisfactory foundation for naive category theory (e.g., how does one account for the category of all categories), the authors proceed to the syntax and axiomatics of an extension of NBG (von Neumann-Bernays-G\u00f6del set theory), called the two-sorted multi-rank theory of classes and sets. They then proceed to show how naive category theory may be formulated within this framework and finally ask the question of whether their system is a conservative extension of NBG.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400874$FAAEBA1E-A8E0-4673-8B1C-8117C3A248F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400874$EFADE3A4-A0A6-4733-BC7D-2FD079FA9A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400874$D5A8CB56-AB52-4596-9FDC-AE0FF049EB8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a3f84d7b022d83900724364487a5d8f8cbee25","datavalue":{"value":"1964709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400874$EAE4B522-75B9-42A2-ADA9-88BC1445ADB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238b2c101b39074683453fb91c5b0628b146e004","datavalue":{"value":"axiomatic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400874$15AB8A72-605A-4438-92D7-5A5A1D0C3DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa26ab9894e1efa08834424b09f84ce7f11cda7","datavalue":{"value":"foundations of naive category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400874$C3015B11-5256-4BB7-9C9A-16DA07CDE7DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c4899da0caf9feb026dcac328aad49dac22833","datavalue":{"value":{"entity-type":"item","numeric-id":1684499,"id":"Q1684499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400874$951DEFEE-E648-4EDD-9772-CBE0C631D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b15aabca2ffc2192b002338fc0c92b288c9c9cf","datavalue":{"value":{"entity-type":"item","numeric-id":1104427,"id":"Q1104427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400874$EEB71CA6-45A0-456C-A917-44431FCF24F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400874$61497561-4543-473E-BA65-5B28DCED07D7","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":"Q1400874$6355319E-53F0-4DBC-920A-4E9874AF8D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dc28913bb529627f13f7d2ddb6af2c5c1c2dbad","datavalue":{"value":"https://doi.org/10.1023/a:1021941217859","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400874$D7BDFEF3-749B-4282-9CC3-FBB844D6E697","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47df69f11fc4933f935e30e439d1c1583a02852f","datavalue":{"value":"W198568404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400874$0CE10456-0B34-4941-B8D8-340DF71CD7E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676800e35ee2e8a0d560f2d1d2dcc59d3bae1730","datavalue":{"value":{"entity-type":"item","numeric-id":1592189,"id":"Q1592189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b0c33b30a7421ad9d568817db450408ee842cb","datavalue":{"value":{"amount":"+0.8855194449424744","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":"Q1400874$19827276-4CBF-4902-BC6D-2C32D7ED6BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5b3dd5c92c8e983f11bbe9b3983cbee8248642","datavalue":{"value":{"entity-type":"item","numeric-id":5222536,"id":"Q5222536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b0c33b30a7421ad9d568817db450408ee842cb","datavalue":{"value":{"amount":"+0.8855194449424744","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":"Q1400874$E79501EA-4F20-4DA9-9F2B-A2455296BED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f870f9304006eb9c3644d7d0459b5cc53a2079e","datavalue":{"value":{"entity-type":"item","numeric-id":1780370,"id":"Q1780370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69a6664dac5ad5cff871f857075b6b67af418b8","datavalue":{"value":{"amount":"+0.8335657715797424","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":"Q1400874$89509D46-FDFE-46A3-8DF8-653888EBF895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb82e35188c4f84564412003378f2caefb0b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":3693676,"id":"Q3693676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b75eb33d21984d57b1fc6e0af05b708210ff00f","datavalue":{"value":{"amount":"+0.8296163082122803","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":"Q1400874$2E6C3B70-F698-4C6F-8670-433158005ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8f0375908ee02c17faccb0bcb4b8bfd0d4b385","datavalue":{"value":{"entity-type":"item","numeric-id":2387839,"id":"Q2387839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681998ac1461258208d78852701091af180ba4d1","datavalue":{"value":{"amount":"+0.8122079372406006","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":"Q1400874$4A179DF8-61E0-40A1-BF5A-F54E986DFB01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The MacLane problem on the set-theoretic foundation for category theory. II.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_MacLane_problem_on_the_set-theoretic_foundation_for_category_theory._II."}}}}}