Choice and well-ordering (Q579255): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Peter J. Freyd / rank | |||
Property / review text | |||
It is proved that a well-ordering of a set S is intuitionistically definable from any choice function for S, finding an element in any non- void subset of S. The proof is presented in topos-theoretic setting. Main leading ideas are Diaconescu's theorem that the axiom of choice implies excluded middle and the classical derivation of well-ordering from choice. The author's guess was that the language of topos theory is necessary to present his proof, since its recasting in the language of intuitionistic set theory needs machines not yet in existence. Meanwhile such recasting was done by \textit{P. Aczel} [Every choice set can be well- ordered: An elementary proof in intuitionistic set theory, 14 typed pages] and the reviewer was told that A. Blass published a similar proof. | |||
Property / review text: It is proved that a well-ordering of a set S is intuitionistically definable from any choice function for S, finding an element in any non- void subset of S. The proof is presented in topos-theoretic setting. Main leading ideas are Diaconescu's theorem that the axiom of choice implies excluded middle and the classical derivation of well-ordering from choice. The author's guess was that the language of topos theory is necessary to present his proof, since its recasting in the language of intuitionistic set theory needs machines not yet in existence. Meanwhile such recasting was done by \textit{P. Aczel} [Every choice set can be well- ordered: An elementary proof in intuitionistic set theory, 14 typed pages] and the reviewer was told that A. Blass published a similar proof. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4014716 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intuitionistic definability | |||
Property / zbMATH Keywords: intuitionistic definability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
well-ordering | |||
Property / zbMATH Keywords: well-ordering / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
choice function | |||
Property / zbMATH Keywords: choice function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
axiom of choice | |||
Property / zbMATH Keywords: axiom of choice / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
excluded middle | |||
Property / zbMATH Keywords: excluded middle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topos theory | |||
Property / zbMATH Keywords: topos theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intuitionistic set theory | |||
Property / zbMATH Keywords: intuitionistic set theory / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Peter J. Freyd / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Grigori Mints / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(87)90060-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2014718463 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:35, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Choice and well-ordering |
scientific article |
Statements
Choice and well-ordering (English)
0 references
1987
0 references
It is proved that a well-ordering of a set S is intuitionistically definable from any choice function for S, finding an element in any non- void subset of S. The proof is presented in topos-theoretic setting. Main leading ideas are Diaconescu's theorem that the axiom of choice implies excluded middle and the classical derivation of well-ordering from choice. The author's guess was that the language of topos theory is necessary to present his proof, since its recasting in the language of intuitionistic set theory needs machines not yet in existence. Meanwhile such recasting was done by \textit{P. Aczel} [Every choice set can be well- ordered: An elementary proof in intuitionistic set theory, 14 typed pages] and the reviewer was told that A. Blass published a similar proof.
0 references
intuitionistic definability
0 references
well-ordering
0 references
choice function
0 references
axiom of choice
0 references
excluded middle
0 references
topos theory
0 references
intuitionistic set theory
0 references