{"entities":{"Q1423636":{"pageid":1434376,"ns":120,"title":"Item:Q1423636","lastrevid":67414497,"modified":"2026-04-12T17:28:04Z","type":"item","id":"Q1423636","labels":{"en":{"language":"en","value":"Intuitionistic weak arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051463"}},"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":"Q1423636$FF79227A-4088-46C4-A4AA-E8D810B5E840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f71d316c49db8e029a7a7d2af584fffca6eb706","datavalue":{"value":{"text":"Intuitionistic weak arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1423636$778A24A7-1AC1-4D6E-849E-081EE9854DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31d55b8fb7c799efae74e24bd4fb93ead3381302","datavalue":{"value":"1041.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423636$A1BC745B-5503-4004-8314-5C3FD625BDAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423636$04FBA99F-70EC-4A83-A470-01553BC00711","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":"Q1423636$EC6F3846-28D1-4C80-827E-06AFC266250A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1423636$2F27851F-8E77-4680-AAA7-88D7EF1355FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73d5e81a05a026a6e7315fdd03ed92b4dc60a742","datavalue":{"value":"The paper is devoted to the study of some weak fragments of Heyting arithmetic and Kripke models of them. \\(\\omega\\)-framed Kripke models of \\(i \\forall_{1}\\) and \\(i \\Pi_{1}\\) are constructed none of whose worlds satisfies \\(\\forall x\\;\\exists y (x=2y \\vee x=2y+1)\\) and \\(\\forall x, y\\;\\exists z \\text{ Exp}(x,y,z)\\), respectively. This enables the author to show that \\(i \\forall_{1}\\) does not prove \\(\\neg \\neg \\forall x\\;\\exists y (x=2y \\vee x=2y+1)\\) and \\(i \\Pi_{1}\\) does not prove \\(\\neg \\neg \\forall x, y\\;\\exists z \\text{ Exp}(x,y,z)\\). Therefore, \\(i \\forall_{1} \\nvdash \\neg \\neg \\text{ lop}\\) and \\(i \\Pi_{1} \\nvdash \\neg \\neg i \\Sigma_{1}\\). It is also shown that \\(\\text{HA} \\nvdash l \\Sigma_{1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423636$E6D1E8F3-9B70-47FD-B191-47538DFDC033","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423636$19C520B2-7A1D-4E59-A960-496A47CD46D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423636$3435CF1B-5D0A-45D6-96ED-582163C745EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"328b4aa4a3b4dc86e1d9c5925dba3b9b982f7891","datavalue":{"value":"2051463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423636$3F0965B3-AB2A-41EF-AB94-930B065049EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0737eac123e6b5c09867e7a388b050fbf63553ac","datavalue":{"value":"weak fragments of Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423636$A44512D6-7521-45A0-8323-5AC5CA47CA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423636$C4CCC265-86AF-41FD-AD9E-9224D153DC21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423636$4B6A6ACB-514E-4A4A-ACD1-570441ED9283","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":"Q1423636$FD5ED672-8B46-4D15-BEFD-00C9D37C1E71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aac7f98bab5d3da7c34864eea186a39667de912","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0189-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1423636$F01BED89-AC7E-4E22-A0FF-8AF814B43825","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53513542b1ba208594b6a8006839cde2588b8783","datavalue":{"value":"W2010197402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423636$E1471CC8-44D4-43DF-8215-B1D0F9F2BECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43366413d1c4926e047816794ae89c85d46deab4","datavalue":{"value":"10.1007/S00153-003-0189-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423636$95D08733-2397-4680-B6D5-E58C6261A078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb7133e771050e21801a6501e8a41f7db81b063","datavalue":{"value":{"entity-type":"item","numeric-id":5941252,"id":"Q5941252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d401b2568759b718aaf6ae7f3f241e0274c8f0","datavalue":{"value":{"amount":"+0.93767816","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":"Q1423636$B77E558F-1B3E-4A3E-8F07-0BDEE3274CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60ab17b613d293b1cf126d5d07e697b37cd4f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1204675,"id":"Q1204675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689e74d0b326bf7420fb5157728813ce33643ab2","datavalue":{"value":{"amount":"+0.9105445","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":"Q1423636$8561ADA1-2BF8-4B2A-B00A-85EC1D56D9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdfe9e8d4e40a77511aa05163b15c6ac721e36d","datavalue":{"value":{"entity-type":"item","numeric-id":4644547,"id":"Q4644547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82968747c16fa913ad3e46011be7e4cbec89d35d","datavalue":{"value":{"amount":"+0.8992229","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":"Q1423636$F4EE6BC7-FF5F-4D6A-B985-2FE494AB5F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfacc80ecd655cc1d57511fa5965298f1c1ce26","datavalue":{"value":{"entity-type":"item","numeric-id":3362546,"id":"Q3362546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1788d68b3249d34195d45b42353020bbccf9a8d","datavalue":{"value":{"amount":"+0.8971622","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":"Q1423636$27A0165D-5B52-4719-B9F2-717640DB4855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645e3bb1851c7c974ad4a07cc7fc9d132f6f344a","datavalue":{"value":{"entity-type":"item","numeric-id":5941732,"id":"Q5941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639fa8802894ac70836fd8b864f5ed066a85b467","datavalue":{"value":{"amount":"+0.8936063","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":"Q1423636$A208AA16-94D2-4FB0-99A0-B48A916DCAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ccbeec96c5d7e172017843c51615aa2ec25284a","datavalue":{"value":{"entity-type":"item","numeric-id":3081588,"id":"Q3081588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1457f83003472ccc7bc9bf57a229b3f8622187","datavalue":{"value":{"amount":"+0.89350986","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":"Q1423636$69413728-3B6E-43D2-A9D2-70ADDEC2DD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4d778a45554899fd88a9d813e612852d159fc","datavalue":{"value":{"entity-type":"item","numeric-id":5711876,"id":"Q5711876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a006e6812a5ac677c29d905c8a3761421b9b549","datavalue":{"value":{"amount":"+0.88590646","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":"Q1423636$67E7BFCD-7F91-4250-809C-120CA5433D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba5e2dcc44965bf730a7b641892b0f206ac96bb","datavalue":{"value":{"entity-type":"item","numeric-id":5108030,"id":"Q5108030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8966d1c1fd0c6f056ffb94ff4b4fd86aaabecc7a","datavalue":{"value":{"amount":"+0.88273543","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":"Q1423636$E232C698-8234-4A69-AADC-02D9C0A48358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dddef22978459d2b01a999c49af777dfeea14e0","datavalue":{"value":{"entity-type":"item","numeric-id":3612622,"id":"Q3612622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2350732e6f0cc1b3ecbb3505d03aa395f05c00f2","datavalue":{"value":{"amount":"+0.8827057","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":"Q1423636$311A30A8-7150-4998-B106-18B228B23E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d802eeaa9173d1e2d1e827bacb320b5b1e808395","datavalue":{"value":{"entity-type":"item","numeric-id":2776821,"id":"Q2776821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8fd575342eca641c2c6c99f96cf8c5a21dcfbb","datavalue":{"value":{"amount":"+0.87844193","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":"Q1423636$B82A0644-B697-478C-802B-FE3D1AB94552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic weak arithmetic","badges":[]}}}}}