{"entities":{"Q4632541":{"pageid":6662122,"ns":120,"title":"Item:Q4632541","lastrevid":53410706,"modified":"2026-01-24T22:20:23Z","type":"item","id":"Q4632541","labels":{"en":{"language":"en","value":"Nominalistic ordinals, recursion on higher types, and finitism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7049060"}},"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":"Q4632541$5566BA87-1DDB-4CB0-A81E-6A5B91AF3654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27acf2ce52ca8159ee65ccfa34a3a17787d28d12","datavalue":{"value":{"text":"NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632541$94AEBB64-785D-4061-B86F-39D4825E5136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50a12129d75f9598c5109c1530152e73d985ad60","datavalue":{"value":"1441.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$96FDC8D3-FC73-45B5-AD7F-998CF448F4DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b38eddabbc22867b01ef24fddac24c705495b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632540,"id":"Q4632540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$17D4C7ED-0C00-4C26-A291-F227B6825645","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$15504D05-8682-4667-ABA2-B58BD2A82CD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e5edd987b9099cb0ed4895432f7b4110add4e8d","datavalue":{"value":{"time":"+2019-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632541$8730FFC4-2424-4111-AA4A-0172E50BB1B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c50f3978828e597c0eec7ff32bbac9b9805a0cf","datavalue":{"value":"http://hdl.handle.net/10138/304868","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632541$B8D4F3EC-2B96-4C18-9495-A82BE8C0EADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$10F19074-F453-42A9-BBC4-42C04F843988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$E767BE31-36D4-4190-A1F0-192E59C88320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$06EA5915-3809-46E6-8AC5-AEBB695B21DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$7C46BC9D-BC4E-450F-9E78-F3F6E1A6AD55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f71d40fb6d2f2d914488190411237b561647bfe","datavalue":{"value":"7049060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$156FEF05-518F-418E-B65A-2B91E3F8ABDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2715556c70b7af1d5205ab89a09a79a5cba3070e","datavalue":{"value":"Gerhard Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632541$5C0813FC-62F5-4EA4-A82A-16CFE10AADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a48896a8e6e875734d35ccf65a03d5579d1a37","datavalue":{"value":"Paul Bernays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632541$51745217-A859-4CEE-8269-02C51A25C0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632541$AEE594F9-D103-49A5-B87A-97983C534AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81236a7f56232f5b9bd79d44dd2b4a900bdb8ed","datavalue":{"value":"constructive ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632541$2BE4CEFB-7140-4AE4-997D-483E1FC1F895","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":"Q4632541$293BF01B-4059-46D6-BC3E-8882C772E607","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0f88dfb054b116261f7598005bc43aae574df20","datavalue":{"value":"W2912599454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$AC98CC94-13AD-4F05-8CB9-0C5085EB6C4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffdd64cd91a38efb7f2f43b569348f2fc04f2e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5208100,"id":"Q5208100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$DD203B95-61DD-450D-872F-20A782FF0B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6afbd0387fe3a39ff24d78af521c501e09031d","datavalue":{"value":{"entity-type":"item","numeric-id":5760326,"id":"Q5760326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$F60F53D7-9F41-4EFD-97CD-3D114B682428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ff8df4a899056922ae2575b2c0a1cfe0c5fe9e","datavalue":{"value":{"entity-type":"item","numeric-id":5839929,"id":"Q5839929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$06C38F4F-2A6F-4190-A616-AAF84BCCEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ac35e866e61e3ac6d54a4b57d149a99341af37","datavalue":{"value":{"entity-type":"item","numeric-id":1135847,"id":"Q1135847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$506BB55D-1A34-4850-AF7C-599334B0CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be178116571d2eaedfeeb4b83fca6e0eb64b3daa","datavalue":{"value":{"entity-type":"item","numeric-id":3445908,"id":"Q3445908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$BBFAC539-6FD3-4E7E-BC50-88B80FAE7930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$8475EA89-70BA-476C-A5CA-384C7FFA8CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$0E2412D2-D0C3-4D3B-A738-1E3C1C1F472A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$8F59FE7B-83E8-470C-8B13-891806DA4609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f607a52f09034c050b309e9d5c640d76a89917","datavalue":{"value":{"entity-type":"item","numeric-id":2863601,"id":"Q2863601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$BEDB9276-E953-4801-B1F0-72461FEB48DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$AA70E2F9-D0E9-4EE2-A886-270B7DC451E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78020da47e0eece67216713da75789cba236d83","datavalue":{"value":{"entity-type":"item","numeric-id":3228608,"id":"Q3228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$FD781BBF-0212-480B-8983-CD2C7DD1CF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64f09732040341cacd372679a326c051326aab2","datavalue":{"value":{"entity-type":"item","numeric-id":3063880,"id":"Q3063880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$87AF09C7-542E-41A4-B813-9568C98C5476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e585ff49a5c727e3e94c0166db23ddfdc8bb","datavalue":{"value":{"entity-type":"item","numeric-id":5430147,"id":"Q5430147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$C077BE5B-28F6-4E87-9E1E-CD313C000603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9356c4131ea7cab45830e6a84324fa372c74415","datavalue":{"value":{"entity-type":"item","numeric-id":1604656,"id":"Q1604656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$98697DE8-368E-4B9F-9602-D43C98C67E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d318228f65441ca495d80346830c66eb2424fb","datavalue":{"value":{"entity-type":"item","numeric-id":5805955,"id":"Q5805955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$F680EE02-8959-48A3-99E8-20FE0C1483AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$C036DCDE-B174-4BB8-83CA-EE937C4F4031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c20e6a6d8f2148328dd25e069a7f69d59c399d","datavalue":{"value":{"entity-type":"item","numeric-id":3079619,"id":"Q3079619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$A7B1ABBC-BF8A-436A-895E-52A353A8AC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d736c0732078a9d7eac3c1589404b797c3bb93f","datavalue":{"value":{"entity-type":"item","numeric-id":530609,"id":"Q530609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632541$A61C0DF5-9988-427B-AADD-4143C58E0267","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bcbc36445c29c31079b53f5cb67bca4082067075","datavalue":{"value":"Q128491180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$579CCB66-FA68-4109-8336-0D0C2F95DAFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d1faa2fdd54ae5f321018dcd3ada5b8edf88e0a","datavalue":{"value":"10.1017/BSL.2018.91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632541$B9174595-6A15-4BF2-9133-60E30B02CBB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34602803994889f0cfd85d702792dedf9931f07d","datavalue":{"value":{"entity-type":"item","numeric-id":5221861,"id":"Q5221861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b159e3cae8bda71d6767b7eb02f349ad3b16f0ba","datavalue":{"value":{"amount":"+0.7625744938850403","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":"Q4632541$719302B6-7F96-4F73-BA9A-A41A30BF16A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9190cc5560b8d00a93a1236db9aa94fe4346581b","datavalue":{"value":{"entity-type":"item","numeric-id":1711783,"id":"Q1711783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7444e3f0a00b1a1894a86f73e9960a9ee232cc7d","datavalue":{"value":{"amount":"+0.7556078433990479","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":"Q4632541$F9AB3ED5-CD23-4159-8CF7-F1EDF9538F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a749c88e916ba664a0472496251827c9cd968ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5084572,"id":"Q5084572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa64e39eaac732d188d1879a45ac36fa4bf1e35","datavalue":{"value":{"amount":"+0.7439574003219604","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":"Q4632541$4FD9009D-14F5-423D-BF0D-5D7AD010F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d23bf58c85c8bd2d658f1ba7b6e64661bbde824","datavalue":{"value":{"entity-type":"item","numeric-id":4793041,"id":"Q4793041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916cc56609d7b9a2e8d400268a1d674a85b4c7b2","datavalue":{"value":{"amount":"+0.7417087554931641","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":"Q4632541$F2189FEF-3426-4A11-AEC7-9267C86E941D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916cc56609d7b9a2e8d400268a1d674a85b4c7b2","datavalue":{"value":{"amount":"+0.7417087554931641","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":"Q4632541$74F0DF2F-62BF-4F04-A011-46198E7AB51F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632541"}}}}}