Developments from Ernst Specker's work in set theory (Q452477): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
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ème 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. The 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. In 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. | |||
Property / review text: 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ème 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. The 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. In 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: T. Thrivikraman / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03-03 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 01A60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6084847 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Specker lines | |||
Property / zbMATH Keywords: Specker lines / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
history of set theory | |||
Property / zbMATH Keywords: history of set theory / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cardinal characteristics and the product of countably many infinite cyclic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specker’s theorem for Nöbeling’s group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Consistency results about filters and the number of inequivalent growth types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995749 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some counterexamples in the partition calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Martin's axiom implies the existence of certain slender groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The axiom of choice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A five element basis for the uncountable linear orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the axiom of determinateness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Verallgemeinerung eines Satzes von Herrn F. Specker / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposing uncountable squares to countably many chains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4753168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model of set-theory in which every set of reals is Lebesgue measurable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur un problème de Sikorski / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5802193 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partitioning pairs of countable ordinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The theory of semisets / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:44, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Developments from Ernst Specker's work in set theory |
scientific article |
Statements
Developments from Ernst Specker's work in set theory (English)
0 references
21 September 2012
0 references
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ème 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. The 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. In 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.
0 references
Specker lines
0 references
history of set theory
0 references