{"entities":{"Q1591208":{"pageid":1601948,"ns":120,"title":"Item:Q1591208","lastrevid":67936032,"modified":"2026-04-12T20:20:37Z","type":"item","id":"Q1591208","labels":{"en":{"language":"en","value":"Notions of symmetry in set theory with classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546605"}},"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":"Q1591208$D9691236-FA49-4795-8C3E-9F7AA9F87000","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66763fc8cf21d370b720256aa518ab2de75cd96c","datavalue":{"value":{"text":"Notions of symmetry in set theory with classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591208$D54DBD8A-881D-4CE0-A843-B7E22261A3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"781d7a42d067151b309464ef7e582ed592c6ef7a","datavalue":{"value":"0978.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591208$BD31EEEA-CF3D-45D2-A2DD-9F1863F035E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1da8ce5eb945a8e5bdc773be3db01514a6c6ee2f","datavalue":{"value":"10.1016/S0168-0072(00)00028-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591208$1BA4535D-D258-4502-9CA4-21709E2D4398","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$808A09D1-EE18-48F8-86A6-A6919E5EFD0C","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":"Q1591208$548FEFAF-EDD6-44BB-A4FA-C4669E4A36EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"def0cffebab58f04bd345066e6bd772a76144df6","datavalue":{"value":{"time":"+2002-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591208$6B001668-180B-48A2-AF94-0DCC01822768","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f0c9ec841245d5d00cfa55ef63e491e915e92b2","datavalue":{"value":"In the context of G\u00f6del-Bernays set theory without the axiom of foundation \\((\\text{GB}^-)\\) the author considers the following notions of symmetry: A class \\(X\\) with a total preordering \\(\\preceq\\) is 0-symmetric, if all initial segments \\(\\{y;y\\preceq x\\}\\), \\(x\\in X\\), are sets. It is \\((m+1)\\)-symmetric, if all initial segments are \\(m\\)-symmetric. The intuition behind this definition is a model \\(M\\) of \\((\\text{GB}^-)\\) such that \\(On^M= \\alpha\\). If a class \\(X\\in M\\) has a wellordering of type \\(\\alpha\\), or of type \\(\\alpha^+\\), or \\(\\dots,\\) then \\(X\\) is 0-symmetric, or 1-symmetric, or \\dots (The axiom of foundation implies that \\(X\\), preordered by the rank function, is 0-symmetric.) This notion is correlated with class forms of Freiling's axioms [\\textit{C. Freiling}, ``Axioms of symmetry: Throwing darts at the real number line'', J. Symb. Log. 51, 190-200 (1986; Zbl 0619.03035)]. \\(A^{m+2}(X)\\) is the following assertion: Given is a function \\(F\\) on the family \\([X]^{m+1}\\) of sets \\(s\\subseteq X\\) with \\(m +1\\) elements such that \\(F(s)\\) is a subset of \\(X\\). Then there is an \\(s\\in[X]^{m+2}\\) such that \\(y\\notin F(s \\setminus \\{y\\})\\), all \\(y\\in s\\). (Freiling considers \\(X =\\mathbb{R}\\), \\(m= 0\\), and \\(F(s)\\) of Lebesgue measure 0. Then an informal reasoning suggests that, upon throwing \\(m + 2\\) darts simultaneously at \\(X\\), it is likely that none is in the ``small'' set which is determined by \\(F\\) and the other \\(m + 1\\) darts.) It is consistent relatively to the existence of an inaccessible cardinal, that the axioms \\(A^n\\) are of a different strength. The main result shows that in GB\\(^-\\) together with strong global forms of the axiom of choice the following assertions are equivalent for a class \\(X\\): (i) There is a total preordering \\(\\preceq\\) on \\(X\\) such that \\((X,\\preceq)\\) is \\(m\\)-symmetric. (ii) \\(X\\) is a counterexample to the axiom \\(A^{m+2}(X)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591208$930A41D7-93C4-4A17-8363-AF7E16635729","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$E870489C-D7FF-4B1A-8205-5A60B33F99F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591208$2E8296D6-C46F-45C0-B5B5-9ED5F6BCA61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591208$E64148F0-EAD6-4524-BE26-3BA3FD6C6027","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a69567c6d1cfab67dc1a536e5d3c168fcf9f3b61","datavalue":{"value":"1546605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591208$4EB5DAC5-B00D-458C-9E57-0C63E72C6E49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"446dfab954e8239e31e05661f9d9d035e90886ef","datavalue":{"value":"global choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591208$20336968-501C-4492-A86D-3E198062BF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3edd533ac5bfb0bb446e1c3d0e967fe3f37b806c","datavalue":{"value":"Sierpinski's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591208$85D3A62E-66A2-430D-937C-E41AB0ED388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a6694518944bb73da5ebe9d3a2b725f1f1af59","datavalue":{"value":"G\u00f6del-Bernays set theory without foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591208$AA1A6C45-4407-4618-B76D-35CF67A0E637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591208$3262B432-72BA-479D-86A5-41899AE56055","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":"Q1591208$B9754945-2EFC-4035-8B58-D9EBF0325E9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$7884EE2D-55EB-4233-B4B4-B8645451080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0baa3dd7a21a129fcb316cb4a26ce9e534e968","datavalue":{"value":{"entity-type":"item","numeric-id":2563160,"id":"Q2563160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$22592328-2B71-4A09-8721-8E145D67D368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b598995dbd40f1445fff2d6bdfb7abc5164f8796","datavalue":{"value":{"entity-type":"item","numeric-id":4165372,"id":"Q4165372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$946002E6-B94F-4FC0-8813-37512D4C7D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303006a3e4e5e98646de561005c1fdc12f06e3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5675721,"id":"Q5675721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$F90786A8-BEBB-4DB1-857A-8F029BDD12E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f4ef71cc44f4e04ad4c171f4b3193c77e1a3de","datavalue":{"value":{"entity-type":"item","numeric-id":3755450,"id":"Q3755450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$00B9238B-D34A-4B0F-B808-771A3A1444E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f1f0b0a83972390a95ac583b939ff70b36c375","datavalue":{"value":{"entity-type":"item","numeric-id":4106197,"id":"Q4106197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$45C3D21A-54BA-4AC0-9B70-7671D463A76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1814cec1b9654cd0d665517b2077eaa2faf86f27","datavalue":{"value":{"entity-type":"item","numeric-id":5931219,"id":"Q5931219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591208$E45331FA-DDA0-47E4-A352-E5AC4FCC03B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"900a42ec07dee66dcde49ba99c6d6fae26a69e99","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00028-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591208$6DBB5000-D840-4AA6-AB9B-8F118479B06C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"520ee50079f083af5517083d6eb887e89cf37954","datavalue":{"value":"W2015543089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591208$577D0328-3B06-42C4-9A65-9CA2BB7AB9CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0ada49ec0ea9c7f200138ccd4c14fddcdb8a6","datavalue":{"value":{"entity-type":"item","numeric-id":3033756,"id":"Q3033756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bcaefe3f52e8c33ab491ffe15da7dc16d2b703","datavalue":{"value":{"amount":"+0.7992681264877319","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":"Q1591208$FAD89B9C-D632-4196-B3F4-B4692B469BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6417712ef66fd0a5a10a5017ecc8a755c0f81c04","datavalue":{"value":{"entity-type":"item","numeric-id":5931219,"id":"Q5931219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086e5763e3755d3ac492a4dce78b461a914184cc","datavalue":{"value":{"amount":"+0.7826293110847473","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":"Q1591208$676A0D5E-3E20-449B-B9B0-37DE06752CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b042aaca5f6226a5c2246aa1de51a8f2b2a6c37d","datavalue":{"value":{"entity-type":"item","numeric-id":3755450,"id":"Q3755450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630ae43d58fa07f44de822fac82899b55e9743e1","datavalue":{"value":{"amount":"+0.7809786796569824","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":"Q1591208$5976FA49-CF20-44A7-9A3E-5C2BF07176CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b6bb2eb7646e319ccf985a2342e26709673c20","datavalue":{"value":{"entity-type":"item","numeric-id":3343978,"id":"Q3343978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0d4338f746ebee43a7c38d4205947dcf19bd56","datavalue":{"value":{"amount":"+0.7265371680259705","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":"Q1591208$03FAFFED-BB02-4AEE-A42A-52E904CA158A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2820805eb4100af8136bc62f133d2e8c0bc50bb9","datavalue":{"value":{"entity-type":"item","numeric-id":3328538,"id":"Q3328538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518dae022edeb1e2733e9e2c7fad01fdcfbff9bc","datavalue":{"value":{"amount":"+0.7172859311103821","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":"Q1591208$D941D0DC-838C-481E-93FB-F5E63C1429B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notions of symmetry in set theory with classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notions_of_symmetry_in_set_theory_with_classes"}}}}}