{"entities":{"Q452477":{"pageid":454244,"ns":120,"title":"Item:Q452477","lastrevid":51558812,"modified":"2026-01-18T19:00:42Z","type":"item","id":"Q452477","labels":{"en":{"language":"en","value":"Developments from Ernst Specker's work in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084847"}},"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":"Q452477$358CE914-3889-407B-9A0F-C244A832A92A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70ee715071ba1e642be64af74d480a657c2341d7","datavalue":{"value":{"text":"Developments from Ernst Specker's work in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q452477$EF930ECB-22E2-4673-9E08-29F7BA0F149B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c655938ab3475b3c5551f37697088898da9b4360","datavalue":{"value":"1254.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452477$723C259F-7E50-45A1-8BA6-DA9E2512F0C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e72c44855f62dcc69c4f3fb28e0b98fd7181f4e1","datavalue":{"value":"10.4171/EM/200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452477$B2525895-E4EC-487C-901E-85DEE09E05F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$DB94D3E0-5A98-4057-ADBF-E8906A11B753","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"255223deab9a614645300983eff9e9b445f432d0","datavalue":{"value":{"entity-type":"item","numeric-id":207920,"id":"Q207920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$EF8341C5-4F4E-4F90-983F-93EDEEDC55AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q452477$F105CDCA-A463-4416-A6EC-04A8E6FAD708","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e51cf7a4c66e624e51b09a349d379328c590c18b","datavalue":{"value":{"entity-type":"item","numeric-id":592010,"id":"Q592010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$C23C0E21-E97D-4935-9490-C6E191FCE764","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452477$9CCA43E3-4BDC-48DD-BCCA-19E27D8A6271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452477$2E5A09FF-0F63-49B9-AEE0-79BF69BF2734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452477$73A40E51-7D17-4713-8D90-ED05987FADEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77bc915785f38e788cc0f2eb1de862dbfd89b694","datavalue":{"value":"6084847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452477$85E55A19-9BA8-4D02-A973-82BC7C51CC61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afc1b1e0e00894221c1436a819f1f8068d90ed60","datavalue":{"value":"Specker lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q452477$71B9DE19-BCB5-4976-BFAC-3E8C0D0003C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9a5d5c4ee1f08696418fe9bdd770ac39979c0d","datavalue":{"value":"history of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q452477$75FA3B2D-FF95-4EA9-AEE4-B63153B1C516","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":"Q452477$B45C33CF-974F-4206-958C-A784B27A708F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12352c506718cb8ad49d6f6752630b7d45f6c49f","datavalue":{"value":{"entity-type":"item","numeric-id":1337439,"id":"Q1337439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$B11A65FA-7659-48C1-8F20-FD37C37E1869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b10855c486c7f6bd782a55f12f07abd4923425e","datavalue":{"value":{"entity-type":"item","numeric-id":2781322,"id":"Q2781322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$13E61E77-E091-43AF-8BD1-6140B574827D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792ca2114f6d344db78ffd8b42b5dd50ed028da7","datavalue":{"value":{"entity-type":"item","numeric-id":3826544,"id":"Q3826544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$0C74030D-B79A-4DF9-A635-7358992EE4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$1BD24FC4-363D-400A-B366-1618E27B7047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba10a227b7b0ab28f76deefd9f94f3582304bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3995749,"id":"Q3995749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$22942D40-4891-4533-8A78-865A7582B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ae6aae29775551bfc44a0e77238f99948f29f4","datavalue":{"value":{"entity-type":"item","numeric-id":2562856,"id":"Q2562856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$CD988270-1487-45AE-8648-2028AF265B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bea6e651ca8a6cd84c6a6ddfbf4a8f7769e807","datavalue":{"value":{"entity-type":"item","numeric-id":1150047,"id":"Q1150047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$9A87B825-FA1F-412B-BD5F-C38F64D6EFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$EB73E57E-6FCF-4F66-BBCE-5EAB71E92E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea7fc263eb11910b85ea8919d2e67eda34656c3","datavalue":{"value":{"entity-type":"item","numeric-id":943155,"id":"Q943155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$088614DE-6327-4A93-8907-74AF9F949C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371e18062402dbe977dabf9829f0f2cbc982c081","datavalue":{"value":{"entity-type":"item","numeric-id":5775443,"id":"Q5775443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$5F804D05-E4B3-406E-B66C-10AA9F23C78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2328376dda7922e2824351356a1e120feb66cb","datavalue":{"value":{"entity-type":"item","numeric-id":5554955,"id":"Q5554955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$4AA431BD-4DE2-42D6-ADB1-03F63F0AB41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3332dd1bc7667a4370d58acaceb1d6e6fb12642","datavalue":{"value":{"entity-type":"item","numeric-id":2533617,"id":"Q2533617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$246FFB88-F18A-435F-B6F9-5378FA6D8153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a831c9e185fd7d8d9d5e1f4924a370df677a8a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241443,"id":"Q1241443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$C10F2EEB-8B88-4B22-B21C-00D1F6303F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4060c5cf6ec3ff9db8e705c93d6f4d1d63be78e3","datavalue":{"value":{"entity-type":"item","numeric-id":4753168,"id":"Q4753168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$1E3DF9D2-D6A7-4CCD-A6CC-FBD5486777D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$026815CC-0977-449B-976A-7B1DE5637B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8d1865075f526b53bec8c7ab8cda61632af462","datavalue":{"value":{"entity-type":"item","numeric-id":5799970,"id":"Q5799970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$A7F918C7-4866-4142-A5AE-943D1980EEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6d19e258f630217e860bd2bfc76696126c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5802193,"id":"Q5802193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$B6C0BF0E-2138-4D46-A060-50AD6CAD99E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978e1523fb6c5d047c8a326da26c95fd30c22515","datavalue":{"value":{"entity-type":"item","numeric-id":3246549,"id":"Q3246549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$9DE2DF6A-F4F9-4582-93C1-B2A46092A032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add39993ad64fcea5e8edce49e746268fda7e488","datavalue":{"value":{"entity-type":"item","numeric-id":1111550,"id":"Q1111550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$B7957274-174E-4C05-AB8A-68D674DDF337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc769520cd527655702db7c6dc216752a6fe1be","datavalue":{"value":{"entity-type":"item","numeric-id":1227616,"id":"Q1227616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452477$3C359C67-A125-483B-9D32-A74E3819C1B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aac1cfcbad913820ab06e7d0defde7fa07c89ec2","datavalue":{"value":"In this note, the author gives an account of Ernst Specker's work in set theory -- restricting himself to three of Specker's papers. The first one is the paper [\\textit{E. Specker}, ``Sur un probl\u00e8me de Sikorski'', Colloq. Math. 2, 9--12 (1949; Zbl 0040.16703)]. An unpublished work of Specker closely related to this paper showed the existence of Specker lines -- that is, linearly ordered sets of cardinality \\(\\aleph_1\\) such that no uncountable subset is well-ordered, anti-well-ordered or embeddable into the real line \\(\\mathbb R\\) with the usual order. The existence of Specker lines was the key to the proof by \\textit{F. Galvin} and \\textit{S. Shelah} in [J. Comb. Theory, Ser. A 15, 167--174 (1973; Zbl 0267.04006)] of the negative partition relation, namely, one can partition the set of 2-element subsets of a set \\(A\\) of size \\(\\aleph_1\\) into four pieces in such a way that every uncountable subset of \\(A\\) contains pairs from all four pieces. \\textit{S. Shelah} solved in [J. Comb. Theory, Ser. A 21, 110--114 (1976; Zbl 0366.04009)] a long-standing problem by proving the existence of a Countryman line, i.e., a linear order \\(L\\) of cardinality \\(\\aleph_1\\) such that \\(L \\times L\\) with componentwise partial order is the union of countably many chains. Clearly every Countryman line is a Specker line. The work of \\textit{J. T. Moore} in [Ann. Math. (2) 163, No. 2, 669--688 (2006; Zbl 1143.03026)] is also related.NEWLINENEWLINEThe second paper is [\\textit{E. Specker}, ``Additive Gruppen von Folgen ganzer Zahlen'', Port. Math. 9, 131--140 (1950; Zbl 0041.36314)], which contains some surprising properties of the additive group \\(\\mathbb Z^N\\) of all sequences of integers and its `monotone' subgroups.NEWLINENEWLINEIn Part II of the third paper [``Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)'', Z. Math. Logik Grundlagen Math. 3, 173--210 (1957; Zbl 0079.07605)], \\textit{E. Specker} gives a reformulation and abstraction of the Fraenkel-Mostowski method of permutation models for the negation of the axiom of choice. And in Part III, Specker analyzes various properties of ordinals that become possible when the axiom of choice is not assumed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q452477$6F67071C-6141-4129-A181-1BB154F223A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787deaf206a5a4b4293357dd87fdd1ef4edf8c86","datavalue":{"value":{"entity-type":"item","numeric-id":1110506,"id":"Q1110506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6249c8da8e360ae1fb96dc8a22d32493d571d48","datavalue":{"value":{"amount":"+0.7447530031204224","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":"Q452477$7021028D-8A13-41B9-BB53-E514B7005278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4222da238a529301620e62c020aeca41f33bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2781322,"id":"Q2781322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18eb774310e311f619a4b6856ffe4e9b46e7d32d","datavalue":{"value":{"amount":"+0.7378317713737488","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":"Q452477$EB5B718C-AD72-4617-B9E3-4BC61C5D9346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042644dddb8ed8ce36a16005edbcd0306dab6ac0","datavalue":{"value":{"entity-type":"item","numeric-id":2327970,"id":"Q2327970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da0078b32c5cf0b51023d86a0d1b1c8ca872cd6","datavalue":{"value":{"amount":"+0.7148712277412415","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":"Q452477$DFBF92D7-F98D-40EA-9323-AA49A0D3C250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cad10ba547e9ee954cfd49172892978563da286","datavalue":{"value":{"entity-type":"item","numeric-id":4894563,"id":"Q4894563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895de28b38df0dd791c94c35847b757ef3ed6db0","datavalue":{"value":{"amount":"+0.7028576731681824","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":"Q452477$11DA848C-109E-46FC-B45D-7A837E1CC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf9c96234775c82ddb9ae029a72121198cab029","datavalue":{"value":{"entity-type":"item","numeric-id":1686191,"id":"Q1686191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895de28b38df0dd791c94c35847b757ef3ed6db0","datavalue":{"value":{"amount":"+0.7028576731681824","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":"Q452477$116D776B-B88E-4473-8914-C1482BAB0E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:452477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:452477"}}}}}