{"entities":{"Q2402279":{"pageid":2413022,"ns":120,"title":"Item:Q2402279","lastrevid":52894319,"modified":"2026-01-23T18:06:16Z","type":"item","id":"Q2402279","labels":{"en":{"language":"en","value":"Morphism axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770420"}},"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":"Q2402279$4D1BA5AD-FAE9-4628-93BE-DBED1258880F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9c05406ff295fc87512065bc75d48735cf882cc","datavalue":{"value":{"text":"Morphism axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402279$16D08D76-72A9-4887-A40F-3A2212127003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19164f02a0798b153c1f3e04923981e9c7ea7ec1","datavalue":{"value":"1373.03132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402279$AA07335B-CF00-4085-95D5-993F7B89F9B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$2767EFC8-5528-4087-91A8-F8E24205C857","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$C958B34D-8377-4533-A497-90BE11A938AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11ba1318fd992fb8963c975351f80696c931b262","datavalue":{"value":{"time":"+2017-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402279$FED03A19-3203-43D6-9441-2D2333770D23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b190ed5884c939907d8a4a976351b4dd3f084de4","datavalue":{"value":"A model is an interpretation of the symbols of a theory which satisfies the axioms. This gives rise to the class of models for a theory which can be turned into a category with the associated model morphisms. But here may be some difficulties associated with this straightforward looking approach. Look at topological spaces, which may be specified among others through open sets, another specification comes through closed sets. The corresonding models have morphisms which map open sets to open sets and closed sets to closed sets, and none of these conditions makes sure that the morphisms are continuous. Thus models and their morphisms sometimes behave in a fashion which is not exactly intuitive. The paper under review deals with this observation and related ones by discussing syntactic concepts for specifying and reasoning about model morphisms, introducing concepts that correspond to formulas, axioms, proofs and theorems on the side of models (the counterpart, e.g., for a `formula' is called `mormula', which requires some getting used to). This permits to specify models, of course, but also to specify their morphisms (in the case of topological spaces it is shown that a simple family of maxioms suffices render morphisms continuous maps). One of the main result is that the corresponding calculus is sound, completeness, however, remains an open question.  The paper is carefully written and takes the reader with great diligence through the pitfalls which open up on the road from axioms to models to their morphisms. The solutions offered by the author appear intuitively satisfying, and the examples make convincing cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402279$91308164-262A-49EC-85D3-6E87C74CD8BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402279$FDD239C8-1D99-4B81-B296-B9A40D45E5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402279$7223CCDB-EACF-4737-94C7-5081EC5512DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ec06ac9b4b9e1be0bc7f781b1fec56bf13d5b39","datavalue":{"value":"6770420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402279$3A9F79D1-A4B1-40F1-A4E2-4C7788715140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402279$1B5CAA34-A6D1-4FED-9EFC-09D91344593E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dafe4311193c3406ab8906958d7b26bfaf4c027","datavalue":{"value":"models and their morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402279$493C1C93-292C-4C21-8733-5F24820AF3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402279$21246714-9C48-4C34-B050-B96F7A0DAE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136701db08cfe5e838a8e0431e1aa319016dae56","datavalue":{"value":"theory morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402279$78475EEB-3DB6-42E7-A0E1-052844C3FDB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b55806ac3006ec2d3bb3cf03b6c3b09dbfabbcd2","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$DF7E1B6D-E491-4E42-B118-9CD922F52F32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$366499F5-D3FF-4650-91AF-105D76029C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$F271343D-03A9-485E-9BB3-8DB7ABFB5F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$9AB7A372-CCB2-413F-ACC0-9DE1789C4878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$2AB6029A-122D-4308-ACCB-013D8367E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$EB40D85F-0AD6-4112-9539-01DC488F1CDB","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":"Q2402279$00DFA3EC-CB15-4BF8-B0F7-4D535E6FFD50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"121deb1e5f8f6468ee40f29616e9f0944cce6472","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402279$0602F66F-C51D-4C1B-87B0-2205F40E00F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"296ce0fa42297fa366539835e6675f878487d1cf","datavalue":{"value":"W4205514396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402279$C1C4149C-E72E-4062-81BA-866E9607FF89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$CEF8059F-840F-40C0-915D-02B2BB50BFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$01C9B372-BA49-49BA-AF6A-1602DCD9A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6ab42525b12e75e04c1e6836aeb9f59f258260","datavalue":{"value":{"entity-type":"item","numeric-id":344796,"id":"Q344796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$A734B39E-CEE7-4C26-8864-2D060B57A790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$10215830-3E31-4D75-AA1A-47B4755BE702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$D832FC25-F350-4E55-ADFB-DBBEB1C7E73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$81682767-C698-498E-9179-A8389C5AC029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33986f59fa18cd060155d2e9e24a78d8bd71490","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$FEFB5292-0CCD-4E15-B8F5-FCB8FD9EA28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$5450805C-ADED-4B8C-A04C-573534ACCAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402279$B734AD08-D1F8-4CFA-9F47-08B5F2CB263A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae40d484297d10961443b6f137f8a812f13ac621","datavalue":{"value":"10.1016/J.TCS.2017.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402279$D1392838-3B73-4C55-96C5-AB519924A27A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdbce49fede6dce6817588def543800bf84602e","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d202ae7d843c0d6c8ddc614dba6cf75206abbb","datavalue":{"value":{"amount":"+0.7462802529335022","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":"Q2402279$312FE8B3-5ADE-49C2-9D90-85C13F63C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0747460c23c00e7426a3b6adbd44620138521","datavalue":{"value":{"entity-type":"item","numeric-id":1322845,"id":"Q1322845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d202ae7d843c0d6c8ddc614dba6cf75206abbb","datavalue":{"value":{"amount":"+0.7462802529335022","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":"Q2402279$880D2392-5A12-4D85-A5B1-20FF3A3581E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087c745eb83e67133f9b26cd0816f9e8b0282d90","datavalue":{"value":{"entity-type":"item","numeric-id":2185893,"id":"Q2185893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ba803c5118ca951553f34f5c040dfd196ceb8c","datavalue":{"value":{"amount":"+0.7147464752197266","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":"Q2402279$92124AD8-9AC5-42C7-9306-B8E48E138EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81bf7a4bb1f94e8ef7a7d1c118b7dd9565d8345","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1a8cce55037314466456e7aadb489f482dc618","datavalue":{"value":{"amount":"+0.6945077180862427","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":"Q2402279$CCB4F804-E712-401C-9D2F-7F59164A0C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3909fa3e25cdd71f75ca2cf491b3b7993753c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":4708606,"id":"Q4708606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea547945f5e1fa7d64e474a8d1c70e68a3a49f3","datavalue":{"value":{"amount":"+0.693000853061676","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":"Q2402279$B71430A4-5FE7-4809-A116-836B7D838BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402279","badges":[]}}}}}