{"entities":{"Q5946048":{"pageid":8122850,"ns":120,"title":"Item:Q5946048","lastrevid":41965372,"modified":"2025-05-19T19:33:29Z","type":"item","id":"Q5946048","labels":{"en":{"language":"en","value":"The strength of Mac Lane set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658154"}},"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":"Q5946048$7FAB7315-95A4-4D27-AB06-887587CBA928","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e7fecd20371c0f1512a7255866d799a176d2597","datavalue":{"value":{"text":"The strength of Mac Lane set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946048$A985B829-697C-41AB-983E-CF6CD572B88A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfab8711ad2c5214d559d32d7632a32c10c5c55b","datavalue":{"value":"1002.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946048$A1A6E2AA-79EA-4C70-9818-5400C90425B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ad952f54d383f80e46813807c81ca112afeb3b","datavalue":{"value":"10.1016/S0168-0072(00)00031-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946048$999F4714-CB3A-4E64-84C0-C1FBFF8D5660","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c70380042d747dc4fd26ae33db4b8519b40a0272","datavalue":{"value":{"entity-type":"item","numeric-id":1013094,"id":"Q1013094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$92F1941D-0596-4532-904D-E35EF72CD354","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":"Q5946048$44355862-DD03-40F2-884F-B7F91AF55DC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"794e49147bac0666dd0d57231b01201bc53c2d02","datavalue":{"value":{"time":"+2003-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946048$3C486380-704A-4BA4-B91A-AADA7A57FC07","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$80290458-C51C-4C0C-A9EA-A1D3F65C7891","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946048$45480AE0-43CC-4A7D-8720-CC609EC5671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946048$A6897E50-D764-44FA-9E6B-EB781FAF01E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ded0d05ac52041d5c973db06c940a7c5082347d","datavalue":{"value":"1658154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946048$276164F0-B744-4C51-AA04-F62E978CCFD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ae253eb12ade4e8c8e87d77515970c70e93794","datavalue":{"value":"Mac Lane set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$77BC2AF4-7648-4848-9F44-55A0B247247E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$8FBDCD04-A022-4972-88C4-13632BC6DB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$354FFBC5-58D0-4AEF-9C22-16440444D3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64622d30c64d5f0ed7ccb8af9b14d72e05d96eab","datavalue":{"value":"Axiom of Constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$79993DD9-5801-4B67-A178-47D711772939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d12d81c770b233838a86c1dbb568824c8dbde6","datavalue":{"value":"Axiom H","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$B94B2058-E3A8-4725-A0D7-CFAC834864F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d345d54b35b8346735f8d965deec7ba973bf032c","datavalue":{"value":"Forster-Kaye subsystem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$C6BD2808-1C7D-481C-9D1A-99AC1BEB0EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20149c362eda4537f15c3a0c5fa8df15ff7e7789","datavalue":{"value":"simple theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$405591A4-48ED-4F8D-8B08-B8799C4EC281","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":"Q5946048$EF176143-9E19-4DAB-972C-B183728CAD9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$27B5A34E-DDAC-4E56-867B-64FDF10D8EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1b065a493d211f6a8f448e92b44337736d83c6","datavalue":{"value":{"entity-type":"item","numeric-id":4085724,"id":"Q4085724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$30363B53-1401-4677-B8B6-05EA3ACCFE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$03EE0438-40CF-4BC5-9AF7-B1520DB5C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f3689e7e4775acc2aba2c21cb96e77dd6a23ca","datavalue":{"value":{"entity-type":"item","numeric-id":5592233,"id":"Q5592233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$B035300C-4A65-40AF-A1CF-1BA8270639F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11737cae111271a33c3f9d10f2ca062e02522166","datavalue":{"value":{"entity-type":"item","numeric-id":5656767,"id":"Q5656767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$808A4801-4442-4747-93CE-ECDE1B3FDAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe48e1499d588d1c0460eb68ed739904a63138ea","datavalue":{"value":{"entity-type":"item","numeric-id":3981458,"id":"Q3981458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$A2AA8805-B74E-4843-9209-4066A62080E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$2FF5475A-83F0-4F92-86C3-E3DC2D578857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6154920b5da1340ab7b6f83e5082a9b9dcdbfac","datavalue":{"value":{"entity-type":"item","numeric-id":5563360,"id":"Q5563360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$C77EEA04-139E-4ED9-8C44-7316261AA403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d55e4ab551b7f1c9727d638df3e5733f31c019","datavalue":{"value":{"entity-type":"item","numeric-id":5648367,"id":"Q5648367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$366F50DC-F76E-4827-81E7-0B8787C02E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663fcc480680cd596ecacf4fe28ae7989d83c8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5588626,"id":"Q5588626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$05E09EA9-36F3-4D6F-A0B4-A50AE449ED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c19e085f69150b98e13534cdedfc16e2a186535","datavalue":{"value":{"entity-type":"item","numeric-id":5729315,"id":"Q5729315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$A5F148EC-E43F-4A19-9DA3-6B65CAE8A97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd77b30d40ab6c74d5a1c98f35e39ea58efbdb59","datavalue":{"value":{"entity-type":"item","numeric-id":5569103,"id":"Q5569103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$2E343BFA-47D8-4F2B-A156-DE20A83529D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e84b6c09117db9f02ae9066cb1a4b954221c095","datavalue":{"value":{"entity-type":"item","numeric-id":5556412,"id":"Q5556412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$60E7A008-9464-455A-87B8-E2A21DECD21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d001bdea95472bfd93b8dbd1032791c459f4f66","datavalue":{"value":{"entity-type":"item","numeric-id":5573372,"id":"Q5573372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$56A69588-74F1-46E3-BE97-69D1BB211ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a344bdc8928df8445c57647f3db941eaa7187f","datavalue":{"value":{"entity-type":"item","numeric-id":2747699,"id":"Q2747699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$0A7A2A3E-AFEC-4565-A159-A4DD1A9E0120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aade468f8f08576325043b59a5174cfca5ddfc30","datavalue":{"value":{"entity-type":"item","numeric-id":4372902,"id":"Q4372902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$20D59637-468B-49ED-85D3-0B1DDFD31EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f27eafd729cd2b7e881a9b8031b9e81dd8ece00","datavalue":{"value":{"entity-type":"item","numeric-id":2570069,"id":"Q2570069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$25A81D8C-0A2D-46BB-B61D-9E185FCFA464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba10a227b7b0ab28f76deefd9f94f3582304bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3995749,"id":"Q3995749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$9D4212E6-A81B-422C-89E9-1516E796BDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de68150b22c3ed4d03294f33d7bd90c271e46f9e","datavalue":{"value":{"entity-type":"item","numeric-id":4520367,"id":"Q4520367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$7B294757-D089-4D18-BF98-8A362488FC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f8f7715bbcd2072997a24ddedd37de1d2d8fb9","datavalue":{"value":{"entity-type":"item","numeric-id":3869338,"id":"Q3869338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$3407B9C7-5F92-40A0-9C52-7710D25D4177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d521208e93160ae1e1f9d1f8d44f0eb96bd3e2","datavalue":{"value":{"entity-type":"item","numeric-id":5685038,"id":"Q5685038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$80921939-AC4C-4262-BE44-867CE76734C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733df39e197d49645dff7dea3974819f659c71c5","datavalue":{"value":{"entity-type":"item","numeric-id":3875893,"id":"Q3875893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$52E9306C-F34F-4B4C-84F9-2F4545216A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5155f3770ecaf73629e9ee72eb4b0bcb967ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2541215,"id":"Q2541215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$0042AF6F-767C-44BC-89EB-5355EC09CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53131e67f41a9ed11fcffb08ba44317c3b842a86","datavalue":{"value":{"entity-type":"item","numeric-id":4085692,"id":"Q4085692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$E1E3E7F6-4FF0-4C4A-A08E-F871D44107CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb493967cc3df4cf1fb7e0e6e98a81bda1b903eb","datavalue":{"value":{"entity-type":"item","numeric-id":3985091,"id":"Q3985091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$E4420584-32BB-433D-B3A8-6DD035C1168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10b3218750d3fae2d153f1d6a05171ac3726474","datavalue":{"value":{"entity-type":"item","numeric-id":5763661,"id":"Q5763661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$3E5A8403-828D-46E2-A834-AEBB6F27B717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0627ee67643240f1eabca59a516fe859beb667","datavalue":{"value":{"entity-type":"item","numeric-id":4753169,"id":"Q4753169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$3F265B92-C933-4D29-9F2E-383CE24CFA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$C3D53147-A580-44C9-BB11-8AE5EE90A1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0066e51d82b7d507ffbb1f21dcc122212e846302","datavalue":{"value":{"entity-type":"item","numeric-id":4967709,"id":"Q4967709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$14A887AD-F6B0-429B-B0FD-49E4F2C1421B","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":"Q5946048$43DCCE8F-AC32-46CF-8389-A7032E8917DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900e427ddcaeb12a88f4c4858d62f86d4be20c1","datavalue":{"value":{"entity-type":"item","numeric-id":2555143,"id":"Q2555143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$F2C1004B-C58E-48A2-9322-9A4A869B7744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eead83a1f6030ac7a2c3ce88e8c75da72567af","datavalue":{"value":{"entity-type":"item","numeric-id":1843432,"id":"Q1843432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$248D99EF-EE3E-4A14-A458-A2AF7B360735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$00959510-5692-4347-ABC8-22161036DFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$CA62301E-43B3-4C5F-818B-71B455D3B649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$DAC00125-711E-44AD-8FD3-6EC5DD28BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f23c3ade1cb0d5bd67291b82176b7842519dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3276698,"id":"Q3276698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$11ABB717-A71D-46A0-A0E5-CF0D32CD6D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$817F8D64-9F22-4249-B8B2-78263132083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"105b4a0e9eeedf370c4b1b9fa4c27bc8b4382239","datavalue":{"value":{"entity-type":"item","numeric-id":5655359,"id":"Q5655359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$43435940-8D29-41C4-8C63-E563138EB122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$8D2C7930-784E-45E6-87CE-7DFEBEA02CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e69244efa373a61a634df505b300f24b50306f6","datavalue":{"value":{"entity-type":"item","numeric-id":1198412,"id":"Q1198412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$473D72C0-B42F-4246-A0E3-60435C44618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a05e9dfd69c34262017b410f17ee9d6c385433","datavalue":{"value":{"entity-type":"item","numeric-id":1910651,"id":"Q1910651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$29750364-36D5-41C2-ABF9-B7104DD5FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbc1bd1856ae21ca6b0420a1375ecf136fdc183","datavalue":{"value":{"entity-type":"item","numeric-id":4692751,"id":"Q4692751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$4FCFBE56-9959-44E6-B11D-C60CE1ED8A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a210e5cb5096542a71719b077649ce1b54ae11a7","datavalue":{"value":{"entity-type":"item","numeric-id":4694283,"id":"Q4694283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$932C2806-03F2-430D-95BA-29385D585AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c4ed7f0e2ac59c9ccdf09cd18a5a9ae707462","datavalue":{"value":{"entity-type":"item","numeric-id":4694282,"id":"Q4694282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946048$C8F411D9-B46F-49B1-8F79-F148B4559774","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"052506cdf8f0c3b8e832ad1b6a51dbe872698591","datavalue":{"value":"Q126372013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946048$AC9FF65F-2135-4C03-8C7B-4CCF19AB29B4","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":"4d2b82dcc67a5766b5cd5dee56d89e8ddd619167","datavalue":{"value":{"amount":"+0.8764071","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":"Q5946048$848F7A48-4C9E-4D0F-9839-580340F0700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efcd9c6ad78bba68755f7826abe4ede430346835","datavalue":{"value":{"entity-type":"item","numeric-id":4474009,"id":"Q4474009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c54e07ab46a31cab35580434a47669c2c05ad6","datavalue":{"value":{"amount":"+0.8530388","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":"Q5946048$3A2FDA60-C942-4D2A-AFFF-22B22CBAFBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9b99ae0260f591a0bce6ec687841431e52947a","datavalue":{"value":{"entity-type":"item","numeric-id":4247804,"id":"Q4247804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb7586e98bac646a6f06067bee26549b2b25016","datavalue":{"value":{"amount":"+0.8489307","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":"Q5946048$E39D95E9-EA77-4042-9532-4E8356CD76D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7fa85aae2a47708ac058f8e27cecd19e370eef","datavalue":{"value":{"entity-type":"item","numeric-id":3581789,"id":"Q3581789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6469b20e0081735d9aefecd45a4852b4ce7ca9e3","datavalue":{"value":{"amount":"+0.84854656","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":"Q5946048$84581A61-0F3F-440C-9BDD-B9DD05AB223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc6cc66d53956ef74f5f07d79ebe15e4ffb1ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1400874,"id":"Q1400874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3838842ee2b2bf301a52a4e465f35e65a82e49ae","datavalue":{"value":{"amount":"+0.84535646","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":"Q5946048$0D3BB466-5638-48E0-AD79-62F3AB7D5F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac44864081e20a97e699de19f291f24b9a191470","datavalue":{"value":{"entity-type":"item","numeric-id":4781608,"id":"Q4781608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc78d2749b821133284953ff99abd3edecb44df3","datavalue":{"value":{"amount":"+0.8234788","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":"Q5946048$72C0CD58-7267-47F4-85CF-2B7FA2EEC0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d12dc3e537d7ae4263e1cba4e46528c2d65a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3145980,"id":"Q3145980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61a94c4c40ec82ee0c380e84411b199b7f950a4","datavalue":{"value":{"amount":"+0.8217994","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":"Q5946048$479373B2-5221-413A-A3BB-4C43DEB7A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4c3703475cdd2a51cc698c1094edb16f46690f","datavalue":{"value":{"entity-type":"item","numeric-id":5567843,"id":"Q5567843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadd3a279241fe5370199f0d53a22354af6e0246","datavalue":{"value":{"amount":"+0.8192842","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":"Q5946048$338D9410-E9E1-47BB-9BA5-E4EB71D550C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdabae116005026afd26b4d986522d35b8914fb","datavalue":{"value":{"entity-type":"item","numeric-id":4726244,"id":"Q4726244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b7bd99db476973e6e9414ad5cc23e7cb70d26a","datavalue":{"value":{"amount":"+0.81925523","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":"Q5946048$5627AA3F-E416-4A12-A799-ABDDCE294860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02017d1ddbd3f42489a5926df824ef02e02bb5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3803109,"id":"Q3803109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f597f8e7eb218a45a1260daa7d0b3855f7cd6bf","datavalue":{"value":{"amount":"+0.81837034","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":"Q5946048$2D3C5830-C66D-4B52-B98C-CC543C0BD5BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5415af0dd67716fc78641fd129098af9f9991a0","datavalue":{"value":"In this paper the author investigates various systems of set theory which are related with Mac Lane's system (MAC). This system is naturally related to systems derived from topos-theoretic notions. It is shown that the consistency strength of MAC is not increased by adding the Kripke-Platek set theory (KP) or the Axiom of Constructibility.NEWLINENEWLINENEWLINEEssential in his investigations is the so-called Axiom H, which asserts the existence of ``universal'' transitive sets. This axiom and its consequences are studied in detail. As a byproduct, the author gives a new proof that Z is not finitely axiomatisable. He studies Friedman's strengthening of KP+MAC and the Forster-Kaye subsystem KF of MAC. He shows that there is a variant \\(\\text{KP}^{\\mathcal P}\\) of KP such that \\(\\text{KP}^{\\mathcal P}+V=L\\) proves the consistency of \\(\\text{KP}^{\\mathcal P}\\). This is done using forcing over ill-founded models. The author analyses the known equiconsistency of MAC with the simple theory of types and shows a weak form of Stratified Collection. The paper closes with some philosophical remarks.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946048$2453A122-6B50-427E-A786-A4D68266496A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946048"}}}}}