{"entities":{"Q535159":{"pageid":536926,"ns":120,"title":"Item:Q535159","lastrevid":62588877,"modified":"2026-04-11T07:06:58Z","type":"item","id":"Q535159","labels":{"en":{"language":"en","value":"Homomorphisms and chains of Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886781"}},"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":"Q535159$7BC77103-1308-44F5-AF70-86CCE9B2FB93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d654e80bb6b08ca00cf6bb7a89ea85ad997db96","datavalue":{"value":{"text":"Homomorphisms and chains of Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535159$A8BFD7D8-A8A1-4797-AAB0-D905BE18C2A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4567882063433f248d05d6b715f211b7336af6e7","datavalue":{"value":"1239.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$1BA39E8E-292F-401A-8B49-D8BA0E39ADDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$F92074FA-EC0A-4F43-B2D3-4921189C911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d4a91b7364d39f2ceda6885aa57f394ac478","datavalue":{"value":{"entity-type":"item","numeric-id":535158,"id":"Q535158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$AF95D231-14F2-49A8-B4D7-ED96BFCABB0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$87A26A1C-E009-421F-8134-DA3B6C2A4C78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535159$51A90DDE-8D28-4371-9108-9258EAF48762","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efe634f3d67e7680b42fe18063d73d1058c0287b","datavalue":{"value":"This paper is a continuation of the study of preservation theorems in intuitionistic logic by the authors [``Preservation theorems for Kripke models'', Math. Log. Q. 55, No. 2, 177--184 (2009; Zbl 1160.03018)]. It is based on Kripke semantics and restricts to those Kripke models defined on a fixed frame \\(F\\). A homomorphism (resp. embedding) between two Kripke models is a compatible family of maps between the corresponding nodes which preserves atomic formulas from left to right (resp. from both sides). Two classes of formulas \\(\\mathcal U(\\Phi,\\Psi)\\) and \\(\\mathcal E(\\Phi,\\Psi)\\) are introduced which extend the ordinary classes of universal and existential formulas. Theories axiomatized by sentences from each one are characterized in terms of homomorphisms and embeddings, similar to the classical cases. Also, a class of theories preserved under the union of chain is introduced. Finally, as an application to intuitionistic arithmetic, an independence result of Wehmeier is strengthened.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$D409AAD6-123C-4E93-9069-32135B1DC931","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"13b451a44422adf3b6285340c23361bf4b29a4c1","datavalue":{"value":{"entity-type":"item","numeric-id":481877,"id":"Q481877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$19BB87F8-3A4F-4D1C-AB6E-4E928DA87924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$A8504A80-BCFB-4DBB-8E2D-CC87023F53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$623EF4F2-B431-46F4-BFC7-58570AA85CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$719C80F6-9835-475B-AA0C-0010FC58FF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$3BCBBD97-6105-4169-BB58-92D0A459EFDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78fc2c4bf327fa597a0711b0cd5dd78a6c9349d5","datavalue":{"value":"5886781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$486C4502-4A30-4B02-8743-15B7DD0CC961","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$ED3C5871-EBC5-43A6-AF39-E3FA7B56A5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$398CEE27-625C-4CAB-B5AF-2BEED2100B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1d938581617637421a79f34f10273557f0434a","datavalue":{"value":"elementary submodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$21B217F2-7478-49FB-BA83-A7AF8198EE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bf5ee6c5d5f25a6a06e76afbbd44548899d24d","datavalue":{"value":"universal sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$54018FDE-CAE2-4ED4-B886-F440A6968F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef148531684bd766572813acb28cdda92748310b","datavalue":{"value":"existential sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$3F0E3263-8AF8-43FF-8715-CE1688912D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f4f7f127c997fa72cb9f55533656c38ca73e88","datavalue":{"value":"union of chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q535159$1A19E355-F50A-40AA-BA7E-F986C18EAC70","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":"Q535159$9738112D-FE15-4601-8138-4CC7B37B0BC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8355afdbfe16fa86a74a16b266b41caa65e05c4","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0224-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q535159$E2715E6C-B268-4B38-BD00-224AFEBE0F45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbe9c898c797b1f63837def94f7a195d6ad31e01","datavalue":{"value":"W2061881968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$82B016BD-6203-47FC-802B-EA869B6B8D4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeabed2c5dd7a8e91b52e149a40328caf3f8ee89","datavalue":{"value":{"entity-type":"item","numeric-id":685055,"id":"Q685055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$031BF762-F73D-4AE7-A367-6CB6F20792FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eaf96176c09b13ed6ee13c7585d540d46ea7746","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$4DFEABFA-E6BE-48F0-8441-32A4D9A7E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a4715686259e7c52bffd4a8087b0e07f5ac5a","datavalue":{"value":{"entity-type":"item","numeric-id":1362744,"id":"Q1362744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$75A577BA-476F-4A72-978C-B664C0E80F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e9459aefaafaa8a55c4b28935dff4ee9cf42af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$9B384C8A-E053-4886-84B1-525B37885E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303bfe9b76e69dc11e852f1b28a0854ea4c57e1b","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$4F520915-7EE6-4811-826F-4E59197BC2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$C122F793-0D66-47F7-BE53-8C650E165607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4425c7d09be6e4d246d4da44ee380bccc74b4770","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$6D3E027F-0BC6-4D66-B69F-A9C3B20C1484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8547c05a06c38182b1fccea7b80452f1cb3da288","datavalue":{"value":{"entity-type":"item","numeric-id":3619870,"id":"Q3619870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$A770CE32-3C52-448D-BFCE-6A73D5B8851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$1C591589-F3D5-4D73-A793-BE15AC764587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$558EEBEE-67F8-46D0-A93C-175654029EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921b0db5e3dfc0c82f961ade9450e75882bb3a65","datavalue":{"value":{"entity-type":"item","numeric-id":5944052,"id":"Q5944052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$C046CD19-6B2E-4B5C-96F6-C89439EE19C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2ccab9193bb053da1a9b2571d3b5f979d9014","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535159$8B0CAB82-72A7-49DC-9137-595A776B36DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b05801cdf1fb589d56f2b14421722d848ce549b","datavalue":{"value":"10.1007/S00153-010-0224-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535159$B6113BF2-1515-4443-9460-8640C84DB40B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3187da52d657f3d21f3a7fbbada305ab2d80e756","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a67696545708352eba948d022db31d923af4ce","datavalue":{"value":{"amount":"+0.8314904570579529","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":"Q535159$5747FF6E-085E-4138-AC2F-90C9CADFDA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac627fd61feb27abab3e105a1012c225337c635","datavalue":{"value":{"entity-type":"item","numeric-id":3619870,"id":"Q3619870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7239e9777b0dcca4036c4e116ad49640c1bc17e","datavalue":{"value":{"amount":"+0.8050018548965454","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":"Q535159$8FA47AE2-A046-4D40-95AB-2E4F8A04C7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82af895f7d2dc27b0f45d46fd0c983c1c830a6af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867776e1c892b807a2ec922c79c3f502d0245688","datavalue":{"value":{"amount":"+0.7943552732467651","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":"Q535159$87B2A8A3-A971-44BB-801C-85C084BB37BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0c4f5a2aca4719ff950375fe91bd4496b757eb","datavalue":{"value":{"entity-type":"item","numeric-id":5944052,"id":"Q5944052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938e04dca7e712e1185bf3eddbda8bd118ffa86f","datavalue":{"value":{"amount":"+0.7919800877571106","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":"Q535159$E68E9182-D13C-4E91-8A45-CB466669BBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08cb31bd72d771492e81fdc29718f0c2266517","datavalue":{"value":{"entity-type":"item","numeric-id":3726100,"id":"Q3726100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c12cc47a8693a7138390bfcb7246a2f03bf7862","datavalue":{"value":{"amount":"+0.7919797897338867","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":"Q535159$67FC53FD-9A54-4E5B-BF05-AD983F50ACFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homomorphisms and chains of Kripke models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homomorphisms_and_chains_of_Kripke_models"}}}}}