{"entities":{"Q1238797":{"pageid":1249547,"ns":120,"title":"Item:Q1238797","lastrevid":68273166,"modified":"2026-04-12T22:36:33Z","type":"item","id":"Q1238797","labels":{"en":{"language":"en","value":"Transfinite type theory and provability of second order formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3559518"}},"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":"Q1238797$DB636F02-C5AF-41CB-808C-5AA172D3F81A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1870770d170a82c3eef515072793d6f3837e43f6","datavalue":{"value":{"text":"Transfinite type theory and provability of second order formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1238797$49C4AF86-B402-4B6A-AB0F-E2AA4B28A9E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2b97a932f70ea7f24221b64455a3074499d55c9","datavalue":{"value":"0359.02007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238797$4C2667E1-A413-40E5-9900-1A7109EA73C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238797$1A8B97FA-2E26-410A-B059-197F67EC0AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1238797$BF56BAB3-4270-457C-A079-FE68D3A9347A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d26760303280bcdc857784d2362b590bf623dbae","datavalue":{"value":"Given a non-empty set \\(D\\), we can define \\(\\mathfrak D(\\alpha)\\) for each ordinal \\(\\alpha\\), in the following manner: 1.\\ \\(\\mathfrak D(0) =D.\\;2.\\;\\mathfrak D(\\alpha+ 1)=P^*(\\mathfrak D(\\alpha)).\\;3.\\;\\mathfrak D (\\alpha)= P^*({\\underset{\\beta<\\alpha}\\bigcup}\\mathfrak D (\\beta))\\) , where \\(\\alpha\\) is a limit ordinal. (\\(P^*(M)\\) denotes the set of all predicates over \\(M\\).) For each \\(\\alpha\\), we can consider the logic which treats, as objects, not only elements of \\(D\\) but also elements of \\(\\mathfrak D(0),\\mathfrak D(1),\\dots,\\mathfrak D(\\alpha)\\). The author gives a formal system \\(\\mathfrak H(\\alpha)\\) which is a formalization of the logic. The main theorem is, roughly speaking, as follows: Let \\(\\mathfrak P(\\alpha)\\) denote the set of provable second order formulas in \\(\\mathfrak H(\\alpha)\\). If \\(\\alpha<\\omega^\\omega\\), then \\(\\mathfrak P(\\alpha)\\subsetneqq\\mathfrak P(\\alpha+1)\\) .","type":"string"},"datatype":"string"},"type":"statement","id":"Q1238797$F406EB86-D7F2-4A63-9EA6-D7E869F28567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238797$D0ACED4F-A8E1-4C92-BBD4-C5294FF645B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e047e3e080edd8cd8a10b4c8993b8073f8051b01","datavalue":{"value":"3559518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238797$28A3FBEA-91C3-42A4-8D45-3F8689FA7566","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b0df8cc476d314f14ae0e212e63b60a4094122d","datavalue":{"value":{"entity-type":"item","numeric-id":585197,"id":"Q585197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238797$78628BA8-B3C0-4164-9F76-3DB224C6FD12","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":"Q1238797$BF10C296-57D6-4A34-B888-AA96F56A378B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49595abf143f5f86cc2b8c8a3c3594c6f8efab0","datavalue":{"value":"https://doi.org/10.2969/jmsj/02940633","type":"string"},"datatype":"url"},"type":"statement","id":"Q1238797$F0D82666-02CB-4D44-94F2-B4D7CAB4706A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5a54195440b7f5114168569182ecbe9baa83489","datavalue":{"value":"W2162334970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238797$2EE7F35C-4E1E-4630-A4B0-7D4D3F267F07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cc36c7b298c05486f395437dd45717583f1463a","datavalue":{"value":"10.2969/JMSJ/02940633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238797$852BD2DC-6C30-4973-9A0F-6597CF36F5D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cce920360744d9d3626ff4767dcbfc4d1e4fce","datavalue":{"value":{"entity-type":"item","numeric-id":2945651,"id":"Q2945651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a7f0f21c5e103b794015d54cc2eda3f26d639b","datavalue":{"value":{"amount":"+0.91173106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$35406150-E12A-4067-A3DE-0542D8DB39B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eec0aa153882dd29289a95eae78a8b5607a35a","datavalue":{"value":{"entity-type":"item","numeric-id":4645814,"id":"Q4645814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b192a6273ed5fa3ee113c4004ded10f8028475a7","datavalue":{"value":{"amount":"+0.907096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$FA0F87D0-7C3A-4451-9AB2-9754AE195732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234a4596465ea31e00245da18ccd8e2692e13815","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d683820ea47ec28c563acd540d108c3c922d5ff","datavalue":{"value":{"amount":"+0.89710516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$04FBA7B6-5691-4A01-B30E-103B14F460B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a733e3d92ec546b296e1fcc85e833e0274322cfc","datavalue":{"value":{"amount":"+0.8954656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$49D776D1-2A1C-4BB0-B5BC-E74AC86E320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f270c12737ffe577c5e63e57277fc1b5c6eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":4362916,"id":"Q4362916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f23a8b823040e5c038e4c124762bd8b6cdf6af","datavalue":{"value":{"amount":"+0.89452064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$E33BD93C-7294-488F-B239-2CA1ABED4D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371bdefbc7d26a872e6752b3d62fc9ba2e00e071","datavalue":{"value":{"entity-type":"item","numeric-id":3832535,"id":"Q3832535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37abf719914b91767ffd196c1567a290ab9f0ab4","datavalue":{"value":{"amount":"+0.8939768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$ACED977D-1BA5-4095-BAC2-5207C39EB2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920cea9b47420f3404cc2d0764270e98aa7d1cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3995928,"id":"Q3995928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37abf719914b91767ffd196c1567a290ab9f0ab4","datavalue":{"value":{"amount":"+0.8939768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$201F4171-8B4A-4D6F-A964-BD979C4D131D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabf0f710b3d5aded49f6b80fde50ad8bbbc231d","datavalue":{"value":{"amount":"+0.8922157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$682EE372-F5DB-4DF8-A5D6-2C0E96EBC265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2a627e29f2871ae1ff628bc0545f5102ac3722","datavalue":{"value":{"entity-type":"item","numeric-id":3612441,"id":"Q3612441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1c6f741c9df23121a1a99fcd6b358ab4688245","datavalue":{"value":{"amount":"+0.89173114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$18954641-55C0-4DCF-AD75-5C1BDF93D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ab48e658f70ed8cd0b2468a72322822fb127df","datavalue":{"value":{"entity-type":"item","numeric-id":1687749,"id":"Q1687749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14cbe474b5cd34170aee12d48a09f4778fa8f16","datavalue":{"value":{"amount":"+0.8913934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1238797$B81BF0B1-5B8D-4D12-BE13-516B731D20E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transfinite type theory and provability of second order formulas","badges":[]}}}}}