{"entities":{"Q916643":{"pageid":918491,"ns":120,"title":"Item:Q916643","lastrevid":49395025,"modified":"2026-01-07T02:17:48Z","type":"item","id":"Q916643","labels":{"en":{"language":"en","value":"The elementary theory of the natural lattice is finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154414"}},"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":"Q916643$B8FCFD00-528C-4D76-868F-4EFC199F115C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e51be66b13531356f7ac2f334cdfdfc3485360ef","datavalue":{"value":{"text":"The elementary theory of the natural lattice is finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916643$A2B3BDF5-F917-4E79-BB1E-DF44DA3B7F73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3da4d680af4db317272fc326c6075b1899c59688","datavalue":{"value":"0704.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916643$23667FA0-E6FC-43CA-9FC3-5965EFDFAF6A","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":"Q916643$FADF3022-D9CC-4AEB-AA06-F65A6D2DE75E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q916643$A7BE13B5-3BD6-4F3B-A54F-F4D1ED34AABB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"539c7356afa3c69d771d7144577606b2559c7dc5","datavalue":{"value":"The author investigates the first order theory of the structure (\\({\\mathcal N}^*,|)\\), where \\({\\mathcal N}^*\\) is the set of positive integers and \\(|\\) is the divisibility relation. It is known that this theory, called DIV is consistent, complete, decidable and not categorical. In this paper it is shown that DIV is finitely axiomatizable. The author gives an explicit finite axiomatization of DIV and verifies the completeness of it by the method of elimination of quantifiers. In the proof some unpublished results obtained by the author in 1979 are used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916643$118FC8D3-59B3-49FD-A45E-633FDAD9093E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916643$7F38BF70-0F65-4F50-9A16-A0C77D89A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916643$A1288341-D6A8-44E5-9440-9398FB9A7C29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5785c9abed3cb146bd16b0b7cf3acfcd6b6739ed","datavalue":{"value":"4154414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916643$B7770CD3-28AB-4E38-99C2-928F53EF63F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309ddfdcfe19216311902a96a23d5eb140761d48","datavalue":{"value":"positive integers with divisibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q916643$997F0767-9CD0-478C-AAC8-524737179655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3606e98d1b795de1aa6cd5479247c5c3cf1984d4","datavalue":{"value":"divisibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q916643$264A15CF-1ECF-4A46-B916-25B08F4D274E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf3f7cae6e4cfade2a873c4611742be501ab0b2","datavalue":{"value":"finite axiomatization of DIV","type":"string"},"datatype":"string"},"type":"statement","id":"Q916643$8FA914A9-7820-4404-AD5C-70747AC36864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"069c49ed07632856093c11f7cbd999f5a3f4b4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401348,"id":"Q1401348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916643$620327FF-5BE3-4E75-8DA6-EAD9B6534C47","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"aedddc5fbdb044211e95c082e9d30544029eaa15","datavalue":{"value":{"entity-type":"item","numeric-id":1591334,"id":"Q1591334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916643$2003BD83-B6CB-482E-9D9B-60C5E8BA5DE8","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":"Q916643$8807247F-5EC9-4FEC-9D1E-174362BBB39C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e95eb624008653807e303fbb2517e0626756a953","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635001","type":"string"},"datatype":"url"},"type":"statement","id":"Q916643$C7CFFEC4-5C23-4A14-AD88-29FC752255A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53c4871afe64fc0933eeec0f22614f6802fda938","datavalue":{"value":"W2078092186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916643$775C3F2B-8197-4675-BCEE-6515E654DA79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"941812bbe8fcaff4ce37392f728f0745a04694cd","datavalue":{"value":"10.1305/NDJFL/1093635001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916643$BB4BD0A2-3063-4798-BC03-EC7A45821B82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259fa1dc136c629869f64f5ca35a0391650ce27e","datavalue":{"value":{"entity-type":"item","numeric-id":3707987,"id":"Q3707987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75943636936b62ae5f219da29c8cf9682abd0bce","datavalue":{"value":{"amount":"+0.8789371848106384","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":"Q916643$64D553E8-F948-4B0F-8506-99D856F528A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c20c4dcefbc3437cb3846a91de3ef763959288d","datavalue":{"value":{"entity-type":"item","numeric-id":4697160,"id":"Q4697160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55713b4cf15bc16efa2afe18154d8906d1fa6710","datavalue":{"value":{"amount":"+0.7352970242500305","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":"Q916643$7FA185B4-AC29-4463-8AA1-3D403CC52187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7702578785a543f2b7b2de15c75cd1f8db16e9","datavalue":{"value":{"entity-type":"item","numeric-id":4894724,"id":"Q4894724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f4218f062675e26e9848b25eb91dc1091bb9f7","datavalue":{"value":{"amount":"+0.7258872985839844","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":"Q916643$3A2059E4-1F43-4C8C-84C4-731D496525A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a358c60ea76a859cd4023ce47a6c377074bdbc61","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b145d704b42f4a9134f998b506a8443f86933c","datavalue":{"value":{"amount":"+0.7236683964729309","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":"Q916643$899229D8-580D-41F4-9A93-23179B982AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377ebd783c29f0363f6adc027e1b4b7bf47278c6","datavalue":{"value":{"entity-type":"item","numeric-id":3971059,"id":"Q3971059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1470ab92b79994fc2a438a2b9bb78b826be5542","datavalue":{"value":{"amount":"+0.7197326421737671","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":"Q916643$645D73C9-6E6D-445D-A490-64996D610D66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916643"}}}}}