{"entities":{"Q2765385":{"pageid":2776124,"ns":120,"title":"Item:Q2765385","lastrevid":83216645,"modified":"2026-05-07T06:40:30Z","type":"item","id":"Q2765385","labels":{"en":{"language":"en","value":"Arithmetical identities in a 2-element model of Tarski's system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694688"}},"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":"Q2765385$7839127C-FF16-455E-96FA-492A45077D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19ab7732a6648ee78f9a4e4bb131d123dd18cd38","datavalue":{"value":"0992.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765385$C9B19E3D-2459-4DDF-97BE-D10DD4EFDD20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8d0f5850dcb9ff040c1d80b13fcdc346e1b72c","datavalue":{"value":{"entity-type":"item","numeric-id":1419868,"id":"Q1419868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765385$AD67F1B0-103F-49A8-B053-6B4EC554DCFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765385$39167051-672F-49AE-A857-D56DFF27B283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765385$2A91B5D6-F9E7-49B1-83B1-06A2EFC335AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3b8edc062c249e3318d0c48f45307315afa6ff7","datavalue":{"value":"1694688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765385$EB73571E-BD3F-4E1C-80A7-9758D420CB06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86e9c60d2dd72cc059b75ef12cae11a8d5f2595","datavalue":{"value":"Tarski's high school identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765385$255300A8-A60F-4A8C-A64B-2A228256D1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85c4d4d9165cee6b43dbc421343ecc0cb467584","datavalue":{"value":"arithmetical identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765385$F1D991A1-8870-4511-938B-2AEDF7F040F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1082aab12e9c70b21038a246a00f4fb09f4c5fa0","datavalue":{"value":"2-element model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765385$D957B356-904B-4782-8392-DBE0BF2B28F2","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":"Q2765385$CF3D6C2D-325E-4F4F-8210-7AD4B02F224D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa9f82e6f033db7a9027cb34bd66079644810e3b","datavalue":{"value":{"text":"Arithmetical identities in a 2-element model of Tarski's system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765385$675910C8-E48D-49E0-B941-7D869FB9C156","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ffaf62c64728f6c05666b2250b74e4c3c9ffbf7a","datavalue":{"value":"Tarski's high school identities system (HSI) consists of the following identities: \\(x+ y= y+x\\), \\((x+ y)+ z= x+(y+ z)\\), \\(x\\cdot 1= x\\), \\(x\\cdot y= y\\cdot x\\), \\((x\\cdot y)\\cdot z= x\\cdot (y\\cdot z)\\), \\(x\\cdot (y+ z)= x\\cdot y+ x\\cdot z\\), \\(1^x= 1\\), \\(x^1= x\\), \\(x^{y+ z}= x^y\\cdot x^z\\), \\((x\\cdot y)^z= x^z\\cdot y^z\\), \\((x^y)^z= x^{y\\cdot z}\\).NEWLINENEWLINENEWLINEThe question whether HSI is a basis of all the identities of \\(\\mathbb{N}\\), known as Tarski's High School Problem, was answered negatively in 1980 by A. J. Wilkie. So it is important to find identities which are not true on the small models of HSI; this is the main scope of the present paper (to meet in fact arithmetical identities in a 2-element model of Tarski's system).NEWLINENEWLINEFor the entire collection see [Zbl 0972.00028].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765385$7D94F53C-6D37-4FF1-AB61-3CD6A733B602","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765385$DA308469-754F-4465-9290-147B9103A8A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d70dbf2842643503168205651fa1a7eeb7b3b79","datavalue":{"value":{"entity-type":"item","numeric-id":5286078,"id":"Q5286078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57ac94ab0aefa28aabaaf7be3221644b44756ea","datavalue":{"value":{"amount":"+0.8863247036933899","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":"Q2765385$771097B1-ED30-4A0C-A807-35E71AD2CB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96811f02a1c41d92fc18f70501de3f786e21737","datavalue":{"value":{"entity-type":"item","numeric-id":2758397,"id":"Q2758397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3948c8d0bfc6a5b0f2120e55d710aa08b34f6340","datavalue":{"value":{"amount":"+0.8859842419624329","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":"Q2765385$F3C29483-8553-43C5-9D28-60B86F2631AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a11d937e7f62c55007c7cad4ac6b71740367eee","datavalue":{"value":{"entity-type":"item","numeric-id":4459598,"id":"Q4459598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cd5e6b53e374e9ebb5ed0f00af5d45b1cd15d1","datavalue":{"value":{"amount":"+0.876764714717865","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":"Q2765385$CEF375DC-DBB8-4F63-ABB6-711BD4CDE258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4d2e5191b8f98003d26a21f70ba68f4b64bf94","datavalue":{"value":{"entity-type":"item","numeric-id":4531090,"id":"Q4531090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7f4f0cee2d6b089995611099b2890dadcc30e5","datavalue":{"value":{"amount":"+0.8620867729187012","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":"Q2765385$A26D017D-A7A8-45E5-9CBE-C129758207F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec0b73d5fcfc80e1040a68a6f14fb840187f9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5394630,"id":"Q5394630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1237a29b0f1cf6a7014474dd56f9206a0341e38b","datavalue":{"value":{"amount":"+0.8614857196807861","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":"Q2765385$D4C68A7F-30C9-40E4-B902-4DA873441DB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical identities in a 2-element model of Tarski's system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetical_identities_in_a_2-element_model_of_Tarski%27s_system"}}}}}