{"entities":{"Q1863833":{"pageid":1874575,"ns":120,"title":"Item:Q1863833","lastrevid":73681041,"modified":"2026-04-14T16:53:59Z","type":"item","id":"Q1863833","labels":{"en":{"language":"en","value":"Martin's axiom, omitting types, and complete representations in algebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1880460"}},"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":"Q1863833$FAB99C0E-5309-4B48-9D4C-5997DD0B0BC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef8c9f28ac7a677e2da5371ce87cfdcc32c0173","datavalue":{"value":{"text":"Martin's axiom, omitting types, and complete representations in algebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1863833$1ED0CA51-23BE-48A1-85CE-64F3A0FA1B47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"141506642761ad6d36386673856043ddce1d46b2","datavalue":{"value":"1019.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$3B05C877-F651-4A2F-BAC0-4B49AC904BF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"431591049244a173fde0a1e7fa87da44b49fdca6","datavalue":{"value":"10.1023/A:1021368713305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$47937531-50B5-4965-A54D-0D55A81A1E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863833$17AFA3A0-F6C9-49DA-9E9F-A5B06F1B30FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863833$7AF4AE17-71A5-49A0-BEDB-09F20BAEFFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d8400e4286d8eef8a207a8abbdf1f1910e204","datavalue":{"value":{"time":"+2003-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1863833$CD981F59-4BD6-4B94-B94D-BA82395A2034","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4355efe42ca9cc3d06cdf40300f4e74e4499cb5f","datavalue":{"value":"An \\(n\\)-dimensional (\\(n\\)-finite) cylindric algebra \\(A\\) is said to be completely representable if, for every non-zero element \\(a \\in A\\), there is a completely additive homomorphism \\(f\\) from \\(A\\) to an \\(n\\)-dimensional cylindric set algebra with \\(f(a) \\neq 0\\). One of author's results gives a new characterisation of countable completely representable finite-dimensional cylindric (and relational) algebras via special neat embeddings. It is also shown that a certain statement concerning the existence of representations for cylindric algebras is equivalent to a certain form of Martin's axiom (restricted to countable Boolean algebras) and turns out to be connected also with omitting types for \\(L_{\\omega\\omega}\\). As an application, Henkin and Orey's omitting types theorem is shown to be false for first-order logics with a finite number of variables. Some open problems are posed, and recent results by H. Andr\u00e9ka and by R. Hirsch related to two of them are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$817A315D-24B2-4E31-B5C8-4314B7E24A9B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863833$997E671F-DF23-4B83-A1DC-4354316F9B31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$C90044AD-9F1E-4366-A315-CB457DE42051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$2DF8C64C-4F7D-4822-B978-4185F327617C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$E1D79FB6-0880-4277-8466-377559F5341D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc064f0c675da90dd057ef86fca32bcf883ce9e","datavalue":{"value":"1880460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$9D4062E7-14A9-4188-9F08-4A96F6D5D9A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$5346A82E-B53B-4D1C-9CEE-43DEB891E328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebd5d77adcb47c9288cee42bec7e3c9d6fdb1aa","datavalue":{"value":"cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$B9A125E4-84E2-425C-B27D-44FA6D80214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4c98a315c6e5e5d1f89075b61b78c958935222","datavalue":{"value":"neat reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$49EDC2A9-5A8C-4808-A6CD-59428F50A06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13cdba30ed4431cf9df780f99acb781af9910f89","datavalue":{"value":"neat embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$919C7210-7F54-4459-9E44-5CE8B3AD16F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a52dd51d3852638bf529bbd2d19fa116bd5a423","datavalue":{"value":"complete representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$B84C59A6-0B4D-4391-ADE5-78B24F143887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$138CD077-0293-4BA6-93E1-88F69010D646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863833$8B1256D1-3DA0-4269-BAC5-354548DC2C79","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":"Q1863833$CB932ACD-DB8E-4370-A874-FE76004B9F1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"561da9054ab36d518bc748e5edfe4acf6f1cdb9d","datavalue":{"value":"https://doi.org/10.1023/a:1021368713305","type":"string"},"datatype":"url"},"type":"statement","id":"Q1863833$E200A3AB-AB1B-4095-82C2-88E60F1E332A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"207037099f7e04b6cd44af98ac4263591a625987","datavalue":{"value":"W1544936696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863833$BDE75B89-0B82-4075-87E5-3D9DCDEF6C39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24012daea4ccaf3e31637eff8c90a71c706b5f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4558130,"id":"Q4558130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6687e3ef6501a6b38aaedc069d507bd514b60afe","datavalue":{"value":{"amount":"+0.8565139770507812","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":"Q1863833$A083886A-CC00-4EE5-9A7D-3543707AE9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e82f419ca7b004ea7b4df1062bfe262c27b40e","datavalue":{"value":{"entity-type":"item","numeric-id":5387302,"id":"Q5387302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac2527ca51786d3654501faf9c65e67490e6807","datavalue":{"value":{"amount":"+0.8553227782249451","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":"Q1863833$58E61BC7-E235-4ADE-8483-6E73BB449258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea41b016ac8bd00dfbceb5f1401c975a79862ee","datavalue":{"value":{"entity-type":"item","numeric-id":3647239,"id":"Q3647239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b4fb3513df994b2cd7c62420aaf89ff49fe123","datavalue":{"value":{"amount":"+0.8392472863197327","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":"Q1863833$3EE93B49-2E65-455E-B28B-0F4C841FC8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc32e77793646faf6d5a517a017d1d13d50650a","datavalue":{"value":{"entity-type":"item","numeric-id":1981982,"id":"Q1981982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de830ce13d126c723c69f413d9b02744b1d148ab","datavalue":{"value":{"amount":"+0.8275471925735474","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":"Q1863833$1EB6A1DD-C9DB-4D5D-8159-74507D7687DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5aec05ac50235790f3d14a86ffdfbe3f0efa37","datavalue":{"value":{"entity-type":"item","numeric-id":4995621,"id":"Q4995621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88a1ebea5d4db709d43cdee77c8bf46f7adb1af","datavalue":{"value":{"amount":"+0.8214915990829468","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":"Q1863833$E1B86776-0B6A-4F4E-8989-404ED1778596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Martin's axiom, omitting types, and complete representations in algebraic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Martin%27s_axiom,_omitting_types,_and_complete_representations_in_algebraic_logic"}}}}}