{"entities":{"Q795827":{"pageid":797675,"ns":120,"title":"Item:Q795827","lastrevid":64398948,"modified":"2026-04-11T19:36:28Z","type":"item","id":"Q795827","labels":{"en":{"language":"en","value":"Some theorems in generalized calculuses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3863180"}},"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":"Q795827$7CD2518D-8883-4F76-8692-B3712378DA5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8742196b528374a158be385826dbee520e6a1d23","datavalue":{"value":{"text":"Some theorems in generalized calculuses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795827$8E902A3F-CC5D-4C00-B3FC-E47F46FE3B62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512f662bfc381f982bbf88f2e29548f6c6a05461","datavalue":{"value":"0543.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$6262F51D-C1E6-404D-B43D-2CF0EAA9AFC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"854f0355644af0b7c60335c7044435c4b27782eb","datavalue":{"value":"10.1007/BF00970312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$929D607D-7C7C-4950-B4C6-499C8C31C075","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":"Q795827$1BEAC774-51A9-4B6B-8350-90C49730570F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q795827$7AE5D766-BFEC-4121-9F15-42209FB148FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b441a413d66a215cc25073ce751039b9b188f6c","datavalue":{"value":"(\\(\\leq x)\\) denotes the quantifier introduced by \\textit{A. Baudisch} [Z. Math. Logik Grundlagen Math. 23, 447-462 (1977; Zbl 0441.03009)]: \\({\\mathcal M}\\vDash(\\leq x)[\\phi(a_ 1,...,a_ n,b),\\psi(a_ 1,...,a_ n,b]\\Leftrightarrow | \\{b\\in {\\mathcal M}| {\\mathcal M}\\vDash \\phi(a_ 1,...,a_ n,b)\\}| \\leq | \\{b\\in {\\mathcal M}| {\\mathcal M}\\vDash \\psi(a_ 1,...,a_ n,b)\\}|\\) for any model of an arbitrary first order language L and any formulas \\(\\phi\\), \\(\\psi\\) of L (\\(| X|\\) denotes the cardinality of X). Many known generalized quantifiers are definable by (\\(\\leq x)\\). In the present paper some general elimination theorem for (\\(\\leq x)\\) is proved, and from this theorem is derived that the theory of algebraically closed fields of characteristic zero, the theory of real-closed fields and the theory of \\(<\\omega;+>\\) in \\(L(\\leq x)\\) are solvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795827$DB73B81F-662F-43EE-9148-4AD6FDF7F382","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$F7F72FEC-EB91-402A-B2BE-D329B2DF9762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$0564882A-2BF8-463B-AD14-D363AB00DA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$D2864DFE-5C24-4663-949D-435492B237E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$5483B40D-49B0-4DCA-ADC1-B3FA70842CFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac0af031e1600f0ea603774670fa75d48004f199","datavalue":{"value":"3863180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$A2B474BB-0FD2-4B4A-9151-03962182532D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc8c0042d64a19d1f15201462cf98da7c6a3cc93","datavalue":{"value":"Baudisch quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q795827$772856CC-0500-4585-9933-580564FCE990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1136f787679a6c82c64749ca14e20e19be9c8e49","datavalue":{"value":"first order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q795827$FE21281C-304E-488B-B1DD-98BE9C4BC3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q795827$D1FCC720-DE7A-4EFF-87C1-C07CB371E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca3cbe0fcde424256a4ef99a7185ae4679a56a6","datavalue":{"value":"theory of algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q795827$0F23BB58-6AEA-41E2-8C52-01A221A2F02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fce9f7b908f1e7a6dc357114facc690c718129b","datavalue":{"value":"theory of real-closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q795827$FD8FDFEB-DDA7-4FF4-92DF-FEAE904AA224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dedd353f7110e25fa128dcb5e5da4ac07bda4a80","datavalue":{"value":{"entity-type":"item","numeric-id":1304546,"id":"Q1304546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795827$99996015-7E82-44F9-BF79-47E10B04E7B7","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":"Q795827$E7CC15DF-0BA2-4BB2-A6BB-9A2FF437CDC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfb3781d8e0866236924cdca516668b781435ed","datavalue":{"value":{"entity-type":"item","numeric-id":3882440,"id":"Q3882440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795827$463DBC05-37D4-4AC1-922C-9A97B6D5BC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334b811857939f3b542110c10dd5ee60476ca42","datavalue":{"value":{"entity-type":"item","numeric-id":4097269,"id":"Q4097269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795827$2349ADEA-F301-4B23-A8E4-46916CA238FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf3080ee32e1182713822e8d2f482329361ae4f","datavalue":{"value":{"entity-type":"item","numeric-id":4194947,"id":"Q4194947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795827$1369B123-6554-4AEA-A95F-3CD8D39556B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8e0efb8f2e06be3ed59ae1827808f1fadaf609","datavalue":{"value":{"entity-type":"item","numeric-id":3208639,"id":"Q3208639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795827$99EC2BE1-66D8-41CB-9CE0-FB65C4C4086F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c85e25a3da19efc521e7444a7cd4f9d71625e83","datavalue":{"value":"https://doi.org/10.1007/bf00970312","type":"string"},"datatype":"url"},"type":"statement","id":"Q795827$7DC77B5B-45DC-4E51-8D98-C54F35DE7E55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a94bfcfd8d11592a61dc08cfb2cc7345859f3559","datavalue":{"value":"W2080346898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795827$9C7E9252-F508-4BC1-8738-B3977CDD8C60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2c8b8e0c6b5a936550f6f44fafc20231436e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4359661,"id":"Q4359661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81b65cf7540e56c37aa5276e516ea0687bb7301","datavalue":{"value":{"amount":"+0.90870786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795827$9E549438-A827-406A-94C3-EF8D98625BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640d71716b37a1d34f3bc120ff0db92db5504808","datavalue":{"value":{"entity-type":"item","numeric-id":2510994,"id":"Q2510994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0002d23eefa98a3984246c9afcb3ceccccc3d7","datavalue":{"value":{"amount":"+0.9030858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795827$DDE04B78-F9CA-4A8A-9244-C6D59B4D2AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a5bbb40beb8e6d383c18fb167af98608641384","datavalue":{"value":{"entity-type":"item","numeric-id":5751082,"id":"Q5751082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e024de539b9b7eb511ee972c5f237aeb52b243","datavalue":{"value":{"amount":"+0.903027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795827$1B3EAD15-E1F5-46F5-A6F6-44033AA8E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9133fe3baef7e44335cc2eacdca9a5b19ba2a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3223073,"id":"Q3223073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8dbdb2505e6e5d24bbafdb29c4845697a264eab","datavalue":{"value":{"amount":"+0.89572304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795827$3657DF60-A33F-4E92-8147-EB69BB7F8E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1760e739383593506457f3eaafdef2d6f5db13","datavalue":{"value":{"entity-type":"item","numeric-id":4976975,"id":"Q4976975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0105bc7d1c1a2ac87ac8288a874ee09441fc38f","datavalue":{"value":{"amount":"+0.89477926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795827$6F76392F-203B-4BCA-8868-BF7124B80825","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some theorems in generalized calculuses","badges":[]}}}}}