{"entities":{"Q913788":{"pageid":915636,"ns":120,"title":"Item:Q913788","lastrevid":65336412,"modified":"2026-04-12T01:53:08Z","type":"item","id":"Q913788","labels":{"en":{"language":"en","value":"Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148078"}},"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":"Q913788$B4111273-618B-4A07-887B-59FA28255AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14a5b46de14f4e0cdd3902a202d8cda2701a72d3","datavalue":{"value":{"text":"Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913788$9AE62BDB-10BE-4CC3-A3B8-44C2B7EE0109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3ab3e230c07e61830ea7acb2b34b5c0ced374f6","datavalue":{"value":"0701.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913788$663452CC-DA82-4499-B36C-18BE1F1B0211","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9cb1c6835cbdcff6c91be3c5235841aecfa02b7","datavalue":{"value":"10.1007/BF01620619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913788$46EABF2A-264F-46CD-A88E-F878BFFBAE78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$9FE592B2-43DE-4019-883B-FFB2CF603D36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$50C47D9B-8836-4581-B35E-45D3A16F8B2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q913788$F65EBA9F-08EC-466A-AC1D-5AED8359E7E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d6dd5ad5ea897de914d5fecc7b93524ab7da1c2","datavalue":{"value":"[For Part I see Logic and combinatorics, Proc. AMS-IMS-SIAM Conf., Arcata/Calif. 1985, Contemp. Math. 65, 25-53 (1987; Zbl 0634.03057). Part II is reviewed above (see Zbl 0701.03027).]    Recently, some strictly mathematical statements about natural numbers have been discovered which are true but not provable in PA (Peano arithmetic) [cf., e.g., \\textit{L. Kirby} and \\textit{J. Paris}, Bull. Lond. Math. Soc. 14, 285-293 (1982; Zbl 0501.03017); \\textit{J. Paris} and \\textit{L. Harrington}, Handbook of mathematical logic, 1133-1142 (1977; Zbl 0443.03001)].    In this paper, by using methods of \\(\\Pi\\) \\({}^ 1_ 2\\)-logic [cf. \\textit{J.-Y. Girard}, Ann. Math. Logic 21, 75-219 (1981; Zbl 0496.03037)] and results obtained in Part I about decreasing F-sequences (F weakly finite dilator), we present a general method which enables us to obtain strictly mathematical statements about natural numbers which are true but not provable in (some extension of) PA. - Moreover, through this general method and by using a functional construction of the Veblen hierarchy [cf. \\textit{J.-Y. Girard} and \\textit{J. Vauzeilles}, J. Symb. Logic 49, 713- 729 (1984; Zbl 0568.03027)], we show another combinatorial theorem not provable in PA and the first example of a combinatorial theorem not provable in PA \\(+\\) ``truth definition for PA''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$6E09BD5A-04EB-447F-AEE9-CD96DC886410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913788$452EA1AB-FACD-423D-B720-E1B5904E23ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913788$F5704B50-398E-49FE-8AFF-0E47918E33C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c387028d48fa9adb176b2a0ba305d35606f8fd","datavalue":{"value":"4148078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913788$7AB8ECE8-A5A3-4F8F-B921-5240F41D3BDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea81f57e0ef33a9a8c3ea04449dbb97b8f77dfe0","datavalue":{"value":"\\(\\Pi ^ 1_ 2\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$351F1081-CFAD-47D6-BCF0-3CB203EA3171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b12939eee3b78b3ad6e7d87519522f3cd260fd","datavalue":{"value":"decreasing F-sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$3F9BE021-4DE9-4CBE-A6C0-A78849968F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616dcf56cf1bff2832b3ab85f518d50cdb6f9470","datavalue":{"value":"weakly finite dilator","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$3960AFA4-570A-479A-A588-DA8CD60CB5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d934766228ec6127b2f1da32b16cede5edf20f","datavalue":{"value":"strictly mathematical statements about natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$EE2CCEAC-484E-4654-AB55-AC694CC02578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702e0f09fd46f4ba42d2b868ba15e1601964ad57","datavalue":{"value":"Veblen hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$DAA69AFF-6C27-4A86-9420-FDE9D32677D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074f5758864f5ffc56909fef4716e44544635264","datavalue":{"value":"combinatorial theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q913788$3AEDA3BE-E410-44A9-8F4A-2BACAFE49C3E","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":"Q913788$8679AE4D-7FCD-475D-BB17-A611FF5299DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691ac196b0389411d785abd2bd09fbf4b8449bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3772213,"id":"Q3772213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$BE0F4F6E-9C0B-4009-9F25-AC3F920E6D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a7a9ac04ef15fb977c0cfc98bbb8dcfac3e91d","datavalue":{"value":{"entity-type":"item","numeric-id":3772214,"id":"Q3772214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$156072AD-3B2D-49B8-92B8-F6806F73AFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$DF9CED9B-C111-4337-B848-946C389B4C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$8A3C538D-7E3D-4D9F-A80F-3A162900F9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241b192b59afef255b1d3b82606e86f5c662465c","datavalue":{"value":{"entity-type":"item","numeric-id":3684117,"id":"Q3684117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913788$2BF1BC6B-4309-42C0-B57F-1AF331C35664","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":"Q913788$98DED2C1-8B60-46A0-ACF3-391F872F7BDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5da997926fd9ce18b4ad97bfbe5c916985e273bd","datavalue":{"value":"https://doi.org/10.1007/bf01620619","type":"string"},"datatype":"url"},"type":"statement","id":"Q913788$DE575B46-65CD-42E8-A149-12212C04F6C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00e40547f597400f60774471a6472591f790a432","datavalue":{"value":"W2166839723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913788$0B4AB76B-ED74-4102-B424-3AC6C00B2D3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a9b1cf65302467980c6614af2d6d306aa391dd","datavalue":{"value":{"entity-type":"item","numeric-id":3772214,"id":"Q3772214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97e0711c797a8eeee8cee032da4d8df9d9ffccc","datavalue":{"value":{"amount":"+0.8570582866668701","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":"Q913788$72E89332-E102-48EE-BA02-08949654C10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94279d17bad506552f99edd1fa615dbf0fb0d9e7","datavalue":{"value":{"entity-type":"item","numeric-id":3744157,"id":"Q3744157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefe22ccc10ff9d88700bde96253f05a1003af62","datavalue":{"value":{"amount":"+0.8204894065856934","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":"Q913788$366C5B62-96BB-4B16-978A-028ED2CAFA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6adff1562f7cd92ed56db7e18c65c3e7e64970","datavalue":{"value":{"entity-type":"item","numeric-id":3772213,"id":"Q3772213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6ecd8acc77551e1e48bb36f212d67c11cf860b","datavalue":{"value":{"amount":"+0.8053684830665588","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":"Q913788$6455EDDB-81E1-4CA8-A6DB-67DE9FF8B4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecb38442a74ec85fd4689b92c2dd051cdb6bbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3335777,"id":"Q3335777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad721f8cbbf149e10756e6aaa12b719c0fe0b56","datavalue":{"value":{"amount":"+0.8044854402542114","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":"Q913788$869643DF-769D-40D4-9F42-3B12E3877C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d7a379c15ef732521b23d5884175f53e5b9777","datavalue":{"value":{"entity-type":"item","numeric-id":4323034,"id":"Q4323034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3174b23b757422f0d302bbe5e6c7cd3505d8176","datavalue":{"value":{"amount":"+0.801814079284668","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":"Q913788$3F4F4204-6474-4DC1-9C3A-6850AFD535AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)","badges":[]}}}}}