{"entities":{"Q791519":{"pageid":793367,"ns":120,"title":"Item:Q791519","lastrevid":64369269,"modified":"2026-04-11T19:24:00Z","type":"item","id":"Q791519","labels":{"en":{"language":"en","value":"Calculus with the quantifier of elementary equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851061"}},"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":"Q791519$2C61AF18-0515-48CB-86FA-A18C81191CB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5f9daaa68615e0b89b61b549213af7228086d6d","datavalue":{"value":{"text":"Calculus with the quantifier of elementary equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791519$58C0A099-B293-480A-AE32-D5FF5AAC3439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f951f4e1fa115c98e0ea1a1e8c2ffcfea45ab704","datavalue":{"value":"0536.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$62095F28-BBD7-40AB-A276-10A1BE799AE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5936865bc9629616175625d649db5c725b366281","datavalue":{"value":"10.1007/BF00971555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$F0EB8EC3-D036-49CC-998E-9254B479CFCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$1B06A7D0-4FE4-4983-9F49-6DFF6D4EF878","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":"Q791519$8AE90088-0523-4436-998E-A03B164B4ACF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9231fa5a432221a0965202ef8a150eb410beed3d","datavalue":{"value":"The author introduces a variant \\(Q^{\\equiv}\\) of the H\u00e4rtig equicardinality quantifier by stipulating that \\({\\mathfrak M}\\vDash Q^{\\equiv}x(\\phi(x),\\psi(x))\\) iff \\(<{\\mathfrak M}\\upharpoonright \\tau,\\phi^{{\\mathfrak M}}>\\equiv<{\\mathfrak M}\\upharpoonright \\tau,\\psi^{{\\mathfrak M}}>,\\) where \\(\\phi\\) and \\(\\psi\\) are formulas of type (signature, vocabulary) \\(\\tau\\), and \\(\\phi^{{\\mathfrak M}}=\\{x\\in {\\mathfrak M}| {\\mathfrak M}\\vDash \\phi(x)\\}.\\) It is easily verified that \\(L(Q^{\\equiv})\\leq L_{HYP}\\quad(=\\Delta L(Q_ 0)),\\) and that the structure \\(<\\omega,<>\\) is characterized up to isomorphism by a sentence of \\(L(Q^{\\equiv})\\). It follows that \\(L(Q^{\\equiv})\\) is not axiomatizable and not countably compact, does not have the Beth definability property, and obeys the downward L\u00f6wenheim-Skolem-Tarski theorem; further, \\(\\Delta(L(Q^{\\equiv}))=L_{HYP},\\) whence the Hanf number of \\(L(Q^{\\equiv})\\) equals that of \\(L_{HYP}\\). The author proves the undecidability in \\(L(Q^{\\equiv})\\) of the following theories: Abelian groups, algebraically closed fields of arbitrary fixed characteristic, Boolean algebras, totally ordered sets. In the translation of the article under review replace the word ''impoverishment'' by ''reduct'', ''Beta property'' by ''Beth property'', ''suites'' by ''sequences''; also replace ''Hartig'' by ''H\u00e4rtig'', and ''Lindstrom'' by ''Lindstr\u00f6m''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791519$1152194F-BB97-4955-A363-FAEB12B9A40D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$4BF3B36F-96CE-4D1A-8B56-A158FA3509B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$12571988-09E5-4A0A-883E-F55B9177D9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$322721A6-BA94-45C5-9732-3453A0EFDEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$B3C40BD1-BDC7-4C63-A6B8-5019AD2AB569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc8bd790cb28ded8493363e2246d26703c0a9703","datavalue":{"value":"3851061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$A64F79A5-7E74-49CA-A390-3CF89BE2231D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5080f1528307831f43d180cfbaf52dc6e3a83583","datavalue":{"value":"elementary equivalence quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q791519$CEC0387C-1209-4152-99EB-FCDA1FBAC62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551d6bb9044b45757e265603c150d4a76f365b91","datavalue":{"value":"undecidability of theories with generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q791519$12C8E4C9-7833-4628-95BC-3F71CFCF8122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06e132ef37573de114cb95a34e4723e05315fefc","datavalue":{"value":"quantifiers for comparing structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q791519$97C9706F-A76A-4D48-B765-6CA881AE4961","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$EB6E3588-A696-46AD-BBBE-85325788CC74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$7C5B3501-BFFF-46C6-81DB-EC7F75752573","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":"Q791519$C17D9E68-324A-44CA-B2BD-7046D240CD48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed74c9e8ede3e779291e708cd7b62eba46b46add","datavalue":{"value":{"entity-type":"item","numeric-id":4180322,"id":"Q4180322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$79010E1F-E2DC-4BD3-91D8-188119BCF66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3439e63c0e0caeb217297d531be9d921be2b2ec","datavalue":{"value":{"entity-type":"item","numeric-id":3942942,"id":"Q3942942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$0F5CB0D9-5312-481A-B20C-DFA22BD7CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7005d35e165970e4b7feec2cb68540ef3accf7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4193445,"id":"Q4193445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$D28EF140-12B7-44EA-BAD6-3BBE8C44B356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2792ccbe7853aa8b28ce6ebe2b1329edb6193525","datavalue":{"value":{"entity-type":"item","numeric-id":3874188,"id":"Q3874188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$502FF591-AA61-4D8F-8A48-7CEB8189B652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$9F552A07-2F77-4FC8-9B6F-28D69CB0CB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791519$6CC4D05B-D5F6-4EAF-AEF2-5CE7D0758858","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"610d08226687ffe13487f1430e1aef3ade1a86d3","datavalue":{"value":"https://doi.org/10.1007/bf00971555","type":"string"},"datatype":"url"},"type":"statement","id":"Q791519$E9B8D002-C302-4FB9-B025-054D14D5E63F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e80a3999d9cbabc01d28fa9e41329d0276708d1","datavalue":{"value":"W2094740153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791519$3D0322F2-BD79-4631-AE09-6D4B1307843A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043482349d769f410919b0c3ccb84d84bf64872a","datavalue":{"value":{"entity-type":"item","numeric-id":3984397,"id":"Q3984397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4682f17db2fff88f43bbae734620d038190343c","datavalue":{"value":{"amount":"+0.7621978521347046","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":"Q791519$DC9C9283-AB41-475F-881E-0CB29D62088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0e0577627266e9c984e92ef96852e5caa91ca4","datavalue":{"value":{"entity-type":"item","numeric-id":795827,"id":"Q795827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d404c196275e4c2a47cbccbf1a1d514a785f4f9c","datavalue":{"value":{"amount":"+0.7495751976966858","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":"Q791519$1BC9E6DD-3BC4-4FDE-BF48-32359DCAE997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce42f5025ea890f9d95a1e023fa65b4397ad5ce","datavalue":{"value":{"entity-type":"item","numeric-id":4395574,"id":"Q4395574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59125ea5f2b3024644c86dae05aad622fb562ccd","datavalue":{"value":{"amount":"+0.7323031425476074","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":"Q791519$81DBD03E-8047-4921-A082-FD9715A5E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2354e2428b9855bcd2695f542a8d948a37f8802a","datavalue":{"value":{"entity-type":"item","numeric-id":3773858,"id":"Q3773858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10fc0d62ae89f27cb4dca985e28e3d74fba2c85","datavalue":{"value":{"amount":"+0.71394282579422","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":"Q791519$230193B0-DF72-40FE-93E5-BC366564630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa58ee12c79c66e2fe348ae4b9469ee32b9c847f","datavalue":{"value":{"entity-type":"item","numeric-id":1204106,"id":"Q1204106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedf9a640deb408f55643340f24dc0ee03e86c09","datavalue":{"value":{"amount":"+0.712001621723175","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":"Q791519$8BE293A5-0C67-4DDF-A338-A623C1971CDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculus with the quantifier of elementary equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Calculus_with_the_quantifier_of_elementary_equivalence"}}}}}