{"entities":{"Q1434348":{"pageid":1445088,"ns":120,"title":"Item:Q1434348","lastrevid":68694774,"modified":"2026-04-13T01:29:12Z","type":"item","id":"Q1434348","labels":{"en":{"language":"en","value":"Intersection types and domain operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081181"}},"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":"Q1434348$C174EF6D-DAC4-43C1-89E5-E5BAAABF2B19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec236f07b16ca98d74d3a9a83175f45fd55f19e0","datavalue":{"value":{"text":"Intersection types and domain operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434348$3AF50C1E-7873-45B5-8343-B4991919F84E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"331a8b274ce74124d4ba4fea7f3daaa64ccc7995","datavalue":{"value":"1055.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434348$B416D2CA-2AFA-4E79-8459-E79DF8B16323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ec3c43a787f0ce2af2cba920d22bbfe00fbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":673141,"id":"Q673141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$B0321CAB-D6F9-42C4-A51C-3FE23ED45B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$3F76B6A6-F1C8-48E0-919C-5951D8B9F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c9dc05e0d2a69a66c186b30b333d120b72d949","datavalue":{"value":{"entity-type":"item","numeric-id":1434347,"id":"Q1434347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$5150436B-665D-4C63-B597-2045954DC50A","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":"Q1434348$2C859CE5-DE83-4251-91E8-0EC0B6C1C188","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135faa3d5a875c7827ad0c91fd6b706e732e8e4e","datavalue":{"value":{"time":"+2004-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1434348$A4FC7145-E99A-45E1-9AAF-35356635432B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ac63faf95c056f0c8fb22b5cf117fa4b1250972","datavalue":{"value":"Intersection types are a very powerful type language which allows us to describe interesting computational properties of \\(\\lambda\\)-terms. For instance, they have been used to give type characterizations of strongly normalising terms and (persistently) normalising terms. The models of lambda calculus built out of intersection types, the so-called filter models of lambda calculus, are also useful to provide semantic proofs of consistency of lambda theories. In this paper, the authors deal with the issue of easiness proofs of \\(\\lambda\\)-terms from the semantic point of view (we recall that a closed term \\(e\\) is easy if, for any other closed term \\(t\\), the lambda theory generated by the equation \\(e = t\\) is consistent).  The main tool used by the authors is the notion of simple easiness, which turns out to be stronger than easiness and allows the authors to prove consistency results via construction of suitable filter models. In the main result of the paper, the authors show that, for every simple easy term \\(e\\) and continuous predicate \\(P\\), there is a filter model, where the simple easy term \\(e\\) is interpreted as the filter induced by \\(P\\).  The authors provide the following two applications of the main theorem: For any simple easy term, there is a filter model, where the interpretation of the term is the join operator. For any simple easy term, there is a filter model, where the interpretation of the term is the minimal fixed point operator.   The first result has been used by \\textit{S. Lusin} and \\textit{A. Salibra} [``The lattice of lambda theories'', J. Log. Comput. 14, No. 3, 373--394 (2004; Zbl 1057.03011)] to show that there exists a sublattice of the lattice of lambda theories satisfying interesting algebraic properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434348$80AFC495-4651-4D72-806C-D762EABBBF5F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db6b95109dc1af8f661ae37d31be7fc1cf1d77e0","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$B94197E1-0A2C-4172-B774-8FA7BE8D7C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434348$D88DC4EA-6DD5-4918-8964-324A35F93D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e58ed3c86cc4a8c377f6ecdb4607a2b46bba6adf","datavalue":{"value":"2081181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434348$351ED522-F23A-4D5F-9D98-1AA09601A474","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434348$86E5C2A1-906A-4E9B-AA09-D0A22A361707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434348$662F1B57-EBBF-4BEE-BE38-35D649C6401E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434348$AD91EE34-21AC-4051-BA31-502528A7E95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2afa6e1a5c595e372bb9d0ef7d366e62f309459","datavalue":{"value":"lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434348$38F7A5F6-80BD-4840-BC2E-274F82EFDA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c07170affbbf934ca07ac36c5e995dd3c8bd555","datavalue":{"value":"simple easy terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434348$0FE22F4D-A448-4101-B925-982930228588","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":"Q1434348$4D349C52-D44B-41A9-9314-1B83F4ABE642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97a8d4191755d0c1e03fcf7ae5558dc5f3a229bc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.01.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434348$5CDC3E1D-9407-4B49-90A8-4DEFF2773EE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9dce1c8644820153f8cc0b0723a4bf0b7e53f39","datavalue":{"value":"W2101777182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434348$5C8B0EDE-D357-4B73-A7AA-1BD29D079637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$6AAB41B2-66B2-4E37-8E40-45E63B661BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46151eb926d9eef47452ca9479a7dc6ec3fea002","datavalue":{"value":{"entity-type":"item","numeric-id":4448355,"id":"Q4448355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$7EF47BBA-A337-4FFF-8902-8C3B200D1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f87bac281d58df2ad64105f71ee124fd1b2d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2842831,"id":"Q2842831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$4CFA4714-C57A-47BA-9AB5-99E7B7D5CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$6DFD02BE-7B85-4661-9FFF-955775132D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$4219A9B3-AA7C-46A6-A20C-D5B87A2B1693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$53C801CD-A09C-467F-BE7A-5FF46FD75F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$87D55232-ACDF-4E4C-8F2D-770684D7FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$3CAA0C3D-2760-4E41-AFAF-6D5AB73FCF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$0736777A-36CF-4AD9-9765-6B9509822D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f7ba03d5e3332c4223d056b661db98522212bd","datavalue":{"value":{"entity-type":"item","numeric-id":1434350,"id":"Q1434350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$75832607-F160-4774-88CC-E8FAECDC7A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708317026f3370d856c8fc956d7be7dddc47345c","datavalue":{"value":{"entity-type":"item","numeric-id":1434348,"id":"Q1434348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$E378BF81-52FA-4503-9FAC-748DB1A371DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$22C19160-AD57-47C7-A282-A28B34FCA01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0eec2d72cdd7f7e19b834d647d14fe2cb500c","datavalue":{"value":{"entity-type":"item","numeric-id":1376416,"id":"Q1376416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$A855F747-372A-453F-B15B-AA8464C0636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cedd5dad6884e9d508e59fa93fce3528d9c5412b","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$BA1DF498-F839-406D-8599-60FC9CDA9FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$8645093A-6B79-46C8-8CBD-B5AB6C7A8957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$3F976228-2847-468E-88D7-50673EAB3CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434348$AEFCABD7-E240-4DC4-934F-912BF84D6F39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d416439c6f83aba140da2e97d2b33450d3fdaf1e","datavalue":{"value":"10.1016/J.TCS.2004.01.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434348$59AFE395-B17B-400B-9457-458B165A77F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a43e92c8f5968edf9d8f86eae90cbb6c99a4c4","datavalue":{"value":{"amount":"+0.8067600131034851","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":"Q1434348$CE6F8608-7A13-48F4-933F-EDDB17AD99C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edf2e75f22f4513e17c5c396dfea94ce8249309","datavalue":{"value":{"entity-type":"item","numeric-id":2842831,"id":"Q2842831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880b9ddea3bb1b9e8672e39be377e46d48a4550b","datavalue":{"value":{"amount":"+0.7896339893341064","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":"Q1434348$EC5D5FB0-83BD-4E59-B482-62465FA28A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cdde44b5a1f6800250cdbd644ea2ee417b4245","datavalue":{"value":{"entity-type":"item","numeric-id":4448355,"id":"Q4448355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c02a751fe166f7fd8145147a3ce3f48d37d313","datavalue":{"value":{"amount":"+0.7849196195602417","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":"Q1434348$28885993-F692-4B65-9F0C-6C627D167F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a589dd6bdc32301fce065fb4d33084a1e8355205","datavalue":{"value":{"entity-type":"item","numeric-id":2851083,"id":"Q2851083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8976e25888cc61e47f2d084e76fb5240836f670a","datavalue":{"value":{"amount":"+0.7685171365737915","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":"Q1434348$2E8B237E-61A7-40BA-A48E-854BD3C58967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613681e0d19116b2c4f21ce3a48a98dc729429bb","datavalue":{"value":{"entity-type":"item","numeric-id":1887155,"id":"Q1887155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e0ae2fe101fabb27d153d5ec9ca73f53443eb3","datavalue":{"value":{"amount":"+0.7676535248756409","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":"Q1434348$FF53CBB8-B2C9-4173-98B8-CFF6CA6DC8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection types and domain operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_types_and_domain_operators"}}}}}