{"entities":{"Q749648":{"pageid":751497,"ns":120,"title":"Item:Q749648","lastrevid":49432339,"modified":"2026-01-07T03:47:10Z","type":"item","id":"Q749648","labels":{"en":{"language":"en","value":"A note on inconsistencies caused by fixpoints in a cartesian closed category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4173212"}},"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":"Q749648$F2832080-2A94-4BEB-9FED-A73B306ECD7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aacb3f4396561223e259349eb175bd3770b3cfd3","datavalue":{"value":{"text":"A note on inconsistencies caused by fixpoints in a cartesian closed category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749648$2C55DCB8-3F0B-4684-8B8D-0B84C6A38B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d812d747570940cdef5fa24f4e23f119dc89607","datavalue":{"value":"0713.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749648$0FD4F9CC-DD52-44E5-A5D5-D17603DF53F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"617bb37238ef0d6ef192b53fe1025068c84da488","datavalue":{"value":"10.1016/0304-3975(90)90165-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749648$1E1D64D4-D23F-4AB6-AD9E-4EC709DF39E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e210f462fe7725dcece418c503a6a20a74d76c17","datavalue":{"value":{"entity-type":"item","numeric-id":749646,"id":"Q749646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$E46155B4-5317-4F9E-A2F5-4EEA76C5E888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0adf550b0adaf683014b95f040f3d0b889baf077","datavalue":{"value":{"entity-type":"item","numeric-id":674196,"id":"Q674196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$C117A4EC-A351-452E-B3D9-9512EDE2A73A","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":"Q749648$AB358D3E-2BE9-4089-9CEC-2297CC1C83CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q749648$CCCCA024-EB17-490A-81A1-A06539FF8CC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56b4599dd9de0c8b19919b22341c90eca695e429","datavalue":{"value":"From the note: ``The results indicate the different nature of domain theory and \\(set=topos\\) theory or, in other words, that programming requires other foundations than even a constructive set theory.... Domain theory provides a semantics for recursive programs via least fixed points. Categories of domains are typically cartesian closed in order to accommodate functions of higher type where the parameter passing mechanism is call by name.... Hence cartesian closed categories [CCC] with fixed points axiomatize the paradigm of recursive programming with higher types. The inconsistent results explain why such a language cannot be enriched by certain infrastructure [typical for set or topos theory] as disjoint sums.''    A category C is called inconsistent if all its objects are (isomorphic to) terminal (1). An object A has fixpoint property if for every morphism f: \\(A\\to A\\) there exists a morphism Y(f): \\(1\\to A\\) such that \\(f\\circ Y(f)=Y(f)\\). Then it is proved that: 1. CCC with fixpoints is inconsistent if it has either an initial object, or coproduct \\(1+1\\), or equalizers, or natural number object. 2. CCC such that the coproduct \\(1+1\\) has the fixpoint property is a preorder category and \\(A\\cong 1\\) iff A has a global element a: \\(1\\to A\\). 3. Heyting algebra objects H are trivial in any CCC with fixpoints. 4. A CCC with finite coproducts is a preorder category if for some object D either [D\\(\\Rightarrow 2]\\) is a retract of D, or \\(D\\cong 1+[D\\Rightarrow D]\\). Moreover, in this case \\(D\\cong 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$EB7106B3-A6E2-462C-9F07-249E1087CBAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749648$C41FDCA4-F548-4F3B-9543-E7451F1A910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749648$ED7D23C4-2BDE-4A88-97A5-81CEC00653C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f2c7cabace7ddafd75e32d0871e38ab6590f179","datavalue":{"value":"4173212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749648$8D599F88-22FA-48D5-A973-4DF92B3CB918","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$66A6CCB6-FEE9-44E7-A36F-AE378EE333CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7ef2ebccd016252dd4c0a33f562cb4c71d7234","datavalue":{"value":"domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$234CFF85-2DDF-4D84-884B-A53A07206414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$BEDFAB9E-0575-42B3-8181-573B3BBF6BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02fa05e84336f65c2416485e295d6b42809202f2","datavalue":{"value":"semantics for recursive programs via least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$5AFB5CE2-C4A8-48FB-AC10-53C84502BF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$4D169138-B6A2-4561-AF29-C1AEA859892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fb9824f8f58407f8c8c49d0dae9d25453ef314","datavalue":{"value":"higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$D1B15B24-BA35-427C-9466-E565B66C22A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008962c99428f2bfe92b7091a130d84d5cb5ae39","datavalue":{"value":"natural number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$2923EB06-1FD0-40AC-BCC5-B44C7BDC9D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958ce4c7ad80f935c86b7ef6de2dc9a3d131bd98","datavalue":{"value":"Heyting algebra objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$CBC64C51-C41C-499D-99C8-ACFED16C1026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bdfaa358cd5ea108528dcdf691c8731b6f08c","datavalue":{"value":"coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$6BB640FF-16F3-45C0-8A33-3829B2899BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a5eec2a22d4b03824ef07ca8c36d6f133dea61","datavalue":{"value":"preorder category","type":"string"},"datatype":"string"},"type":"statement","id":"Q749648$D35AE2F0-3348-4EA4-9E23-CAD71F9BB036","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21f17c58588273728eeab43e5b397c5212fc4996","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$16A3C527-5A76-43CE-9D22-A09063DE6C92","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":"Q749648$CCDECF5B-B1A1-44B6-9C6B-231765C97142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$0ADC480D-19B5-4035-A478-946FAFF3E6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$77908E5E-D475-4AEF-811A-81B60FF63C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$DC806A38-F576-4162-B1CC-771502590C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$DDEE9763-9344-4409-8482-39D1C211D1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37bd983a3db5cd168954f345ba97c0b0f40b7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3711753,"id":"Q3711753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$51728E5C-997E-472A-A2CD-F833B1860202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4334c7ddc851d0741dcdd4a39f96e985db24fc16","datavalue":{"value":{"entity-type":"item","numeric-id":1170237,"id":"Q1170237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$F76B2805-F5E4-4525-B774-4D8138E61E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$FA0C1765-FDE4-4FFE-81BD-D74FB2767744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$AA348424-4ECF-40D7-BE0E-9AF19E0BEB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$92B25E17-2D01-4822-82F3-F9E02B5D01CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770d73cf4787ca9600c37380f13abfc0aee7abcf","datavalue":{"value":{"entity-type":"item","numeric-id":5586435,"id":"Q5586435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$0C231D18-38EE-4095-991E-640C915A4AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$414F7845-4E27-4748-853E-E81653A35C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$FCE7B505-51A3-40A7-8018-C61A6A46B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$9AA839C8-87FD-4131-B575-3B5CBC088663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$C9D1857F-C537-4730-83BC-8A685E5C27C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$96DAF137-567D-491C-A008-897170F784F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$8FCF7D24-4CE9-4E21-8AC4-3AC06E341E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749648$36378600-D2DF-4144-9371-9DF73346C9BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d912da04006c48ca675d5ea4d44fc6af4806303","datavalue":{"value":{"entity-type":"item","numeric-id":672122,"id":"Q672122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce7f58e227f56fbc1b29302cabbc53fba19a171","datavalue":{"value":{"amount":"+0.7821680307388306","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":"Q749648$EB20582E-9226-490D-AA89-250773F0094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03af741bf23e060bcfa1ce7936f346f5f46d2328","datavalue":{"value":{"entity-type":"item","numeric-id":753945,"id":"Q753945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206457ad88da6be5729be392e6f164c6f7172da5","datavalue":{"value":{"amount":"+0.7771974802017212","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":"Q749648$6B69606E-1DEE-4A84-9C2B-02422168DA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e786e5d16f490e364a5c5d2fb15592e01ee620c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c12411c240de9728141705eb603cd64da8537f","datavalue":{"value":{"amount":"+0.7543408870697021","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":"Q749648$58D5FB61-CAEC-40D4-86D1-C562730A442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cb41f6aee7533a1eeea1b57bc49eb6fa698bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3634669,"id":"Q3634669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b176c0037625e5aa335af2fc311caee315b396e","datavalue":{"value":{"amount":"+0.7423047423362732","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":"Q749648$94C2A2B7-DE13-4FA8-9A05-BE2C7DE13F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30203f47bdef4ce69358bdde5dfe8f5b2b0a067f","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f627e52f90785bb0e8f50fa9ffec514d9bf76d37","datavalue":{"value":{"amount":"+0.7414360642433167","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":"Q749648$6D103677-5B32-4208-A495-D9C576B2BE29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:749648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:749648"}}}}}