{"entities":{"Q1820764":{"pageid":1831506,"ns":120,"title":"Item:Q1820764","lastrevid":70908993,"modified":"2026-04-13T18:10:41Z","type":"item","id":"Q1820764","labels":{"en":{"language":"en","value":"Topological representations of Post algebras of order \\(\\omega ^ +\\) and open theories based on \\(\\omega ^ +\\)-valued Post logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995631"}},"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":"Q1820764$C3B329CF-354E-4B7D-8C8B-D308152343F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c934aaa626b17522e0e3cad1aadf5c16afac221","datavalue":{"value":{"text":"Topological representations of Post algebras of order \\(\\omega ^ +\\) and open theories based on \\(\\omega ^ +\\)-valued Post logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820764$3859BE83-1062-4551-939E-B1D6708D05B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e67543ddc6186fec19019864a8e776543b2e5257","datavalue":{"value":"0615.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820764$8B556752-4016-4703-B540-0CD7BEE48AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7af421411d290795e653953a48cb9523f7ce41d","datavalue":{"value":"10.1007/BF00370427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820764$3A4DC12A-7CA7-4922-BBA7-B6EA0E10993C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a65d3ee39760dbd7e42dd19ee2c3375fc5b0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":766810,"id":"Q766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$2E153FC1-F67C-4EE5-9BFA-6547C914C7B5","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":"Q1820764$AA84D119-210C-4B05-B6ED-F9EF16292330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1820764$47236B57-4BCF-49A1-854A-5257D305BE5E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53b1cde08db6c3f914f6512d0f52e841be6c53d8","datavalue":{"value":"Post algebras of order \\(\\omega^+\\) as a semantic foundation for \\(\\omega^+\\)-valued predicate calculi were examined in an earlier paper of the author [Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys. 21, 209-219 (1973; Zbl 0261.02012)]. In this paper Post spaces of order \\(\\omega^+\\) being a modification of Post spaces of order \\(n\\geq 2\\) are introduced and Post fields of order \\(\\omega^+\\) are defined. A representation theorem for Post algebras of order \\(\\omega^+\\) as Post fields of sets is proved. Moreover necessary and sufficient conditions for the existence of representations preserving a given set of infinite joins and infinite meets are established and applied to Lindenbaum-Tarski algebras of elementary theories based on \\(\\omega\\) \\({}^+\\)-valued predicate calculi in order to obtain a topological characterization of open theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$6397378E-A5C6-459E-84D0-A655E507A040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820764$D5FC9F81-9E7B-450E-8332-36A43722CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820764$B853921A-F232-4893-B274-C6B3B57CD180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4304a068f3530a5c3b76be2efc20c4c5f4e61b40","datavalue":{"value":"3995631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820764$CC529B75-E54F-432E-B21D-D0FF24A9625A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ca998e8056db089fc4aeab02727792a6b55916","datavalue":{"value":"Post spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$93C1805C-C022-4C67-BC65-A6EFD58EABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1b4c2df3c7076187bc16d9d056dda2afa1385e","datavalue":{"value":"Post fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$07A70B6D-9407-42F1-A2AC-E292248A21E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$17AD7C41-236A-4962-87A9-636E524C8A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d437f0337307634254181bdf8dfb02d99b3549","datavalue":{"value":"Post algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$A31B7CC1-E152-433D-9A3B-2AF30F53F81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da214efae834bc764031f36b3ace8bc77c433fe8","datavalue":{"value":"Lindenbaum-Tarski algebras of elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$2753AA80-9D7C-46E4-AA38-1D510942CFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"981955a5a20f02f34fb3c040d488817fb50e8294","datavalue":{"value":"\\(\\omega ^ +\\)-valued predicate calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$BD9953F7-F85C-4897-8E9B-527E85B382C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946dad6b4e91e70ba290d64618a2695202b22e6a","datavalue":{"value":"topological characterization of open theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820764$6AA09F90-E019-49BE-AEB9-86E392791AEF","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":"Q1820764$B5C9128E-67D0-4B77-97C1-D87C104E24EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc6cccfc203d0c0a841f5a05f389ba97ca1ec834","datavalue":{"value":{"entity-type":"item","numeric-id":4053650,"id":"Q4053650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$BD0E9CEC-7178-454A-8716-1FB6A0AC8E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3035dac03b2747ed3847b20037b03b236ccbeef9","datavalue":{"value":{"entity-type":"item","numeric-id":4053612,"id":"Q4053612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$750F7C6C-62A1-427C-8EAD-A7808A52873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb74ec046c1f0c6700d48ffe4bdccc6351853618","datavalue":{"value":{"entity-type":"item","numeric-id":4767318,"id":"Q4767318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$C218C9CC-8772-4A64-B058-9BF337F3AC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$6F2C7D0A-ED07-4C16-9D3E-6BC6DBA54172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$DEE357E8-98CE-4C38-807A-DD19BCC5374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60873d5605252fbd7b162567212adcecd72ec4f","datavalue":{"value":{"entity-type":"item","numeric-id":5331483,"id":"Q5331483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820764$423CE503-74C7-4B08-B3F9-57D2A142D4E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e205f096d460f510f4b7ecd0492e58dfc029c1","datavalue":{"value":{"entity-type":"item","numeric-id":4611702,"id":"Q4611702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae7d424dfdedae2adcdb4ac4c2808b084634bd9","datavalue":{"value":{"amount":"+0.7780580520629883","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":"Q1820764$B3E7CE80-0285-4356-8E3B-09AAEF40E143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97189b3fb9cdf10fdb95bb366bb2f2b86019df9","datavalue":{"value":{"entity-type":"item","numeric-id":1893122,"id":"Q1893122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775ea69259cddedcc9d5333d58a59e0d2e23d207","datavalue":{"value":{"amount":"+0.7565531134605408","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":"Q1820764$0230A12D-520B-4D65-8B5F-E4D00AFAACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b8b3f1828230fd71094f6646fb2897a0c7da2c","datavalue":{"value":{"entity-type":"item","numeric-id":3976918,"id":"Q3976918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa8a3b9025f3515d213c739e9916c162ec75795","datavalue":{"value":{"amount":"+0.7307016849517822","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":"Q1820764$59B52B62-81F4-4A58-92B8-332C32B53B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421dd1609bc8c16d93cf863323600911170c16a8","datavalue":{"value":{"entity-type":"item","numeric-id":4212245,"id":"Q4212245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba850a6c6072e88d00a4e7fb6aaa563c8b3e725c","datavalue":{"value":{"amount":"+0.7285099625587463","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":"Q1820764$113CE496-CF2F-4C61-A1EA-25A860A767B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f64e4dbf543973ddf54b1380d774e0a266f39c6","datavalue":{"value":{"entity-type":"item","numeric-id":920988,"id":"Q920988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fdaff090281340759ebadac78ba7d2f074402f","datavalue":{"value":{"amount":"+0.7257273197174072","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":"Q1820764$3A7B31C4-BBEB-4E8E-BFC6-E98D51A51362","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological representations of Post algebras of order \\(\\omega ^ +\\) and open theories based on \\(\\omega ^ +\\)-valued Post logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_representations_of_Post_algebras_of_order_%5C(%5Comega_%5E_%2B%5C)_and_open_theories_based_on_%5C(%5Comega_%5E_%2B%5C)-valued_Post_logic"}}}}}