{"entities":{"Q607448":{"pageid":609224,"ns":120,"title":"Item:Q607448","lastrevid":51134288,"modified":"2026-01-16T20:54:23Z","type":"item","id":"Q607448","labels":{"en":{"language":"en","value":"Equationally distinct countable simple {\\textsf{Q}}-relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5818024"}},"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":"Q607448$CB77E507-6AB4-481C-91E3-9D1A4755589F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c57d0c4992a595eed1f08d8cc23bbc06270a9591","datavalue":{"value":{"text":"Equationally distinct countable simple {\\textsf{Q}}-relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q607448$49A9412A-2DBF-4C74-83CC-4A2FE67D5EC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f6db6835ed1bef355281f3dd0bfc9951599d0d5","datavalue":{"value":"1227.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$54884664-89D6-4572-B7AB-36A6C5075CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33c4e1210cbbc1fe1d2b4619be8b68be8e54f13","datavalue":{"value":{"entity-type":"item","numeric-id":607447,"id":"Q607447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$343EB0BB-43C6-400F-BA23-A0AD2E0F34B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$C87D5C23-B06B-4E6E-9C80-05F14A717B2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q607448$56A05305-A2ED-4FC2-8805-1CC2F70DD3EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddddba0c252a93f969b6be82932244cf087e276d","datavalue":{"value":"Tarski's Q-relation algebras are relation algebras with two elements that behave like projection functions. The author extracts a representation for countable simple Q-relation algebras from the proof in [\\textit{R.\\ Maddux}, ``Some sufficient conditions for the representability of relation algebras'', Algebra Univers. 8, 162--172 (1978; Zbl 0386.03033)] that all Q-relation algebras (and more) are representable. This representation preserves well-foundedness of binary relations when applied to proper Q-relation algebras (in which the elements are already relations) and provides a link between relation algebras and countable models of set theory. The author proves the existence of equationally distinct countable simple Q-relation algebras using, as an example, the sentence CH, which is known to be independent of ZFC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q607448$60240EBB-832F-4624-AD43-9A5D8B5581BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"042c8aa768666ba25bf6e8d6cb402290a13f8333","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$78FD3A47-267F-4622-BF85-D0A392B30ECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$39E540FC-FA10-4B9F-B8F3-0A3AC839DF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$7F5F0C1F-E745-4695-B709-FD96EB10AC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$8BCCD871-F8ED-49DD-880F-22C3134B0A73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87b9d6c19d206e9eff1e0682e3f16aabc8b384f6","datavalue":{"value":"5818024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$39EF3EBB-C43A-4131-8FEB-42BA1F2AB196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q607448$334830D6-8D15-460F-8129-7AC92E5096AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582ce61ad83b5c3a04ed5436d21e515e18ae49cd","datavalue":{"value":"Q-relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q607448$1B3A2406-6987-4B7A-88FD-593F15634A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c4eb4a1dd79c5724db15a09e062a4221a39e53","datavalue":{"value":"well-founded relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q607448$90600BED-38DC-4854-BE84-25BB94799805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q607448$B2E9D566-D52C-4D0E-A126-7599FE609F05","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":"Q607448$A39F41FE-0755-479D-AA76-6D2DB9E39F4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"444f2f083deb56e1f202b1d3a63f453a5d52262b","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0068-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q607448$0FA6BCF5-BD7C-4BB2-9A6F-F5A9CBE333B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b56aa85b5bf13129018701bb6bdf45d262c55327","datavalue":{"value":"W1994406283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$1F8E3C0A-BE7E-48DD-91CB-7E38E880398B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$F18BAAF3-C735-491F-944C-7410C4335DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89220ab8d602c71315d6ba104b33f57b84a863d5","datavalue":{"value":{"entity-type":"item","numeric-id":790108,"id":"Q790108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$45AE4A84-35EF-42AB-809A-9A23C4C8C0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$64665B7B-7DBA-4F75-A6AA-BA73C3D7A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$88FAA92D-8387-4838-AC89-8B5390B3A53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48b4a8987ea2100ceb5ad106a423661691ebb14","datavalue":{"value":{"entity-type":"item","numeric-id":1084387,"id":"Q1084387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$9926C596-5AF6-4676-B377-3D4E171E0E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607448$088F163A-BD3B-4E61-B4A0-DA127649DDF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"660c232fa29a95efe56bc93f2754a23d1402c597","datavalue":{"value":"10.1007/S00012-010-0068-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607448$1C7ABB1C-23EB-4ACD-8CC1-51397C6CBBA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075d73c7c773a4d027e3f40939056981cf46fac3","datavalue":{"value":{"entity-type":"item","numeric-id":1966149,"id":"Q1966149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5283884539461cf2fead81623ec2a2ba1ce549e9","datavalue":{"value":{"amount":"+0.758315920829773","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":"Q607448$DE26076B-DB55-40DC-8767-1F5B34CEF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a4f5f790bba6c3c1e966fa23c45ad63c21e47f","datavalue":{"value":{"entity-type":"item","numeric-id":5364876,"id":"Q5364876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5283884539461cf2fead81623ec2a2ba1ce549e9","datavalue":{"value":{"amount":"+0.758315920829773","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":"Q607448$8082A16C-C286-41E6-A87E-0D48613629B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1cd3617ed4175f3dc0d7802009d2f965f826dd","datavalue":{"value":{"entity-type":"item","numeric-id":1272140,"id":"Q1272140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892b04fc24bcddfc6679e0c772a906f98cbb3980","datavalue":{"value":{"amount":"+0.7429380416870117","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":"Q607448$D58655A8-009C-44AD-8192-36FB67294914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39ba2eba10860c67f7de3abce5d01041a8d804","datavalue":{"value":{"entity-type":"item","numeric-id":4338157,"id":"Q4338157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69430aa254375ad0698e99e3023400bf55ced58c","datavalue":{"value":{"amount":"+0.7390879392623901","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":"Q607448$F296B9CF-FAEB-431C-BD74-478FE42C5FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522b2aa71bfc31f2d88f0a8453bbbad81f21ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":4293503,"id":"Q4293503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69430aa254375ad0698e99e3023400bf55ced58c","datavalue":{"value":{"amount":"+0.7390879392623901","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":"Q607448$0E38E021-6F87-4AC5-92E3-0B8CD7C1D026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:607448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:607448"}}}}}