{"entities":{"Q1288136":{"pageid":1298886,"ns":120,"title":"Item:Q1288136","lastrevid":46759059,"modified":"2025-12-25T13:12:40Z","type":"item","id":"Q1288136","labels":{"en":{"language":"en","value":"A note on finiteness in the predicative foundations of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286054"}},"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":"Q1288136$52D6248F-402E-497A-8B8A-1719356137A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fba20228d9a04b3eece3fd81b34511f8eee4b42","datavalue":{"value":{"text":"A note on finiteness in the predicative foundations of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288136$6CD1303C-D179-459A-A74A-19E2498BB084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d80671b524a1f6158760ab9ed7c2a12530e0e612","datavalue":{"value":"0920.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288136$84C0CD65-D447-4AB5-AD35-430F3C2BA0F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"001ad1dd089fb4351f0e5303148ab5688ef574a4","datavalue":{"value":"10.1023/A:1004377219147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288136$BB61B537-E78A-4623-820B-837DBE4405A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288136$16B08965-205C-4803-9ECC-D43DF11E17E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288136$95183D6E-9121-4CD2-B288-B1E8C21AC698","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0458f783ed98c44f749a976bb095dc4c84da09c","datavalue":{"value":{"time":"+1999-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288136$606A3BA4-D140-4226-B609-A3551BBAABE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df92e5cfbd8c047702ed658c5d4bfbeac0f8dd96","datavalue":{"value":"\\textit{S. Feferman} and \\textit{G. Hellman} showed in ``Predicative foundations of arithmetic'' [J. Philos. Log. 24, 1-17 (1995; Zbl 0816.03030)] how to establish the existence and categoricity of a natural number system by predicative means given the primitive notion of a finite set of individuals and given also a suitable pairing function operating on individuals. In the paper under review it is shown that this existence and categoricity result does not rely (even indirectly) on finite-set induction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288136$6CCBB6BE-DFBE-4F52-90B1-E29735908E3A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288136$38C77965-F161-446D-AFE8-6ECAD997ED5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288136$6CCC0A27-58EF-4082-B25F-6CDBCFA933E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"511fdd093b145502da17537cbe831fd62b14c81e","datavalue":{"value":"1286054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288136$F2AC5269-D444-4C50-B76D-88F67D5B703A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288136$DD8AAB85-43BE-4C82-A2A1-13C8FF331A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87d9fcab619a3afdd4f2baf7d284b0f5ccf4d3a2","datavalue":{"value":"existence and categoricity of a natural number system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288136$00C0F2F4-9977-44F3-97DE-8EF9E1F631EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00f32c00be1c079cf28e3b621e4c5212fa2cf4c","datavalue":{"value":"pairing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288136$E9BF5F5A-EB2C-4AFB-A60C-275706F5F009","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":"Q1288136$831389F6-C67E-4155-B8C6-B909E63CADD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"866a3f1238d2850b7c9d5ca61f5138ec7dbec895","datavalue":{"value":{"entity-type":"item","numeric-id":1344849,"id":"Q1344849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288136$EED68AB3-3ED3-4670-A556-660DDD2EFB0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049ee433aa0629bc8c6427ff5be297b884ff3a33","datavalue":{"value":{"entity-type":"item","numeric-id":1344849,"id":"Q1344849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a1812f76a0cbf4890c43b2407fdeb5b7a564e8","datavalue":{"value":{"amount":"+0.8506259918212891","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":"Q1288136$619CE598-2668-4E73-8E72-1F9FEAB74F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2ec128c3e87e0864330d49cdd4a8cea49c2b31","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa55bd897caad157bb6c561901a54e2a4949252e","datavalue":{"value":{"amount":"+0.7724053859710693","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":"Q1288136$EC54B931-14DF-4863-9E41-977DFB58C18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3616a815b829f9889df3e63ab8dcaa661234752","datavalue":{"value":{"entity-type":"item","numeric-id":2755496,"id":"Q2755496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf060c1eb416df497a235f1740b4cd294dca4bc","datavalue":{"value":{"amount":"+0.7292642593383789","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":"Q1288136$A04EBAB9-D364-4E14-803D-607EBB2C8B0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1288136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1288136"}}}}}