{"entities":{"Q1899146":{"pageid":1909888,"ns":120,"title":"Item:Q1899146","lastrevid":71108802,"modified":"2026-04-13T19:32:14Z","type":"item","id":"Q1899146","labels":{"en":{"language":"en","value":"Understanding uniformity in Feferman's explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802550"}},"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":"Q1899146$F917DC18-BD75-4A60-BDF7-476649CAA3EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f6016b7f8e9f5d411c99a3090535dac496affaa","datavalue":{"value":{"text":"Understanding uniformity in Feferman's explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899146$BA5A8769-6504-4467-AC5A-651DE6317CEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad884a637b95bde06ea59cf571c62b655ff250d","datavalue":{"value":"0845.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899146$7133DBC4-AF4D-46BE-A180-E55750DF5EEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ddd985faa9ab025e2ab7cddf4b01189eecd03cf","datavalue":{"value":"10.1016/0168-0072(94)00058-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899146$2232E86E-4A6D-482B-9DAA-07E7BC8BFA68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e0ed65e7892fb59de8ab256934abd0b2705926","datavalue":{"value":{"entity-type":"item","numeric-id":1356974,"id":"Q1356974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$EDCB94DB-BCB5-451A-A4A4-D713D04985B6","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":"Q1899146$3DDC42BE-8AEF-4A63-B9D2-91583172651C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b12e332ffe60310d8fb0fe514e5f371c7ab5bea2","datavalue":{"value":{"time":"+1995-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899146$F85C53D4-AD5F-4934-9C1E-5D33848C7EC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a39df4dd16ee7bd2829be8033de557d7451c72fe","datavalue":{"value":"The aim of the paper is to make clear the role of uniformity in explicit mathematics, with particular regard to Feferman's axiom systems. The properties of some systems for explicit mathematics without uniformity are analyzed. In particular it is shown that the join axiom collapses in the absence of uniformity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899146$515F3FD4-46E9-4B0D-864D-206BBC1A9134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899146$595671D7-1A6D-471E-910C-3C6B6C12CE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899146$E6A20C04-5454-45A7-A070-5A9AD762CE64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f611d3f3f4f137c92d2da730456adbb6c61b1b3f","datavalue":{"value":"802550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899146$CCB93849-95AF-4A60-92D9-E27B8D8B61D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdbc2759372fdadcf0bb27bec89e17c62a4ba59","datavalue":{"value":"uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899146$D3ED68B7-BD72-4860-A196-6ECC4B0ED0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899146$67F90AAD-88BB-4AE7-8BA7-8E933A5511D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2414bf2f7588e8f919c9f9f9a7a11c960a6af23","datavalue":{"value":"join axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899146$5D2B3BD6-EDC7-4395-A53B-F66615967E07","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$6CF221A2-E920-45C6-9DF9-723EC7997DF5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$3BF758C4-861C-4399-9995-537445D3E9D9","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":"Q1899146$9B61B4D8-BD7C-44DF-A43B-A2B7A650BF6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0abf65c499a2acb50eb37174e27c93ee329f542","datavalue":{"value":{"entity-type":"item","numeric-id":3914980,"id":"Q3914980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$69AB8F50-AE3C-45AF-976C-DE73E2936C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$661E9FED-E804-4C6D-A82D-2E1889AFD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53896d5eb3675aae4ccf944284341c082a1794fc","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$4270CFB3-2742-4D34-AB0E-1C6D987C2F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$711C43F5-AD1E-48E1-9AA4-598A2C3D9C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$1E17D4FE-84C3-4B14-8B93-06D4EFAEA2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da3ccc94b7e18b06ea89a796d1a8d25a588dcb9","datavalue":{"value":{"entity-type":"item","numeric-id":1148899,"id":"Q1148899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$45BE037B-3F30-4ADE-B4DC-50D06B8ABAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$0BC022CC-F129-40D8-A179-FB3DBCB15ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37b51d088d2c45ed7c84e6aa3125a73b3fc8a69","datavalue":{"value":{"entity-type":"item","numeric-id":3663255,"id":"Q3663255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$1F22CCAB-AF60-42EB-8402-57A9F5DDD0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976fb4f3d01716802cb0f5b2570ef5544a8a2dff","datavalue":{"value":{"entity-type":"item","numeric-id":3039340,"id":"Q3039340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$8F60E810-12A8-41BD-8ED4-D19F27FADD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$A8C0AEA3-DF50-45DB-9D88-250B462ED8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$B962016E-5380-48BB-86C1-B1BCBA4382FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8954072c85d8ffbc031197088ea5c8a8d57a777","datavalue":{"value":{"entity-type":"item","numeric-id":3956931,"id":"Q3956931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$70545D43-F690-4DD9-B264-DE81663BB6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$EDE365F6-C187-47B4-A116-744B861350DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$8DBE9475-F9FA-48D8-B9CF-E14DA390C913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$65555B74-0861-40C9-9DA3-E287C1981B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7df1f230b0a1f7c4b06732c60d23fdde79f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3809793,"id":"Q3809793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$4EBF82EF-DE07-44F9-AD93-20B051E83D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$008D9B6E-8446-468B-B1FC-B8E712C53053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$B9FF6387-E133-4182-A457-DC9CD50C2AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$EEBC546B-7CEC-45AF-9E88-B209C3DFF399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3f7d9f6a5b9c0765fd0ae6fa8a639661ef197e","datavalue":{"value":{"entity-type":"item","numeric-id":1115865,"id":"Q1115865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$F92580CA-E82A-4E50-8FE5-E40673E60B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899146$EED44A6D-C586-48C3-B31A-7EA26A2BD269","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"298f2b3ac88ff99f0a43b708298e32d8e09c3a07","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00058-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899146$0DE79356-5CEC-401C-A44E-DEE5829727D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ae723b6900d716870637eaa6ac0f2839e139274","datavalue":{"value":"W2120929535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899146$94DE10C9-6227-4D93-9B26-5A39AF418F47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e34f917c768d90af2c130b9f1ffd95b858e8ce","datavalue":{"value":{"entity-type":"item","numeric-id":4254638,"id":"Q4254638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7047a2ac23b497db79f9341d1653a0644edf017","datavalue":{"value":{"amount":"+0.7693890929222107","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":"Q1899146$4136C8EF-2E8A-44A6-983B-01AAFF7F488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6872626185b8583eada94763349b43a377c0663f","datavalue":{"value":{"entity-type":"item","numeric-id":2563984,"id":"Q2563984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ce42308e9a02695d6668f84a75bdfa06492337","datavalue":{"value":{"amount":"+0.7616709470748901","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":"Q1899146$350E2620-014B-4FB1-8FD3-1F77D8B42EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5c8c1fe1ebdc7610b001bcc2e796829a70067","datavalue":{"value":{"entity-type":"item","numeric-id":4894722,"id":"Q4894722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dffb4bb74fc1fc48ae9da9e0f079109b3c43efc","datavalue":{"value":{"amount":"+0.756926953792572","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":"Q1899146$019B7C4F-4873-4B53-A3EB-B3920BFCE85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ba9e1c5707cf410022f46b44512743ef44f288","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33dad30cd3bc017b643e87bb71800e24fbcf09e","datavalue":{"value":{"amount":"+0.7551915645599365","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":"Q1899146$81986652-301F-4480-8BC4-15D53FE9432C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding uniformity in Feferman's explicit mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Understanding_uniformity_in_Feferman%27s_explicit_mathematics"}}}}}