{"entities":{"Q1198440":{"pageid":1209189,"ns":120,"title":"Item:Q1198440","lastrevid":66853554,"modified":"2026-04-12T13:18:07Z","type":"item","id":"Q1198440","labels":{"en":{"language":"en","value":"Elementary approximation theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92878"}},"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":"Q1198440$1976AE23-C799-41C1-A5EE-DD07B0EF23C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d3ef609732a0bb59edf6ef290a8dd9ff8a6a64f","datavalue":{"value":{"text":"Elementary approximation theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198440$D6A6EBE4-29EE-462B-956C-3AA5B7515991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de891858826dc47ced144a99d32d03f204c7acc9","datavalue":{"value":"0762.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198440$1709A57E-BBF5-49FA-9D69-182CF21C8A3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6f688c626666a61a04994f95e80bd9fe082b947f","datavalue":{"value":{"entity-type":"item","numeric-id":190801,"id":"Q190801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198440$D31E4877-1E05-4282-8B29-0FAC1F57F7BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1198440$1A627860-6AA4-41EC-B4CC-8390D211EC33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb3b6daa4a4e0cfd0da48b49b5a56b264d4420af","datavalue":{"value":"We consider elementary approximation theory [see \\textit{H. Rasiowa} and \\textit{A. Skowron}, Proc. Int. Spring Sch., Wendisch-Rietz/GDR 1985, Math. Res. 31, 123-139 (1986; Zbl 0642.68040)]. Our aim is to investigate some aspects concerning finite models of this theory. This motivates us to consider properties of finite models of a given first-order theory \\(T\\). Let \\(\\text{Th((Mod }T)_{\\text{fin}})\\) \\((\\text{Th}((\\text{Mod }T)_{\\inf})\\), respectively) be the set of all sentences valid in the class of all finite (infinite, respectively) models of \\(T\\). The following natural questions arise:   1. What are the necessary and sufficient conditions for the equality \\(T=\\text{Th}((\\text{Mod }T)_{\\text{fin}})\\)?   2. For which theories \\(T\\) is the theory \\(\\text{Th}((\\text{Mod }T)_{\\text{fin}})\\) decidable?   This paper is organized into three parts. In Section 1 we give some general facts concerning the first question. It also contains simple examples of finitely axiomatizable first-order theories \\(T\\) such that \\(T=\\text{Th}((\\text{Mod }T)_{\\text{fin}})\\). In Section 2 we present some elementary approximation theories. It also contains results concerning questions 1 and 2 for these theories. In Section 3 we consider some approximation problems. In particular a notion of an approximating translation is formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198440$CBBFDC4F-A7CB-48F4-8C2F-C4C8C6DF0182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198440$41A76EE5-9C13-41F8-95DC-76B3F8F290B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198440$4CAD850D-6D9B-49C3-8FA3-4798B7307C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198440$80A498AC-422B-449D-B473-C76060BE9830","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"607eab0dd383af4ffdd5828d908fef84fedc52c4","datavalue":{"value":"92878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198440$DD613BE3-F810-4D07-B0A1-2DE6493B5415","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a08210a3dd1ef57f39fb8c62f306c3d2fadc01","datavalue":{"value":"elementary approximation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198440$B6578DE7-F2C1-478C-B655-3BA8DD0A37F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198440$E3DA2D85-C4ED-44A1-96D5-20D7896C07CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ea0c91be2f90c8f3d136b13fd7621bc4354863","datavalue":{"value":"finitely axiomatizable first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198440$1C154CA3-6EA7-48D0-91A4-DF4D6D22A0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de920fd59528ab635b4faaf5f7aeaa19ffcfe28c","datavalue":{"value":"approximating translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198440$D0DD9A1D-55EC-4105-A950-547F36C02516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc52878cce9528ee2498539b4d2ac0abd413625a","datavalue":{"value":{"entity-type":"item","numeric-id":938783,"id":"Q938783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198440$020F251E-FEBF-47F4-B7E8-DEE8CD5A78C3","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":"Q1198440$73E4B8C6-2A4E-4D75-A7C0-DE87D0F47D18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2950e42ca3a221e9a2ae52080a9909a94dc8b5","datavalue":{"value":{"entity-type":"item","numeric-id":779114,"id":"Q779114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9b88a9404754c9447dd67d8ed4dde731f39c6a","datavalue":{"value":{"amount":"+0.7843377590179443","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":"Q1198440$D24B12E9-563E-44BA-91ED-546A14C57F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5baf53e4045fc7bc79499dc1766e3964d929a031","datavalue":{"value":{"entity-type":"item","numeric-id":3172383,"id":"Q3172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdf764004719f73ba1c1666b1d0531caa58eebb","datavalue":{"value":{"amount":"+0.7764990925788879","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":"Q1198440$A3099CD2-4F97-49F7-9CAB-7E742F8FAF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1595c1ece79ac0fe095f7a982ad4fc132653c89","datavalue":{"value":{"entity-type":"item","numeric-id":1095655,"id":"Q1095655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08e50c6f70982bf51a789be9e93c3f5f453ad18","datavalue":{"value":{"amount":"+0.7414376735687256","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":"Q1198440$3A27E958-18D5-4DCE-B5BE-A06A3CF74FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7d72a3bd86b313a84e59fe9f497f918acc6961","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17e0bc8da25e3846346cefbccc1d8eab1e84df7","datavalue":{"value":{"amount":"+0.7401390075683594","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":"Q1198440$D1C27571-7DD0-4F5F-83A5-25CBE0DE3A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6f806bb0222ef2c5b1fdb7aff422d0939fcef1","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c934cfb6aea993f5432bb755aea05a8c817de5","datavalue":{"value":{"amount":"+0.7231635451316833","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":"Q1198440$36D50F08-05A9-4FC8-8A43-1EE91F7FC820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary approximation theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_approximation_theory"}}}}}