User contributions for Cokaban
Jump to navigation
Jump to search
10 February 2013
- 12:4412:44, 10 February 2013 diff hist −396 Tychonoff's Theorem Without Choice →Applications: Removed the "exlain" tag: the proof that a set A (cartesian product...) contains the element x (the inf function) does not require AC because A contains x by the definition of A and properties of x.
- 12:3412:34, 10 February 2013 diff hist +84 Tychonoff's Theorem Without Choice →Theorem without Axiom of Choice: The definition of space X was missing.
29 January 2012
- 15:2115:21, 29 January 2012 diff hist +485 Tychonoff's Theorem →Applications: Add a displayed formula to express a statement by a formula.
8 January 2012
- 19:5019:50, 8 January 2012 diff hist +28 Tychonoff's Theorem →Step 1.: style
- 19:4019:40, 8 January 2012 diff hist −1 m Tychonoff's Theorem →Proof the version without the Axiom of Choice: typo
- 19:3919:39, 8 January 2012 diff hist 0 Tychonoff's Theorem →Statement that holds in Zermelo–Fraenkel set theory (without Axiom of Choice): lower case, sentence is continued
- 19:3719:37, 8 January 2012 diff hist +3 Tychonoff's Theorem →Preliminaries: sentence style
7 January 2012
- 15:3115:31, 7 January 2012 diff hist +93 Tychonoff's Theorem →Proof: same plus explanation
- 15:2615:26, 7 January 2012 diff hist +17 Tychonoff's Theorem →Corollary 2: shorten
- 15:2315:23, 7 January 2012 diff hist −16 m Tychonoff's Theorem →Proof of the second version without using the Axiom of Choice: shorten title
- 15:2215:22, 7 January 2012 diff hist −17 Tychonoff's Theorem →Theorem without Axiom of Choice: remove {{MissingLinks}} (i think it is not needed anymore, is it?)
- 15:1615:16, 7 January 2012 diff hist +85 Definition:Product Topology added a definition of natural subbasis
3 January 2012
- 11:1611:16, 3 January 2012 diff hist +22 Talk:Topological Product of Compact Spaces No edit summary
- 11:1611:16, 3 January 2012 diff hist +225 Talk:Topological Product of Compact Spaces No edit summary
2 January 2012
- 18:0318:03, 2 January 2012 diff hist −7 Topological Product of Compact Spaces →Step 1: one sentence for a single statement.
- 18:0218:02, 2 January 2012 diff hist +252 User talk:Cokaban →Sentence style current
- 13:2113:21, 2 January 2012 diff hist +25 m Tychonoff's Theorem →Proof of the second version without using the Axiom of Choice
- 13:1813:18, 2 January 2012 diff hist +10 m Topological Product of Compact Spaces →Step 1
- 11:1811:18, 2 January 2012 diff hist +2 m Tychonoff's Theorem →Corollary 1
- 11:1711:17, 2 January 2012 diff hist +66 Tychonoff's Theorem →Corollary 1: Another link to finite product case.
- 11:1011:10, 2 January 2012 diff hist −4 Topological Product of Compact Spaces →Step 1: do not split a short statement in to sentences.
- 11:0711:07, 2 January 2012 diff hist +90 m Talk:Tychonoff's Theorem →Merging with the finite product case
- 11:0311:03, 2 January 2012 diff hist +248 Talk:Tychonoff's Theorem →Merging with the finite product case: new section
- 10:5910:59, 2 January 2012 diff hist +3 Tychonoff's Theorem →Proof of the second version without using the Axiom of Choice: Linked to the theorem about the product of two spaces.
- 10:5210:52, 2 January 2012 diff hist −391 Tychonoff's Theorem →Proof of the second version without using the Axiom of Choice: Remove note about "greatest of what". Feel free to change wording to make it more precise, see talk page.
- 10:5010:50, 2 January 2012 diff hist −183 Tychonoff's Theorem →Proof of the second version without using the Axiom of Choice: remove note about greatest vs maximal
- 10:4810:48, 2 January 2012 diff hist +310 Tychonoff's Theorem →Proof of the second version without using the Axiom of Choice: footnotes
1 January 2012
- 16:3616:36, 1 January 2012 diff hist −158 Tychonoff's Theorem →Statement that holds in Zermelo–Fraenkel set theory (without Axiom of Choice): removed from the statement
- 16:3416:34, 1 January 2012 diff hist +216 Tychonoff's Theorem →Preliminaries: Moved the statement to prelimitaries
- 16:2916:29, 1 January 2012 diff hist +22 Tychonoff's Theorem →Statement that holds in Zermelo–Fraenkel set theory (without Axiom of Choice): Mappings on Initial Intervals of a Well-Ordered Set Ordered by Inclusion form a Tree.
- 16:2616:26, 1 January 2012 diff hist +9 Tychonoff's Theorem →Statement that holds in Zermelo–Fraenkel set theory (without Axiom of Choice)
- 16:2516:25, 1 January 2012 diff hist +283 Tychonoff's Theorem →Statement: Clarified footnotes and statement title
- 14:3514:35, 1 January 2012 diff hist +56 Tychonoff's Theorem →Proof: clarified in the title that the proof of the second version does not use the AoC
- 14:3014:30, 1 January 2012 diff hist +5 m Talk:Tychonoff's Theorem →Link to a proof that the product of two compact spaces is compact.
- 14:3014:30, 1 January 2012 diff hist +307 Talk:Tychonoff's Theorem →Link to a proof that the product of two compact spaces is compact.
- 14:2514:25, 1 January 2012 diff hist +303 Talk:Tychonoff's Theorem →Another instance of AoC
- 14:1914:19, 1 January 2012 diff hist +1 m Talk:Tychonoff's Theorem →Applications section
- 14:1814:18, 1 January 2012 diff hist +469 Talk:Tychonoff's Theorem →Applications section
- 14:1014:10, 1 January 2012 diff hist +7 m Tychonoff's Theorem →Statement
- 14:0914:09, 1 January 2012 diff hist +29 Tychonoff's Theorem →Theorem without Axiom of Choice: footnotes
- 14:0714:07, 1 January 2012 diff hist +16 Tychonoff's Theorem →Statement: made footnotes
- 14:0514:05, 1 January 2012 diff hist +99 Talk:Tychonoff's Theorem →Another instance of AoC
- 14:0214:02, 1 January 2012 diff hist +241 Talk:Tychonoff's Theorem →Another instance of AoC
- 13:5813:58, 1 January 2012 diff hist +412 Talk:Tychonoff's Theorem →Greatest element of what: new section
- 13:5313:53, 1 January 2012 diff hist −148 Tychonoff's Theorem →Proof: AoC is not needed, use hypotheses
- 13:5213:52, 1 January 2012 diff hist +569 Talk:Tychonoff's Theorem →Another instance of AoC
- 13:4613:46, 1 January 2012 diff hist +35 Talk:Tychonoff's Theorem →Greatest vs. maximal
- 13:4513:45, 1 January 2012 diff hist +221 Talk:Tychonoff's Theorem →Greatest vs. maximal
- 13:4213:42, 1 January 2012 diff hist +239 Talk:Tychonoff's Theorem →Link to a proof that the product of two compact spaces is compact.
- 10:0910:09, 1 January 2012 diff hist +1 m Talk:Tychonoff's Theorem →Link to a proof that the product of two compact spaces is compact.