{"entities":{"Q918545":{"pageid":920393,"ns":120,"title":"Item:Q918545","lastrevid":65341440,"modified":"2026-04-12T01:54:53Z","type":"item","id":"Q918545","labels":{"en":{"language":"en","value":"Homogenizable relational structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158612"}},"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":"Q918545$C2D3983F-7F8F-47B3-9097-ACCD7167E157","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"273050321bd50147d89f2cd40ec16505e74ebede","datavalue":{"value":{"text":"Homogenizable relational structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918545$C50517CC-A728-4D2E-8750-C34AEF4B9003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19e71abd7cac061f456c33ba156634db08a1a2fb","datavalue":{"value":"0706.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918545$60D0E0DB-E940-4DAF-9CAA-BCB92B7FF883","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59476d5af5ab47df71af9b3828718a8eeb01c349","datavalue":{"value":{"entity-type":"item","numeric-id":918544,"id":"Q918544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918545$7D6D3E82-9714-4D63-B929-426F9CB9B327","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918545$9363D474-9784-4310-8FCC-F3639A252520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q918545$A5A4D1D5-80EC-46DA-8221-EC2EC60BAEFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae52e34e8adef5b0bae5a286f7deaa96be3f9d01","datavalue":{"value":"A class \\({\\mathcal C}\\) of structures has the local failure of amalgamation iff there are in \\({\\mathcal C}\\) finitely many diagrams \\({\\mathcal D}_ j\\) such that any diagram \\({\\mathcal D}\\) in \\({\\mathcal C}\\) fails to be amalgamated in \\({\\mathcal C}\\) iff one of the \\({\\mathcal D}_ j's\\) is embeddable in \\({\\mathcal D}\\). Then the author proves: Let \\({\\mathcal L}\\) be a purely relational languages. Let \\(\\Sigma\\) be a set of universal \\({\\mathcal L}\\)-sentences. Let \\({\\mathcal C}\\) be the class of models of \\(\\Sigma\\). Assume that the class of finite \\({\\mathcal C}\\)-structures satisfies the Joint Embedding Property and that it has Local Failure of Amalgamation. Then \\({\\mathcal C}\\) is homogenizable. It is shown further that the theory of these ``homogenized'' structures is model complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q918545$D5AE50D1-E9AD-43A9-B554-A2E110EEF904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918545$2037B496-E140-4083-8C01-CE17FFA3E0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918545$DB37D646-C2C0-4C12-AC9B-A9CF65F2404F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b8b439d82d176f6f9f03d67ede7c3769918e0c2","datavalue":{"value":"4158612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918545$04445EA3-4956-46C7-B1B3-AB1790B7FB0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd0796692f8d6b7a0a3c1c5a9eb51ca8db73495","datavalue":{"value":"homogenizable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q918545$4C33C2DF-5AA3-47A6-9045-3C79D639055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q918545$676D6550-A10E-4D47-8CB1-502D90B4C5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0f6d3f3f40ed26db12ecad65298c7ef552dd8a","datavalue":{"value":"local failure of amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q918545$32A6E78A-4F5C-4A89-A419-27CB1B1154E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd08f174f6c7d26bb962e8847c1d0be1920cdd4e","datavalue":{"value":"purely relational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q918545$457703DD-9CC4-4525-BA00-2EC46A341807","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b07fff8e24e213d71938c843c08dd4401c027091","datavalue":{"value":{"entity-type":"item","numeric-id":1250213,"id":"Q1250213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918545$B1B88A83-67EC-4B4E-9C94-C48F1D51B34F","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":"Q918545$21B5BF00-E7A5-46B4-92E9-18A9F2E9E1B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80436b01181c49f2f50513090e89698b4e999c6","datavalue":{"value":{"entity-type":"item","numeric-id":334999,"id":"Q334999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979ef259f9ce27d9360da7e2f31b4aaa5dac9b52","datavalue":{"value":{"amount":"+0.8441205024719238","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":"Q918545$EBA62742-AC20-4A37-83DA-735DF3C7F7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128d4ca7676612fc1e05e2e5ff1c9bd069011dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3813800,"id":"Q3813800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e008a487c019a0b03b308af9b6a2196907973e","datavalue":{"value":{"amount":"+0.8104996681213379","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":"Q918545$17927C1E-DB95-4319-881D-769D2344058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018a7687f6cefbb15d55646c8407ea16b0401d59","datavalue":{"value":{"entity-type":"item","numeric-id":5278402,"id":"Q5278402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db0f6aee444645637d199b01259482ecef11360","datavalue":{"value":{"amount":"+0.7834239602088928","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":"Q918545$D398EA1A-DB3E-4446-8ED9-76EFA1F1C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbf051f1848011a5107e2fd1c7d5b2063acdac1","datavalue":{"value":{"entity-type":"item","numeric-id":4600460,"id":"Q4600460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51214cacfaf52636c9fe2f1c8671f542eaa5cab","datavalue":{"value":{"amount":"+0.7510441541671753","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":"Q918545$50054E39-2B25-4F88-9C50-9C97A3E3ABEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11618bb2f7bd89ac43173d9e87459bc89e9b51b9","datavalue":{"value":{"entity-type":"item","numeric-id":2275386,"id":"Q2275386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03ef1e927afb3ec7203a7b8c81c943ec6fc9b94","datavalue":{"value":{"amount":"+0.7472425103187561","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":"Q918545$41AE7288-0344-4368-8BE2-BA53E9BB744E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homogenizable relational structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homogenizable_relational_structures"}}}}}