{"entities":{"Q1815410":{"pageid":1826152,"ns":120,"title":"Item:Q1815410","lastrevid":69070011,"modified":"2026-04-13T04:24:32Z","type":"item","id":"Q1815410","labels":{"en":{"language":"en","value":"Translating the hypergame paradox: Remarks on the set of founded elements of a relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944232"}},"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":"Q1815410$2C677626-750D-4589-A16B-119C52CEAA19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19033b048983af98098767ebe59c5c1e51ca7e7a","datavalue":{"value":{"text":"Translating the hypergame paradox: Remarks on the set of founded elements of a relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815410$DC22ACBD-45ED-45E0-94A5-5614799A7C0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f66e5a6efd754ecb124a3abe1438933bf9bf98c","datavalue":{"value":"0859.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$1E1625AA-5BE9-41C6-9696-2B2AB2F64E2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f131ab67c16483e2cc4bf8dd1d69f8e0f14c7cb","datavalue":{"value":"10.1007/BF00257385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$468BE592-FC19-4697-9F83-CEE556E5C59D","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":"Q1815410$0D4BC200-1F8C-43D9-86C7-00A8D45A709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815410$67952A47-9CBC-4DC5-B055-3BCA448CB009","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815410$BF4316D7-9E4F-4CBE-883E-DC7F5A388062","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820ac7d451e2cf6da196b3ae720534c2607f7877","datavalue":{"value":{"time":"+1996-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815410$34AAED9C-F854-4DBD-A28B-E0B048BD3DA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43ebc04a2a36008e54f4c519720a94ea4dc6959c","datavalue":{"value":"A two-player game \\(G\\) is founded iff every contest of \\(G\\) must terminate after finitely many moves. A hypergame allows the first player to choose a founded game \\(G\\) and then the other player makes the first move of \\(G\\). Since \\(G\\) is founded, the hypergame is founded. If the second player also chooses hypergame, and so does the first player at the next turn, and so on, we have an unfounded game in which each player moves according to the rules of a founded game. Thus hypergame is founded, and if it is founded then it is not founded [\\textit{W. S. Zwicker}, ``Playing games with games: the hypergame paradox'', Am. Math. Mon. 94, 507-514 (1987)]. This paper compares the hypergame argument with diagonal arguments, Burali-Forti's paradox, the complexity of the set of founded elements in an r.e. relation on the set of natural numbers, the theory of diagonalisable algebras, and the construction of undecidable formulas in ZF set theory and (with more difficulty) Peano Arithmetic, and with groundedness in Kripke's theory of truth [\\textit{S. Kripke}, ``Outline of a theory of truth'', J. Philos. 72, 690-716 (1975)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$94DBA1A9-F95F-452E-9C56-C58140541103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$761AA203-F9AF-44F5-9961-16047E94221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$E39C10D6-0B3E-414E-AABD-1E7C04B4E46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$DB320614-9CE3-4AA9-A0B2-5E245AE95158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7308a301f20cc48f5681b08d047731f02cea6f7","datavalue":{"value":"944232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$C1BEA15B-6B9F-4402-B39A-2DB7370AB0AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$4310CFD9-5226-40E6-B71F-757D03A0063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934fab6b740093cb2584fd0ec70f386fe925de2c","datavalue":{"value":"founded game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$1D342653-136B-4325-B330-C553431D66C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"194cb6b9f642123455d8dc55c70caf7fd5fe6ec8","datavalue":{"value":"unfounded game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$D744898B-88A2-4FF3-AFBA-CEFDDE76E360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9743d9410002a11f45d6a46149b230a7419076c0","datavalue":{"value":"hypergame paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$D2495E21-4164-44FE-BABE-FCEDA4AD6B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae839b8fca329de100fbeeb5f9440336ab0fd678","datavalue":{"value":"diagonal arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$3697AA65-1A15-467B-9420-12026C9EDADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7c3c5885d1dbd13e1ece5f6c4ec831c7eff306","datavalue":{"value":"Burali-Forti's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$FDE35425-396C-4425-A9E5-5CFAD0FAA649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8851888c487915b8afd5fdddbbac3bcaad939bdb","datavalue":{"value":"founded elements in an r.e. relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$71C26A17-98F1-4AB5-AD47-F131B1D807BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c3536034adfc3a2eb8805b6c1ad2b5cf945cd7","datavalue":{"value":"diagonalisable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$DE4976D0-FF16-4CD2-A885-C8082161D34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1a3747fee9d1548bb044421aa2fe823ea02e60","datavalue":{"value":"undecidable formulas in ZF set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$041B2AE5-4BBE-42C0-A14F-33C0E0D1846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f19809ee5d662c46044c7ca7791c1b36dc80537","datavalue":{"value":"Kripke's theory of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815410$0A04DCB6-BCD2-405E-A769-CE936BED34FF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815410$60DEA2AE-DE0F-4D3F-B635-8B9F4457A6FF","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":"Q1815410$442F3F90-5690-42F1-B3F0-8CB01B02E43B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"271790c9461476f198319471fea148d7a4db16c3","datavalue":{"value":"https://doi.org/10.1007/bf00257385","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815410$911FF055-9A50-4F09-9FCA-845CEBE01078","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"044a2254e906ab5fb92d418880af96d379338936","datavalue":{"value":"W1989037937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815410$CE62C79E-807E-477B-91D4-14B170F47921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f1896918fd28c275d2b63c76a9dde14a2939b0","datavalue":{"value":{"entity-type":"item","numeric-id":4204127,"id":"Q4204127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89d3933d30199586deb76329874e4592dc4b0ee","datavalue":{"value":{"amount":"+0.7873049378395081","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":"Q1815410$B250212B-C08A-4117-9E40-2A0E5D66953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00779fb7576d604b4991fe1d6d1b1a3c72bdc6","datavalue":{"value":{"entity-type":"item","numeric-id":5939843,"id":"Q5939843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524088fd5d67e31215a62b7260330d405c1fb23f","datavalue":{"value":{"amount":"+0.7091934680938721","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":"Q1815410$A3ECDE14-8303-46E2-95AE-6ECAA951166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f424da2db47fc48ae3ae880eb9e23543a936142","datavalue":{"value":{"entity-type":"item","numeric-id":3520120,"id":"Q3520120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62876a95a656a930abcfc114f3a37ff07fc4c92","datavalue":{"value":{"amount":"+0.6892253160476685","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":"Q1815410$D4345D61-761E-423F-B964-A9C369464223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab468aa442ca3e2a61153bdff5278ce63df6d86","datavalue":{"value":{"entity-type":"item","numeric-id":2914673,"id":"Q2914673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503c3a9a25669ea9e58b0caa63b5850de7d2e25a","datavalue":{"value":{"amount":"+0.6845051646232605","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":"Q1815410$D4ECB3DC-808E-445B-A5C9-993A9EF85945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c92f3db22369e59af820314efcdef43135de00c","datavalue":{"value":{"entity-type":"item","numeric-id":863184,"id":"Q863184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544d081b0756151b66c12adfb06569b1b30c0e89","datavalue":{"value":{"amount":"+0.6767204999923706","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":"Q1815410$EAFF5925-444E-45D2-9E42-8145421467E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translating the hypergame paradox: Remarks on the set of founded elements of a relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Translating_the_hypergame_paradox:_Remarks_on_the_set_of_founded_elements_of_a_relation"}}}}}