{"entities":{"Q5939843":{"pageid":8116645,"ns":120,"title":"Item:Q5939843","lastrevid":102004931,"modified":"2026-06-06T03:17:51Z","type":"item","id":"Q5939843","labels":{"en":{"language":"en","value":"Fixed points and unfounded chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623316"}},"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":"Q5939843$DDA4E683-7929-41CD-A450-004F4250CEB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74d6715a38c07b9b06fb0798e74eb992e8db806f","datavalue":{"value":{"text":"Fixed points and unfounded chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939843$55C1AC78-BF92-4396-9310-E5FD539E6B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43646fb9d545443520140a22ccc9bfcbb9112eb8","datavalue":{"value":"0985.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$A738D326-E5F0-41E8-BB63-AA14A5CF069F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4fa937cbc432ecc57dffb4e7c25d49231f0b0b4","datavalue":{"value":"10.1016/S0168-0072(00)00061-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$6A87257F-0501-4D96-91D5-4302B7DB2FD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf82499c5812c0cf731dd016e16f52304b1a65b4","datavalue":{"value":{"entity-type":"item","numeric-id":195001,"id":"Q195001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$3362F545-8C1C-4AC7-B3F6-74B28CCFA324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$6C11A2E7-2CC0-4726-915C-25AC2652E6F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939843$7802A3A6-E796-42C4-AACC-923380D37AB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"602ef34ed403640c8650999fa7a11d7a0242f926","datavalue":{"value":"Many classical logic paradoxes are brought about by self-reference, which is deeply connected with fixed point theorems. The so-called Diagonalization Lemma in Peano arithmetic or the fixed point theorem in diagonalizable algebras, for example, allow self-referential constructions and yield classical incompleteness results. However, there are also several paradoxes in which the crucial role is played by an unfounded relation instead of self-reference. In this paper the author investigates ``unfounded chains'', which are a generalization of fixed points and are strongly related to concepts concerning non-wellfounded situations, such as ungrounded sentences, hypergames, and so on, where the above mentioned non-self-referential paradoxes may happen. The author first shows some conditions for a function to enjoy an unfounded chain in the context of general topology, and then discusses functions in the set of (Peano arithmetic) sentences, of which an example of an extensional recursive function without unfounded chain is given. It is also proved that every term in a diagonalizable algebra has an unfounded chain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$6FEABC39-632C-4318-A5DE-CC0FE77CDDD0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$1F7B4872-E094-4752-9A11-2D1D051AACC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$698AB73D-17E7-4C1C-8228-7890CB87CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$A3FB754B-0812-40C1-8B92-6F51F5D6E573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$BC37F462-4EE2-41E2-A54A-994B9AC870AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$A05BC740-2C85-4990-B886-CE5282CC333D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94c045ec368e7003be6817447422ea8629e50426","datavalue":{"value":"1623316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939843$621F1A89-76F9-4535-BC49-FA09675855CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0158e8972d9977079003b7c77d5a29192ae13f0","datavalue":{"value":"paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$08DD6D59-42D2-487C-A45D-DE91BA75498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$5E3FDEBA-EA4A-488E-84F3-C78738F1E221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$64A00C80-D465-4FCE-9127-A03424E7F10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f3ada23287513a351f120d5da44eccc390eedf","datavalue":{"value":"diagonalizable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$335031F0-509D-4C22-BF2E-F9206C897408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$92926B5D-A410-4406-9EBA-30EBD7EBF208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52e3252cf7b531876d8e5a130e591bcb6bd21f81","datavalue":{"value":"non-wellfounded relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$A6986AC2-814A-4D63-8205-1C0404D9EF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e463f28424696c9f9408759b99f847a6444c21d9","datavalue":{"value":"unfounded chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$1A0D66CE-7AEE-457F-B0C2-78E3A98DBD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d12f4128b5ca53961a07777035ee9fd7e3ebf1","datavalue":{"value":"ungrounded sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$844B1E59-D653-4D29-9B4D-F6E05147ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6011e2b74a422711fe8d3ae179a85754cf1a92dd","datavalue":{"value":"hypergame","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939843$7A4D6947-BB36-46F3-9B9E-083F53D63B15","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":"Q5939843$4114A412-B3EE-4C50-BD41-8152FA62CC05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$D0795098-D1DD-4F90-830A-9AD598DB0EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c73f57a842cb7334be9de90eb3dd1dd27b760b","datavalue":{"value":{"entity-type":"item","numeric-id":1222158,"id":"Q1222158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$0F88316B-6E38-4B06-BEF5-6C67A3CA1AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20b17546fbad25458f13657900fd0e2a2f62317","datavalue":{"value":{"entity-type":"item","numeric-id":1815410,"id":"Q1815410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$A5627A44-07E7-4EE8-87F4-C9494286D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a77350a0e89c679d1b1a4beb086f99b213ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3309827,"id":"Q3309827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$36A60C1D-55BA-40C9-B24E-7C56E090E43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$B5EF0A01-6F2F-4659-99A0-9FCB888C0042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b311384ed1f996c2ce6f1c9f6a2b66f98610ea4a","datavalue":{"value":{"entity-type":"item","numeric-id":4323833,"id":"Q4323833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$AE724A3C-B521-45A5-9E35-10F2B3CB480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$0DBF9C1A-D192-4B0E-8C73-016E30DFC6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd473f278e22b42f30e82bcf94419123d2ea77b","datavalue":{"value":{"entity-type":"item","numeric-id":3026990,"id":"Q3026990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$AC699B61-5C5B-431B-8C6C-0EFAB53C5669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f0c6276291519958110b5e3bca4201520e96b0","datavalue":{"value":{"entity-type":"item","numeric-id":1346924,"id":"Q1346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$C60C0FE2-A5DF-447C-9898-2ECAC2EA3F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e214266c58e37d73c63d5291911d90f6df8d30c8","datavalue":{"value":{"entity-type":"item","numeric-id":1102932,"id":"Q1102932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$426A9B2C-8F03-4469-A738-859E228AC4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$1402128D-20B5-4DC5-A5F3-94C5E14702E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fc6f29f777727ceca6ab3cbb6dc22c01c1c64","datavalue":{"value":{"entity-type":"item","numeric-id":4338316,"id":"Q4338316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$7B71326A-0DE4-4E35-9DCE-9CCD1BE32DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820823e50d35dda5dac5b163ab1db8c645d76306","datavalue":{"value":{"entity-type":"item","numeric-id":4868242,"id":"Q4868242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$6AFF78B5-5009-4EE4-BD28-B12BA66361D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2bbc4d1482b65ded8a06838a1bb1d6548136b4","datavalue":{"value":{"entity-type":"item","numeric-id":5823355,"id":"Q5823355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$FBCFB1B5-8A3E-4D93-A825-5460436C4B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$3C50E237-0D05-48FD-8311-1D956206E935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$600E7E62-F49F-4384-A7AC-3718B932D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b97c60c712ca296a1f9d32c7a9e2257496f456","datavalue":{"value":{"entity-type":"item","numeric-id":3576731,"id":"Q3576731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939843$D457C484-1A16-4390-8A9D-86BAE9CEAE72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff444dcb2d57ec6081ad93bfce038157cc118b0","datavalue":{"value":{"entity-type":"item","numeric-id":4650304,"id":"Q4650304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec656b2a1711c235b1f3eca9ec788f176d83935","datavalue":{"value":{"amount":"+0.7976540923118591","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":"Q5939843$D5155DA1-D1FE-42D6-8C47-1830956A55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c36752d70d39aac7d79afbde5000a679304235","datavalue":{"value":{"entity-type":"item","numeric-id":4613588,"id":"Q4613588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdaefc131e2481b9a1ec10c4b0f21e6e70cbab05","datavalue":{"value":{"amount":"+0.7613765001296997","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":"Q5939843$EE1F47D2-BAFE-48A5-94FF-406256A4FB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd950366e88afb087c8c18f5dfcce9eb6af6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1071010,"id":"Q1071010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bd1242fcd4520a9c3a60ce0267fa46d0576ad7","datavalue":{"value":{"amount":"+0.7499955892562866","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":"Q5939843$4D535E17-7649-4CC3-82A5-E910815FA430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3125a6cfb3fbf0e6dbde7f32d37189ade8a131e","datavalue":{"value":{"entity-type":"item","numeric-id":4309515,"id":"Q4309515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ada91ec251ea1509679aedf0abbd936a197c387","datavalue":{"value":{"amount":"+0.7466720938682556","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":"Q5939843$42344D8F-5619-4855-8E4A-37D67496CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b15b40a81ae991a3b17bea19defda52912095c3","datavalue":{"value":{"entity-type":"item","numeric-id":3604277,"id":"Q3604277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aa6f3bf28ad59266056e04cb82ef482390f37b","datavalue":{"value":{"amount":"+0.7419337034225464","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":"Q5939843$0D98620A-CCE2-4D09-9BC0-BA97B9772D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed points and unfounded chains","badges":[]}}}}}