{"entities":{"Q1095894":{"pageid":1106646,"ns":120,"title":"Item:Q1095894","lastrevid":66680124,"modified":"2026-04-12T11:52:41Z","type":"item","id":"Q1095894","labels":{"en":{"language":"en","value":"Identities and indiscernibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029525"}},"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":"Q1095894$3B0F8140-9EA6-45D3-B856-2C860B61DECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8409e9d541cd0224beafb2a648303f7df2920040","datavalue":{"value":{"text":"Identities and indiscernibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095894$E760F6EC-5AF8-4A20-9224-7A30EDB9726D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7882a84a58cdadccdea0757f75be7321b12b7b75","datavalue":{"value":"0633.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095894$49716A99-928E-477B-9B42-4BE7D2D42CF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"736ada210a6c587e84b0435b067c73ad409d1cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1095892,"id":"Q1095892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095894$F3CF308B-82FD-4240-BC9B-737C5F8981BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"147beb0ad52b28b13b95cd401cc50186e1c545f4","datavalue":{"value":{"entity-type":"item","numeric-id":1095893,"id":"Q1095893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095894$F35C39E6-E845-4F14-A3B1-52F68F4CD0A9","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":"Q1095894$F29A5CDB-F2F0-478A-9689-63AD30196E96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1095894$A8A10B96-2113-4159-A3C3-7B2F7E405C95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21c55e8749d63a8c9f82e55ba91d271bab385e80","datavalue":{"value":"A structure \\({\\mathfrak A}\\) is indiscernible in a theory T if there exists a model \\({\\mathfrak B}\\) of T and a one-to-one mapping \\(f: A\\to B\\) such that for all \\(n\\in \\omega\\) and all pairs of sequences \\(<a_ 1,...,a_ n>\\) and \\(<a_ 1',...,a_ n'>\\) in \\(A^ n:\\) if they satisfy the same quantifier- free formulas in \\({\\mathfrak A}\\) then \\(<f(a_ 1),...,f(a_ n)>\\) and \\(<f(a_ 1'),...,f(a_ n'>\\) satisfy the same type in \\({\\mathfrak B}\\). Then we define a hierarchy between complete theories as follows: \\(T_ 1\\leq T_ 2\\) iff for all structures \\({\\mathfrak A}:\\) if \\({\\mathfrak A}\\) is indiscernible in \\(T_ 1\\) then \\({\\mathfrak A}\\) is indiscernible in \\(T_ 2.\\)    We use Shelah's identities to investigate the above defined relation between complete theories. First we prove some facts about identities and connections with indiscernibility. This allows us to translate problems about indiscernibility to problems about identities. Using this method we prove among others that increasing and decreasing chains have a least upper bound and a greatest lower bound, respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095894$C9E19898-09EA-4B5C-9DFF-30B27E17584F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095894$4892EAEF-3449-4F9F-A6A9-155EE2EFFC43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba75ac6739a9df75746b26632aaa2363b1662b3c","datavalue":{"value":"4029525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095894$B4CEDC2B-CA47-4B74-85EB-448A7C49F3B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815951cbb5cef50453fd1ec8ac41e575017ebced","datavalue":{"value":"complete theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095894$26774FC3-2B37-448B-AC0D-C0517D88E3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095894$C5354F1E-6524-45BC-91EF-2C1F47316A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32defd18175082be6356fdfd3d64a8dd373b625","datavalue":{"value":"indiscernibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095894$DC93BB66-AAF2-4FCA-8D01-BD19CD1B457B","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":"Q1095894$7547F2E1-13AD-4ADC-AD1E-14D73AEEFE02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa4deadfcff599316cf7b1ff7cf979697b17ad25","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636773","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095894$86B9205D-3DC0-4389-9551-E92158159583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16cbb1cb70fe6c81b38aa10fd16cef47d9d1ddfb","datavalue":{"value":"W2023797850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095894$888FB5EE-6386-45B0-9776-93E2F7535C6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be46435a1d16630392a7ba10f3d5d007f0d248b1","datavalue":{"value":"10.1305/NDJFL/1093636773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095894$BE97B0B8-B5BF-4337-AE32-640278287420","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8c2605c0659f70f7cb45dc17ef892efe770098","datavalue":{"value":{"entity-type":"item","numeric-id":2436607,"id":"Q2436607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba65c5ffcb5162a9160a2f2dbc827edc4b97aac","datavalue":{"value":{"amount":"+0.7602129578590393","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":"Q1095894$F23D774F-255D-483A-AA1A-C889F34BFBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22744a093321009f5ce5dd63c56a724abdd89b2","datavalue":{"value":{"entity-type":"item","numeric-id":4296712,"id":"Q4296712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282052c5564ecdbe46fc3efe7a4e6502efd51a16","datavalue":{"value":{"amount":"+0.7464869022369385","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":"Q1095894$5095F23D-941E-4E34-AB83-6B2557D18A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8c1988779c511226433956e42bb2709683f2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4795520,"id":"Q4795520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44f80371eddf4678933dc1c7c34242793ca2816","datavalue":{"value":{"amount":"+0.7456976771354675","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":"Q1095894$A9A2F1C0-A124-4D1E-83C7-1D61C3F7AF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1d29a33d5162188e8c830c4ed3f7db883b4589","datavalue":{"value":{"entity-type":"item","numeric-id":466122,"id":"Q466122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260e3a2ae850376a123110bde1dff98f13e9b42c","datavalue":{"value":{"amount":"+0.7456973195075989","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":"Q1095894$FF14E5AD-BB6B-434D-8EF0-A957E66B5493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1248f67493d5594be3c133d2ce29b5a32b6ad558","datavalue":{"value":{"entity-type":"item","numeric-id":3360166,"id":"Q3360166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a54c3b06a3cd9f7d6026aa26ea804ad109e091","datavalue":{"value":{"amount":"+0.7393518090248108","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":"Q1095894$FD854D30-2DFE-42A6-9D16-F8DCCFC2F3ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Identities and indiscernibility","badges":[]}}}}}