{"entities":{"Q797576":{"pageid":799424,"ns":120,"title":"Item:Q797576","lastrevid":64408818,"modified":"2026-04-11T19:40:10Z","type":"item","id":"Q797576","labels":{"en":{"language":"en","value":"Finitary consistency of a free arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867320"}},"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":"Q797576$5A6E6C1A-3D3A-4B51-87D2-2CDE5D70114F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7beca64a377a9ea682037182f5e8a485a33f36d","datavalue":{"value":{"text":"Finitary consistency of a free arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797576$F263616F-D76D-43B6-BD53-5FA63F7EAD57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdb8cd5a0c5fb54e5d46bc8ffa8b10ddfce23e2e","datavalue":{"value":"0545.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797576$3F55EB78-E651-4955-8DC6-44909A7454B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ae249fa1a870d4bc9a5dfcd970b2a3b278c0338","datavalue":{"value":{"entity-type":"item","numeric-id":797575,"id":"Q797575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797576$80CF238D-509B-4113-9BC2-6958CA80286D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797576$F9251275-1DA6-4234-B94D-B1C9B2AC387F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q797576$B46A9EF8-777B-4EF1-8424-4169928FC17D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa2053a9d217651c61736b7396eb8ebeefd44c4d","datavalue":{"value":"A free variant FA of Peano arithmetic is proved consistent by using finite (outer domain) models. FA is weaker than standard arithmetic in two senses. First, one cannot prove that the successor, addition, and multiplication functions are always defined. Second, one cannot prove \\(\\sim s(t)=0.\\) However, one can prove both of the above for closed terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797576$8D69616F-A025-481A-85CF-3F946C2AE082","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797576$06CBA283-A8D7-47AD-8F5F-C311F4AFA246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e735b26ee573d7f231be509b1d3cedb21608fecc","datavalue":{"value":"3867320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797576$4CD07C69-779F-4017-A11D-852B97B79C70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dd9a7869039e244748b2fa86819fd0d778790a","datavalue":{"value":"finitary consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q797576$FCAE9D44-6359-45B3-928B-4FF32B1DBA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdfdf4c18682f61371b9d5bdc62c408f3569b7df","datavalue":{"value":"free arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q797576$6D6380B9-CB20-4EF1-BDF7-87B4784E2FEF","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":"Q797576$EE82C529-601E-45F0-A052-829E6FC48C38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d540de50456a013532a4a528a269170afe910676","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870628","type":"string"},"datatype":"url"},"type":"statement","id":"Q797576$CFDE66DF-9BB1-413E-887C-FEFF42ED4DE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac6e84c806267c972e213471d96f963d80d3501d","datavalue":{"value":"W2023616008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797576$55B9A260-5822-41B2-AA7D-45D5CC5EAC71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2568f20bc7f28276a39ed5f90ee14e70fb29309","datavalue":{"value":"10.1305/NDJFL/1093870628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797576$1C805415-BDEC-4478-AFD4-11DCBDC30979","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae952f85f0e68eacce91764960796c544b80bd7","datavalue":{"value":{"entity-type":"item","numeric-id":3762310,"id":"Q3762310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f92bd86ecb08f8af4e8c2d6be9c5c33249a90b","datavalue":{"value":{"amount":"+0.761273205280304","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":"Q797576$00368CA2-AE13-4DCE-842F-EB9FF438452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2060ff9550cce76e47ce23fa0488ed1323b2557","datavalue":{"value":{"entity-type":"item","numeric-id":3977029,"id":"Q3977029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385e7877db043ad817115dc58419068251f83729","datavalue":{"value":{"amount":"+0.7481677532196045","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":"Q797576$0DDA7296-75D9-4A91-BFF5-420AC406AC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7596894d88ec46ce3a873e8dab13a4b5ab8082a","datavalue":{"value":{"entity-type":"item","numeric-id":1123890,"id":"Q1123890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608f528c381cd563fb24c4c2849e3682452b0b7b","datavalue":{"value":{"amount":"+0.7476404905319214","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":"Q797576$562C8E5C-6A1D-4BA4-9ABE-998ACE52B117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b3d012f80e0dd369626ba7f5df4748b4edc20a","datavalue":{"value":{"entity-type":"item","numeric-id":666895,"id":"Q666895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a6934332bba3404d4b9a21c4b9f856fdcacc53","datavalue":{"value":{"amount":"+0.7405657172203064","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":"Q797576$C0B1B3A4-B764-4359-BEEB-203A95308FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9841ac2bcd533797050e9f058c45900833a23067","datavalue":{"value":{"entity-type":"item","numeric-id":3824311,"id":"Q3824311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ccbefbc12276930d501ae0b6b2705085682c98","datavalue":{"value":{"amount":"+0.729030966758728","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":"Q797576$BEC405FE-4D81-45D4-B564-47A6629B59C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitary consistency of a free arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitary_consistency_of_a_free_arithmetic"}}}}}