{"entities":{"Q1085151":{"pageid":1095903,"ns":120,"title":"Item:Q1085151","lastrevid":66883812,"modified":"2026-04-12T13:30:30Z","type":"item","id":"Q1085151","labels":{"en":{"language":"en","value":"How recent work in mathematical logic relates to the foundations of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981148"}},"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":"Q1085151$7B695B43-F985-40DB-A03E-3D4018D133CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c589630dfcdcad1f8ac0921c432c46b9583c1cfe","datavalue":{"value":{"text":"How recent work in mathematical logic relates to the foundations of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085151$E3BA0830-8167-4204-BC48-5CDB3B4BA4A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dec9a40de0aca2c43207f18bc5abbc220ebd8381","datavalue":{"value":"0607.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085151$BF4608EC-EDCE-4B09-AE26-83F71CE4A9F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04f394cd8a6771d055424bf67778e3e83e251698","datavalue":{"value":"10.1007/BF03024483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085151$E4FBEBA9-7920-4377-9D03-D961A5F432E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4c19c8c7a00bd1ddfe280b3e40c9dc3e54b743","datavalue":{"value":{"entity-type":"item","numeric-id":752714,"id":"Q752714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$1463AA94-81FE-478E-B3C5-78DE78B8B7FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$32F43010-F445-4716-90D5-266B5CA3870E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1085151$93C5D695-CBE5-4D76-953D-6BA1DB314929","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4331a42490333c05c1b5c231ea1fd4c1409d809d","datavalue":{"value":"This paper is related to an article of \\textit{S. MacLane} [ibid. 5, No. 4, 53--55 (1983; Zbl 1366.00035)]. The aim of the author is to explain the connections between recent work in mathematical logic and foundations, contrary to what was argued by MacLane.    In order to clarify this connection, the paper contains a survey of some results of mathematical logic (from weak arithmetic to large cardinals) from the point of view of the partial ordering of consistency strengths.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085151$0E0B2FF7-331E-425A-A418-546E80ED12D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085151$C148D7AA-3A52-4DB4-9E2D-E974A96A65EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085151$CB24F10E-E9D8-4E97-9E11-C519D6D18BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085151$44664E57-52D6-4F4C-A33A-9ED7FA24B8F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6fc9f94622496c0dbe57af57c11eb44cdb79813","datavalue":{"value":"3981148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085151$FD4CACA4-7608-4BC5-BD23-2CDE2ACD1E79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e109064cb69c6ea43adb51f5c5bd178b940472a","datavalue":{"value":"weak arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085151$71BB5BC0-EE8D-4092-BFFB-C394CAC88A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085151$719B8BEC-3DA3-416E-BD64-7AD59452E163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c054e8cd1f576904cac4d66922d16287a002d719","datavalue":{"value":"partial ordering of consistency strengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085151$42A30837-F452-41CD-BD3F-EDB31266225B","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":"Q1085151$201507F1-701D-4F37-BF01-13222774FC97","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":"Q1085151$E3AE2154-2EB4-4356-BC31-4FC33DDA8CE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649df9fc62386239839f3dafed73379bdb3f443","datavalue":{"value":{"entity-type":"item","numeric-id":2362736,"id":"Q2362736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$9D4B9AD5-6A84-46D5-818D-64986F1FF839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$71554C65-CE77-4FFF-AB97-AA4F77A96689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$8AD587C4-7E5A-4320-99C6-7A111FD42E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$3D765FE1-FC50-4C35-9799-AC0622EBC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4805f38d8a13b8d932339f139b139686d1952c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618369,"id":"Q5618369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$B5701CAD-C102-4977-BAE5-68751286995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$11886D43-4D0C-4FD1-AA0E-8326EB3CE9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc81c97fa701b3e67ac7b4ea848d1ca4abebdc42","datavalue":{"value":{"entity-type":"item","numeric-id":1239730,"id":"Q1239730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$3537BB77-B0E1-44C5-BCD8-03DDA82A5B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d458f549766e71abafe85918a9c1854687d66d19","datavalue":{"value":{"entity-type":"item","numeric-id":3214928,"id":"Q3214928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$7E42798C-BCE7-4AB2-8D98-8D5823E686AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f06fb55172a8c39b45ca141e5afc7dc6f912e16","datavalue":{"value":{"entity-type":"item","numeric-id":4108331,"id":"Q4108331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$C36EFCF2-F4A7-4AC2-BD1A-D340E2918DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda8da851a3bd922f54f5e11ff004e1ab10a037","datavalue":{"value":{"entity-type":"item","numeric-id":3905272,"id":"Q3905272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$CA0AB61D-1845-44FA-9483-AD28745F768B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08491e3ba3a3373b9812fe2bba493045fc81b75","datavalue":{"value":{"entity-type":"item","numeric-id":3671150,"id":"Q3671150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$8C65FF4A-786D-442B-B411-88D39EE2D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64961dfda9d7957bb355ebcf50255306e7f6abfe","datavalue":{"value":{"entity-type":"item","numeric-id":5613932,"id":"Q5613932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$3AA86F54-7960-4207-B737-BDDB938FE32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d19e866201373805debf3659944aadfd16d8bb","datavalue":{"value":{"entity-type":"item","numeric-id":1240731,"id":"Q1240731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$FC30D11A-3ED6-435C-8EDF-B59C2C78EA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f925eea254cf9333458a513d3587fc4f6f159d5","datavalue":{"value":{"entity-type":"item","numeric-id":3968902,"id":"Q3968902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$FA1E1370-8791-464B-81C1-FC4CE67BB0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb7b38f168e91a2d5e4d28e4b7188a82ac9ab0d","datavalue":{"value":{"entity-type":"item","numeric-id":4071198,"id":"Q4071198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$16FDD114-5A7D-4638-930B-C79064FD1F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085151$5106C0BA-19AA-4F00-8853-0BA2F9182855","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70faa7e7857e420206b835190038182ffec0d290","datavalue":{"value":{"entity-type":"item","numeric-id":3807175,"id":"Q3807175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd74b2a2cbfea4d202fc8fb2b5fa89a4d874173","datavalue":{"value":{"amount":"+0.7406134605407715","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":"Q1085151$B8996332-71AC-4EDD-80C4-19A8069E6404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ecfe30d9cc7b01a3b72632d7f13abde01bbddb","datavalue":{"value":{"entity-type":"item","numeric-id":4925883,"id":"Q4925883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe92325a3693c9c06057b272944e1803a906448","datavalue":{"value":{"amount":"+0.7221271991729736","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":"Q1085151$3898B853-985D-4086-B333-2016EB4E7408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffca78a47108feb6e165db6692fc8c50db72a130","datavalue":{"value":{"entity-type":"item","numeric-id":2012669,"id":"Q2012669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fbda1f68a4c691f10a34b0e77dc0e5deefaef2","datavalue":{"value":{"amount":"+0.7208213806152344","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":"Q1085151$11A85D52-986F-42D3-8EB6-C322D6309119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0645815e347a0f517335bdc7b20edb77fe38541b","datavalue":{"value":{"entity-type":"item","numeric-id":4817190,"id":"Q4817190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7799637d568da3c22c684a8f8edbe24c6fdcc04","datavalue":{"value":{"amount":"+0.7151740789413452","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":"Q1085151$6A14D99D-E466-42D2-9EA6-1C7633F0ADE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50949b0037d85ef460bd0f80586bd9bd4592c0d","datavalue":{"value":{"amount":"+0.7133529186248779","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":"Q1085151$D30696AF-F183-44CB-9C9B-1F69E7D6466E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How recent work in mathematical logic relates to the foundations of mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_recent_work_in_mathematical_logic_relates_to_the_foundations_of_mathematics"}}}}}