{"entities":{"Q2287392":{"pageid":2298135,"ns":120,"title":"Item:Q2287392","lastrevid":43824123,"modified":"2025-11-14T19:42:00Z","type":"item","id":"Q2287392","labels":{"en":{"language":"en","value":"Generalized realizability for extensions of the language of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7153899"}},"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":"Q2287392$725761AD-D9D9-47F2-9827-91778B6934B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a76670afe9e7454888ecc6d02aa57d95aa02402","datavalue":{"value":{"text":"Generalized realizability for extensions of the language of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287392$7A3AB143-6010-4775-9849-2BAFCCC4C6F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e32ade10d8bef2df51dc9825c466476b56b6067","datavalue":{"value":"1454.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$4664B344-FCB8-41C4-81AA-D78EAD504E0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a654784118d539a4b5bf224e81edf148652f808","datavalue":{"value":"10.3103/S0027132219040065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$DC73D317-D360-4BEC-A849-18A47181FC7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$A381405C-0DD2-4FB5-8450-257945A27689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1edc8f8d7871fd6125d8f3ee3a75e4a85cf754ac","datavalue":{"value":{"time":"+2020-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287392$2F594D14-2428-4DFB-87C9-21D619DEFD81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33b792d4abd8cafb3edf10ffc5b763740289dc8a","datavalue":{"value":"The notion of \\(V\\)-realizability is introduced in the  paper for  a language \\(L\\) that contains the language of classical arithmetic, where \\(V\\) is a class of number-theoretical partial functions. This is a generalized realizability, in the sense that the functions used for realizing the implications and universal quantifiers of \\(L\\)-formulas are chosen from \\(V\\). In the framework of the paper,  the implication and universal quantifiers are both of the form \\(\\forall\\vec{x}[A(\\vec{x})\\rightarrow B(\\vec{x})]\\) for a possibly empty tuple \\(\\vec{x}\\) of variables; the idea is taken from the basic quantifier calculus of \\textit{W. Ruitenburg} [Notre Dame J. Formal Logic 39, No. 1, 18--46 (1998; Zbl 0967.03005)]. Negation is defined as \\(\\neg A = [A\\rightarrow\\bot]\\). Now, the \\(V\\)-realizability of atomic \\(L\\)-formulas is equivalent to their truth in the standard model of natural numbers; for conjunction, disjunction, and existential quantifier it is defined as usual using the pairing (and their decoding) functions; and for the implication-universal quantifier the realizing function is chosen from the class \\(V\\).  The main result of this short paper is that (i) if \\(V\\) contains all the \\(L\\)-definable functions, then being \\(V\\)-realizable of an \\(L\\)-sentence is equivalent to being true in the standard model; and (ii) if \\(V\\) does not contain all the \\(L\\)-definable functions, then some \\(L\\)-sentence of the form \\(\\forall z[\\varphi(z)\\vee\\neg\\varphi(z)]\\) is not \\(V\\)-realizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287392$1594BF02-2519-41FB-93D3-1D21274E6A56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$4E8F3610-3291-4843-B5C5-24CC2484935D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$74368FF3-F2E5-47FA-B501-13B5C7B440C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$9CF00616-CFD5-47B5-955C-4FE4D312AD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$7E35D722-10C1-4FCF-87DE-E2270779765F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2348b74bb45b65f1d81370141b3159f6c6ac5db5","datavalue":{"value":"7153899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$3714AF6E-C5A5-4EC4-8CF9-902EEA05E138","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287392$223D15AC-5B07-43A5-94B2-4DDA5B6A5A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287392$0D9FF950-B3D6-41CB-BA7F-A2AC2389AE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287392$9B902234-9B56-457E-8E78-7ABEA4494C4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$EA3F4938-B295-4832-B86C-F1384CB00CB8","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":"Q2287392$27B90FBA-2160-49C7-B5F7-1C48C3D68360","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f48b6246fe81522ee5d745f52672c0588bbdbc0","datavalue":{"value":{"entity-type":"item","numeric-id":268079,"id":"Q268079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$F249FBA6-8B79-47AB-B1BE-52B1B8F4D892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3fd1ab25f136d43b99edfd9e9c2d934b7d51142","datavalue":{"value":{"entity-type":"item","numeric-id":297665,"id":"Q297665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$B6D8D091-A915-4FE8-AAD9-EA4ED20766D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fee8983891707bf6bf31f0a354748ef0e2126b7","datavalue":{"value":{"entity-type":"item","numeric-id":4808473,"id":"Q4808473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$821B830C-6EC7-4410-80E8-6ADDADEF0640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287392$59F914F5-4D82-4205-9B10-DDAA72FF5F41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63329c30258f69d06f0e1ce9e034be1d7a274c43","datavalue":{"value":"https://doi.org/10.3103/s0027132219040065","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287392$75DC2ED5-01F4-4213-853A-32BF2DDC7B91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff1ff2584cba15ced20a9634cfed4c7496f0b672","datavalue":{"value":"W2970314527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$BE722C70-FD59-4E1A-82DC-9C2D28E3599B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4801d487aa158b1e6be270a058ace040e24d653","datavalue":{"value":"Q127322282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287392$008C3112-CDAE-4CCD-B0F8-CACA975D16E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9f903e8936865bfd264bb778af6be43fb26bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5056354,"id":"Q5056354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706858f077a02bd83b761cc334a85e17d369e051","datavalue":{"value":{"amount":"+0.8075346","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":"Q2287392$CB3BDA9B-CB46-4D9D-BC96-FD7C4B4CD1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace8e346ecef3333a5a970819d17a94bddb1b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5886518,"id":"Q5886518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3af0e002ce8754899301ad778f3bf3481625803","datavalue":{"value":{"amount":"+0.77610517","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":"Q2287392$BF82118F-5E02-4BE4-822C-EFEFAEF72B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4472ad35aa4f4e4d05625bc16c51fcd81f89e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":3980271,"id":"Q3980271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7af5aaf42ff3c3e28b77dc95f8f60f7ee3cf69","datavalue":{"value":{"amount":"+0.75578094","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":"Q2287392$274B826A-7E59-4F0C-99D9-12B4FDD2BA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bd06838364e417808839d3cc7ceb7d065837a0","datavalue":{"value":{"entity-type":"item","numeric-id":1762729,"id":"Q1762729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44ae9a2551bb37f42a8827238427d4e438ad42d","datavalue":{"value":{"amount":"+0.7520324","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":"Q2287392$2A621328-4F45-42A0-856E-5A473F02BF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3611978b892fa24a17f5670e0dc08da7f46164dc","datavalue":{"value":{"entity-type":"item","numeric-id":4391177,"id":"Q4391177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13799d70dd87cbb2a50c2209f1b4884bc7a1163","datavalue":{"value":{"amount":"+0.7498115","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":"Q2287392$471F9B22-6F88-4DC0-8DC1-2B15A3A6E026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085c8b493a54e3301ecacda6c1b26197aa9f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a020c99dfc3e2261c130eccdc757e21a708a60a9","datavalue":{"value":{"amount":"+0.74831915","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":"Q2287392$A7033258-9045-47D8-A94A-72FF8B5AC482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e8845feb7cb7d86710529a1a30f08ad8f27eba","datavalue":{"value":{"entity-type":"item","numeric-id":4808473,"id":"Q4808473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfb2c171ed4aeb60e03b35b6838974cdaa2d1e0","datavalue":{"value":{"amount":"+0.7427254","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":"Q2287392$F81FC948-C2E6-4683-851C-287E76CD41F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059b1678253fd54ba677df94f1a3085bd2053768","datavalue":{"value":{"entity-type":"item","numeric-id":785957,"id":"Q785957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5316324726f468999c1f034efb950b5c766479e","datavalue":{"value":{"amount":"+0.7404123","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":"Q2287392$C8EED53E-ACB4-40FD-BED5-BABCB05BCA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16803f0e6f4798a1e6336ccca263993fdcd5731a","datavalue":{"value":{"entity-type":"item","numeric-id":3418085,"id":"Q3418085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc385d80c5253405f94d48a8bf4912bf4613c345","datavalue":{"value":{"amount":"+0.7398814","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":"Q2287392$3721A475-B119-4CB8-92DD-D41E2BCF9B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eabf2d7cc31c5ea584b0ffcad2471c34535138","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ed2f6e71f613e45575277e8da17c7412daf348","datavalue":{"value":{"amount":"+0.73877394","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":"Q2287392$6D0D9735-7A34-4AC3-8104-FEF7031CBCD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287392"}}}}}