{"entities":{"Q2309490":{"pageid":2320233,"ns":120,"title":"Item:Q2309490","lastrevid":53698172,"modified":"2026-01-25T14:02:32Z","type":"item","id":"Q2309490","labels":{"en":{"language":"en","value":"Ordinal analyses for monotone and cofinal transfinite inductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184232"}},"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":"Q2309490$3B3FD346-CF03-4196-8B40-212D556089B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38f97a2c4ffaadbac1ac94994bb8f69d1518f2e6","datavalue":{"value":{"text":"Ordinal analyses for monotone and cofinal transfinite inductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2309490$1AE18F3E-4AC7-453E-AACA-3FB8F48367B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3e53bf76b2c97c4b61f89578dbb68aef7ce6107","datavalue":{"value":"1471.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$F6AF6FCA-C440-4ACA-AD91-C948FE03AC7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a662f6b5100ada57435ceb7f809f265febd4cb20","datavalue":{"value":{"entity-type":"item","numeric-id":481872,"id":"Q481872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$26FF8208-272F-4485-AF22-A67C4651300F","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":"Q2309490$2C790B78-EE52-4DAE-8942-B3922F8479A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae93340bb7a022b561aa0e536e029632aaf17ce","datavalue":{"value":{"time":"+2020-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2309490$12964FDF-6F4A-45DC-BFEB-B8D285848287","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"969e9b2e24a66290ecd19c13e2b1fc1c7fa7dc2d","datavalue":{"value":"It is known that, for subsystems of first-order arithmetic, the \\(\\Pi^0_2\\)-ordinal is less than the ordinal defined as the supremum of provable well-orders using usual transfinite induction. The author defines two weaker forms of induction (called monotone and cofinal) and proves that they are properly weaker by showing that the ordinal of those systems defined as the supremum of provable well-orders using those forms of induction is greater. Specifically, the main result of the paper is that for all \\(n\\) \\[|I\\Sigma_n|_{\\text{mon}}=|I\\Sigma_n|_{\\text{cf}}=\\omega_{n+2}.\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309490$B8960626-B70E-4F7D-9535-2144B0BCCE74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b9ca37f7fc6d09fa6bb1f61a6aca427793134a8","datavalue":{"value":{"entity-type":"item","numeric-id":331049,"id":"Q331049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$F3003162-0A3B-439A-8438-923519AD052E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$A2681D34-89FD-44DA-BBD5-AE9CDF18CA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$F3B1F40F-01A0-492D-9332-1CB48AB7E7F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1e47b405cec83321a4961fc287f93a06d5241b4","datavalue":{"value":"7184232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$900B1795-F9FE-4B6B-80CD-8F67A56A4BC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309490$7F0C3042-CCAB-4A0F-8ECE-75C7E320BD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfdda71b4edf43c911d8e8810480f5300b93a4f3","datavalue":{"value":"monotone transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309490$58F2B220-B6A5-493A-A02A-7CAA6F7F5133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc7f4889dce55e1b2ff9aab9a3ccdbeedffa409","datavalue":{"value":"cofinal transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309490$8CF80A71-7880-4DCB-AA7B-EDED63684497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2042cbf28cc438dee04f8334c2899cb6eaf812ab","datavalue":{"value":"structural transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309490$B0BE9EA2-C9C6-44F2-BD7F-1C4EF883331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7329150fe27681ac49436176e272e660b59210","datavalue":{"value":"boundedness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309490$667B94A7-2D0E-43D3-A1A3-C84570166239","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":"Q2309490$F1AA09EE-D9ED-4338-AE22-0BC025114D52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be1eb55091ac6195e002cd76ed920f1cfa4c99a4","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00688-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2309490$CD760DC5-B9DF-461A-A319-F7BC7666FADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb1f16574bcb29b13a196c7b1a8be219a564164d","datavalue":{"value":"W2967091698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$F3D4A107-AAFE-4F68-8DD7-FA48E7D1F067","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23af16c143a28b4ddcbadf98129b7f3d52151662","datavalue":{"value":{"entity-type":"item","numeric-id":5691043,"id":"Q5691043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$04BD93CE-45FA-4A25-958B-AA2E431F17B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$CBB90392-EE05-4EDD-862F-42712D661D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc73a70dd001645fc968e1b4f72588ad8356f401","datavalue":{"value":{"entity-type":"item","numeric-id":2557248,"id":"Q2557248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$443F3B8E-FA3E-4384-BC67-8ECD7D2A18A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1f7856b8b7a3320630526de761a863b8ae9bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5082051,"id":"Q5082051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$A81F7709-8CA6-47D6-ADB6-5B698B5C4824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bc7e03466df814914fe2e8ca23858cb8c7f103","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$8F042626-6A6E-4200-85A3-E345A28152A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4830dda9a2648384f9b75dcb8c79e2ec61cdf4","datavalue":{"value":{"entity-type":"item","numeric-id":599812,"id":"Q599812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$D18449D9-CE3A-4106-A6EA-F0FB2EBE369F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309490$52C5EFF9-A11B-43C3-A233-000B086316DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fbdcbfca622ce512fc1194c94d3a2a8d3966e8a5","datavalue":{"value":"Q127374361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$0FB25AC5-D452-4B5A-AABF-2E3044C36361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55dd0dfb8e05f0676cd0afd66cd0ccc317730e7","datavalue":{"value":"10.1007/S00153-019-00688-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309490$0919B5F5-859A-4474-BF17-B22D2DEAB7D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a83a408442c3db67858a210469ff123540b750","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76b346672e8e596f9d5eb647ed1005bc10dc61b","datavalue":{"value":{"amount":"+0.7716550827026367","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":"Q2309490$5248B7F3-E2F1-4F95-AF73-16E53234A21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadbab435941b611c5d47a5f1f384a42900c2339","datavalue":{"value":{"amount":"+0.7651621103286743","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":"Q2309490$B8006933-D06B-400D-8B76-FF5915F3B9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa4ce2a61f75700767d8851568f4f58fa199487","datavalue":{"value":{"entity-type":"item","numeric-id":4262583,"id":"Q4262583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c55338f5371ebd3de5efa0c3a54dfe73aec98e","datavalue":{"value":{"amount":"+0.7489267587661743","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":"Q2309490$2BDD2C7E-7F10-49B4-ADA4-56C48E37A9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed61c411ec4b693d6d36608c97770795414f4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1071019,"id":"Q1071019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573f5bf8803df9fa4d28c9ed5b9879f2d7d495e7","datavalue":{"value":{"amount":"+0.7489266395568848","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":"Q2309490$D5DF247B-9428-4E3F-9FFB-A805A3114EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14957959f6b1db0bc04038c15d61cb30210c9707","datavalue":{"value":{"entity-type":"item","numeric-id":958493,"id":"Q958493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4cac1b29e4e67dc869b964a2e70dcd94180201","datavalue":{"value":{"amount":"+0.7422439455986023","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":"Q2309490$2B582DF3-2D75-4CFD-8998-94CDDD5FF142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2309490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2309490"}}}}}