{"entities":{"Q1005945":{"pageid":1007793,"ns":120,"title":"Item:Q1005945","lastrevid":66566022,"modified":"2026-04-12T10:59:02Z","type":"item","id":"Q1005945","labels":{"en":{"language":"en","value":"De Finetti's no-Dutch-book criterion for G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529393"}},"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":"Q1005945$2F305EEA-2BFC-45A7-ACAE-477211E158DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0289ce3e579b44bfa768b446fbdffa8a4db7f61","datavalue":{"value":{"text":"De Finetti's no-Dutch-book criterion for G\u00f6del logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005945$7170DAD1-B97C-48B5-A663-5D2DE16E76D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"254f0952831eb6976996d5abf0796f9cc51bcb63","datavalue":{"value":"1165.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$DBEE935F-CDE0-4E96-9C19-E446058CD9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$5D6D0B4F-4634-4AA1-B82C-8F7ACFB21702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5a721f9f293b1ce957f8abb1355293ce053ad0a","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$63F42C62-BC0D-425A-AA83-B4ADCC4C697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$24653EBB-743D-4D85-AB98-E5E525833CF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$4DFC62B2-637C-4AD3-A013-140D11E4464E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005945$585474E2-40D3-431F-98EA-5AD9A3E20B60","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf8230434727ae38486754af1f1cd353070a731b","datavalue":{"value":"Suppose Blaise is a bettor and Ada is a bookmaker assigning to each event \\(E_1\\) in a finite set \\(E\\) a betting odd \\(b(E_i)\\) in the the real unit interval \\([0,1]\\). Then, according to de Finetti, Ada's book is ``coherent'' if Blaise cannot choose (positive or negative) ``stakes'' for his bet on these events ensuring him a net win of at least one million Euro whatever happens. Note that a negative stake results in a reverse bet. Precise definitions are given in the paper under review. In 1931, de Finetti proved that a \\([0,1]\\)-valued assignment of betting odds to elements \\(a_1,\\dots, a_n\\) of a Boolean algebra \\(A\\) is coherent iff it can be extended to a unit-preserving map of \\(A\\) into \\([0,1]\\) which is additive on all pairs of incompatible elements of \\(A\\). In short, coherent assignments are the same as restrictions of states. While states are finitely additive, by Riesz representation theorem, the states of \\(A\\) are in one-one correspondence with regular Borel probability measures on the Stone space of \\(A\\). Thus, de Finetti's notion of coherence provides a natural introduction to (sigma-additive) probability theory. De Finetti's result was later extended by J. Paris to various modal logics, by B. Gerla to finite-valued \u0141ukasiewicz logics, by the present reviewer to infinite-valued \u0141ukasiewicz logic, and by J. K\u00fchr jointly with the present reviewer to all \\([0,1]\\)-valued logics with continuous connectives.  In the present paper, the authors extend de Finetti's theorem to infinite-valued G\u00f6del propositional logic. The proof uses the representation of finite G\u00f6del algebras in terms of root systems, together with a technical result obtained by the same authors in their paper [Ann. Pure Appl. Logic 155, No.~3, 183--193 (2008; Zbl 1153.06004)].  This interesting paper features the first extension of de Finetti's theorem to a well-known logic having a discontinuous connective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$ED0773BC-9B86-4E1B-A715-27317D4E68F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$59427456-63A0-47B2-B331-03226E96E4E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$7D06D833-5307-452E-B713-81EF97429C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$443FFF58-A5A6-4FA6-B4DB-A52484514F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$121970C5-E290-46EF-8392-96932C55429E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"573684ced2fe2c188247678e777849505e146cb1","datavalue":{"value":"60A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$4D53439E-C6F7-4E05-8CD4-230D7C611061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5e85210ff938136bc18753b35bd2894d7d11990","datavalue":{"value":"60B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$EBFD2D6D-8DB6-4DAC-B008-1BE9F2511CAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90f2efc5ce83f7fd8891a360eda2a679c5579cc5","datavalue":{"value":"5529393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$69C43888-D668-4FCA-A0B8-0EC79AF97DA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$73C482A5-B21B-4395-9197-21F0DA2B7954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6849ce1b0f405f606d13f1fa75eb63ceeb1c1cb7","datavalue":{"value":"de Finetti criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$45AC870A-6B63-45E2-91A5-B8EEF80F9A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801cd52aa36647c029a120f202cbb2e7fca9f925","datavalue":{"value":"Dutch book","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$95E7D7F1-F8D5-41B5-9305-C7BD7E129366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4d7ef2a1474c7a8bf3865cb84b00ed5b658d23","datavalue":{"value":"probability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$CEF288D4-39CE-4E21-A603-962F3665910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19dce2646f8e5f261dd05535e9b7a318267f5021","datavalue":{"value":"coherent betting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$0FDDFC6B-105B-4936-BEF1-7D5AD6E30693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d333bec9fcb980bd4f276c1e38ed7badca083f4","datavalue":{"value":"G\u00f6del algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005945$72F6BC02-3343-4310-8493-B01D41D5CC99","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":"Q1005945$77C55077-BFA7-4FE3-B1B1-2338699AFBD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"092b2c7be0a83a509eb08510781a418db59e03ac","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9142-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005945$A8D60F58-9615-4CFA-BDEC-D890BC5A2C2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"963ab4e816f43209cea72045503874a49000fbff","datavalue":{"value":"W2038051410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$051625BB-8495-487A-AE1B-C3DC0551F651","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc48da6c6acbbc801c0f8ea9abb5b6db691989cc","datavalue":{"value":{"entity-type":"item","numeric-id":5473749,"id":"Q5473749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$0B2F4C68-3940-49E1-9875-2B5C01CE37B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3757a2aca7f5d0ff675e091d0f0c7b3add721195","datavalue":{"value":{"entity-type":"item","numeric-id":1005945,"id":"Q1005945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$A07D797A-1B8F-4C8C-A8F2-25CC9D3DA596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1d3a405e1a7a423875f972316dd5ff0fc019ce","datavalue":{"value":{"entity-type":"item","numeric-id":2503401,"id":"Q2503401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$CB902C7C-707B-4371-9EE5-E88CCBDD3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a42b84966221fce56faea6194d81133a7ae663f","datavalue":{"value":{"entity-type":"item","numeric-id":1581899,"id":"Q1581899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$3DC7FAA2-3C92-43AF-923E-A80A1EF3132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$93CD3C19-E5C2-4655-B838-266E20A8EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ade6ac64be06a2b78795ee4bef71a43924c99fc","datavalue":{"value":{"entity-type":"item","numeric-id":5571687,"id":"Q5571687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$C853A117-D5FA-4996-9691-F3AF9EC52408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$600B285D-EAB1-4533-9413-0756CE54B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee05b382448898647be5358cf3de89a816004b1d","datavalue":{"value":{"entity-type":"item","numeric-id":2379841,"id":"Q2379841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$D837392D-0B96-4D27-9B57-0053696ABDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aff66a38c5d952742af40d80ca5d302cdc35cc6","datavalue":{"value":{"entity-type":"item","numeric-id":868109,"id":"Q868109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005945$7938EBF0-99E7-4DD3-993C-2F0691BCEE46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1244bb019886b77b44748301899cf92e21258c67","datavalue":{"value":"10.1007/S11225-008-9142-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005945$75C279A7-5F05-49A6-BBE2-28DCA03FEB0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb0a456102712ee5412046742d83145a8481136","datavalue":{"value":{"entity-type":"item","numeric-id":2379841,"id":"Q2379841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54b7e71605fe03367c1bf9107b4d3b8b7c1bbd4","datavalue":{"value":{"amount":"+0.859869658946991","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":"Q1005945$02884C73-2741-4511-A93A-6D2CA475804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fc581d64a0397630b1eedffb65efb881469d70","datavalue":{"value":{"entity-type":"item","numeric-id":4915092,"id":"Q4915092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582c86cac9e2da266b1db4e86776c390e7225505","datavalue":{"value":{"amount":"+0.8055553436279297","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":"Q1005945$8797554F-0C0D-4CB5-80DC-BBC62FCBDC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c704d2e3bd264cc155c2cf3dc9554cb78aa41","datavalue":{"value":{"entity-type":"item","numeric-id":2317519,"id":"Q2317519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400626fb9ffc148ed03a985666586d70977acb02","datavalue":{"value":{"amount":"+0.8013207316398621","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":"Q1005945$44096C04-8A1F-45DF-93C0-6F5DA28217DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e2673c14ba7811a0c3765e907ea238bb61600e","datavalue":{"value":{"entity-type":"item","numeric-id":1708897,"id":"Q1708897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ffbf305afc5889b8c80e6014bf6bc0ea6d7158","datavalue":{"value":{"amount":"+0.7895874977111816","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":"Q1005945$4CE5AE3E-B7EB-4495-9055-257D4463916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bef8da4afa66aae95d814c9077269ceec4f4f73","datavalue":{"value":{"entity-type":"item","numeric-id":1035659,"id":"Q1035659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da68ca54534dafcdc2372fc164007411b250cab7","datavalue":{"value":{"amount":"+0.7689763903617859","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":"Q1005945$35807339-EE35-4118-9E30-4C6B1E35269A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"De Finetti's no-Dutch-book criterion for G\u00f6del logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/De_Finetti%27s_no-Dutch-book_criterion_for_G%C3%B6del_logic"}}}}}