{"entities":{"Q751653":{"pageid":753502,"ns":120,"title":"Item:Q751653","lastrevid":64099401,"modified":"2026-04-11T17:37:57Z","type":"item","id":"Q751653","labels":{"en":{"language":"en","value":"Some new double induction and superinduction principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177044"}},"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":"Q751653$93763AED-C9A6-44F6-8EFE-E3C0D649B32D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1048f718bc5aef58889a052cf9f81c3c750f53ae","datavalue":{"value":{"text":"Some new double induction and superinduction principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751653$85884574-C91B-4C50-9452-CDC8A10362F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7388efed33d451106ec06944ae12de6c08d46feb","datavalue":{"value":"0715.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$D3E40ED4-A183-4B21-9D69-BD92D54FCB5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"445b969d9e1e5f2b75266e007691d333fdb69dc9","datavalue":{"value":"10.1007/BF00401551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$830EA0F3-F1EC-4F04-B7AA-1B84F5D81201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a2f7ca31fdcd096abc81592affc30e76a533f64","datavalue":{"value":{"entity-type":"item","numeric-id":354135,"id":"Q354135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751653$B563C7D0-7C12-4675-84A4-D4FFFC2B8A64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751653$2671C4FF-DFF1-4864-B0DF-0C94B6981484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q751653$927F0C6F-3AA2-4907-8E19-0A31A310499B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f233ece0dc1c50226380c13662a59968853b8142","datavalue":{"value":"Let U be a class, \\(a_ 0\\in U\\), G: \\(U\\to U\\), \\({\\mathcal D}\\) a class of subsets of U, and \\(\\Psi: {\\mathcal D}\\to U\\). A subclass B of U is said to be superinductive (with respect to \\(a_ 0\\), G, \\({\\mathcal D}\\), \\(\\Psi\\)) if \\(a_ 0\\in B\\), B is closed under G, and \\(D\\subseteq B\\Rightarrow \\Psi (D)\\in B\\) for every \\(D\\in {\\mathcal D}\\). If a superinductive class B has no superinductive proper subclass, then B is said to be minimally superinductive. The principal result is the following Theorem B: Assume M is minimally superinductive with respect to \\(a_ 0\\), G, \\({\\mathcal D}\\), \\(\\Psi\\), and that R(x,y) is a relation on M satisfying the following conditions. \\(D_ 1:\\) \\(R(x,a_ 0)\\) for all x in M. \\(D_ 2:\\) For all x, y in M, if R(x,y) and R(y,x), then R(x,G(y)). \\(D_ 3:\\) For any x in M and any D in \\({\\mathcal D}\\) such that \\(D\\subseteq M\\), if R(x,y) holds for all y in D, then R(x,\\(\\Psi\\) (D)). Then R(x,y) holds for all x and y in M.    Now, assume that \\(\\leq\\) is a partial order on U such that every linearly ordered subset of U has a least upper bound in U. Take \\({\\mathcal D}\\) to be the class of linearly ordered subsets of U, and, for each D in \\({\\mathcal D}\\), let \\(\\Psi\\) (D) be the least upper bound of D. Moreover, assume \\(x\\leq G(x)\\) for every x in u. Then, using Theorem B, the author proves that any class M that is minimally superinductive with respect to \\(a_ 0\\), G, \\({\\mathcal D}\\), \\(\\Psi\\) must be well-ordered under \\(\\leq\\). This corollary is essentially a theorem of \\textit{R. H. Cowen} [Notre Dame J. Formal Logic 12, 62-68 (1971; Zbl 0177.014)]. As in Cowen's paper, the author did not use the replacement axiom in the proof. Theorem B extends a result obtained previously by the author [Trans. New York Acad. Sci., II. Ser. 28, 175-185 (1965; Zbl 0309.02066)] that provides a uniform approach to the well-ordering principle, Zorn's lemma, the transfinite recursion theorem, and various properties of ordinal numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q751653$317C0EE8-E6B1-4227-81E1-279EDAC83242","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751653$109D2687-078B-46FA-92D3-2219C40A75BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$F4F275C0-2916-4D8F-8162-4661D984C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$FF3B1723-A847-4E3E-BBB7-9A409CF27AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$0A2741A1-60C9-46A4-B1A2-2E11B5B6A4C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d80ab8c0a36ee740b010de63f9c8d93bd0a68d53","datavalue":{"value":"4177044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$405A2F9E-C383-4FBE-9DB6-3B11C56B1E64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q751653$0E236C2A-3BEE-4801-AE22-15A18C8BF383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412e5b28feafa59d08f67b1023d7b50d7507350c","datavalue":{"value":"superinductive class","type":"string"},"datatype":"string"},"type":"statement","id":"Q751653$F02397E2-FC4B-47B4-9BF6-4DF28D5C3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q751653$B1C5B91E-66FB-43DD-BCBA-B9B1E1A5A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c4b162ee3301a123a278cf4bf71887e460f0b5","datavalue":{"value":"ordinal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q751653$4ABF97FF-05B9-4082-B7B5-3FE5672CF9D7","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":"Q751653$F1FEFEDD-6925-4E2A-9A18-69917D69FA79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cdd6ba2be996bd6c8a9ddeb2605846463092543","datavalue":{"value":"https://doi.org/10.1007/bf00401551","type":"string"},"datatype":"url"},"type":"statement","id":"Q751653$7504C8FE-DC75-4F25-A91D-C374AE168828","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52f93eddda4774b77da9cc73a31ed1e322faf61b","datavalue":{"value":"W2019823136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751653$DF4B7CF5-8BBE-4AFC-BD08-5958EF4AD9AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2393e8b6f5244b34f00c4ef85661e72dfed6b75","datavalue":{"value":{"entity-type":"item","numeric-id":1916073,"id":"Q1916073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a4c0e435dc02920a283663c8de706ba0a457c0","datavalue":{"value":{"amount":"+0.6720631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$5AA27554-BEA8-4323-B9A9-AFC4BE0B87DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ee8ee688337f5c657f9f644943c883ce61d8e1","datavalue":{"value":{"entity-type":"item","numeric-id":2884111,"id":"Q2884111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc28e811954075f44ea825744777ea9b7b3ca36f","datavalue":{"value":{"amount":"+0.63965756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$63BF4BD2-5775-47B2-AA2F-5CDD20E6EAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e66d3acc5cef9d775274c18e7f809a95051c865","datavalue":{"value":{"entity-type":"item","numeric-id":3028988,"id":"Q3028988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49680edf1c471ed025232b87d91a7311211f7a1","datavalue":{"value":{"amount":"+0.62495935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$0A314497-A5F8-4A64-9205-DC2EAF6C7D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfe5fe982352b0bcf985dfcc9c7cc9cadcb1800","datavalue":{"value":{"entity-type":"item","numeric-id":3794163,"id":"Q3794163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbdcce5698bade05d000229498b0880631b49b9","datavalue":{"value":{"amount":"+0.6226742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$67F0C097-E2D6-4DC9-8EC9-F866AC1DCC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7de84cbe129b840b92cc65570f3cf2c067cd451","datavalue":{"value":{"entity-type":"item","numeric-id":3348948,"id":"Q3348948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc8892b471d574f94bc74a5c2e18a9b7584b0be","datavalue":{"value":{"amount":"+0.62123644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$A93EEF3E-5E37-42F4-8D78-B84968B8C505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c136c97b9d71dff23452c2d66a250ae9aed907","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cebfff993f06503dc15004e2c5fbe10f243c7b","datavalue":{"value":{"amount":"+0.61737794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$56C40A4A-D0BB-4E14-804F-5157DA3B407B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da215d93e2c446edb9400a9dc3b5bd827b64fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":3778743,"id":"Q3778743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9d5d02c5ba152cf57187d957c74a780e72fc7b","datavalue":{"value":{"amount":"+0.6152698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$8598950D-CCC0-43D4-95CC-7491662EB7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812149687ec564cb5552390321cda2471001d7fd","datavalue":{"value":{"entity-type":"item","numeric-id":2703275,"id":"Q2703275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95030bc114b7438865450b3131eb9699002b216","datavalue":{"value":{"amount":"+0.6076738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$1F6D2331-8CF9-4E20-848B-8DCCBD5E072A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4221ffdf589c954c3eb55b13e58485e1927659a","datavalue":{"value":{"entity-type":"item","numeric-id":2720327,"id":"Q2720327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb63f23d216b230c48889937dfff499db89a76e5","datavalue":{"value":{"amount":"+0.6066368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$6EF1C2F1-965C-4493-84E0-DDAAFB2AFF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958c56e7b63667d71464c11ce7400c84583a3c52","datavalue":{"value":{"entity-type":"item","numeric-id":4523415,"id":"Q4523415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc4fee169e02f581d651581788b44f660151646","datavalue":{"value":{"amount":"+0.60367954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751653$33816F9E-FBA9-4AC8-BD2B-2C369E360817","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some new double induction and superinduction principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_new_double_induction_and_superinduction_principles"}}}}}