User contributions for Zaunlen
Appearance
A user with 54 edits. Account created on 1 August 2019.
13 January 2020
- 20:5020:50, 13 January 2020 diff hist −4 Uniform continuity replaced mapsto arrow by to arrow (was probably a typo)
16 November 2019
- 21:1221:12, 16 November 2019 diff hist +3 Set (mathematics) latex fix
14 November 2019
- 19:2319:23, 14 November 2019 diff hist +207 Talk:General linear group replied
- 19:2119:21, 14 November 2019 diff hist +301 Talk:Conjugacy class replied to D. Lazard
12 November 2019
- 22:3922:39, 12 November 2019 diff hist +504 Talk:Composition series added suggestion about explanation on why composition factors are called "factors"
10 November 2019
- 15:2315:23, 10 November 2019 diff hist +310 Talk:Alternating group encouraged suggestion, added link to mathoverflow page containing an answer
- 15:1815:18, 10 November 2019 diff hist +84 Talk:Center (group theory) signed my post
- 15:1715:17, 10 November 2019 diff hist +129 Talk:Center (group theory) added suggestion about section on applications of the concept of the center
- 15:1415:14, 10 November 2019 diff hist +2 Talk:Centralizer and normalizer italized correctly
- 15:1415:14, 10 November 2019 diff hist +391 Talk:Centralizer and normalizer Suggestion about sentence in the introduction
- 14:5414:54, 10 November 2019 diff hist +242 Talk:Conjugacy class Suggestion to add a section on motivation
- 14:4614:46, 10 November 2019 diff hist +710 Talk:General linear group Added suggestion about extending section on history, and adding remarks about applications of the concept nowadays
7 November 2019
- 23:5523:55, 7 November 2019 diff hist +307 Talk:Age (model theory) Added remark about overlap between this article and article on Fraisse's theorem
- 23:4923:49, 7 November 2019 diff hist +381 Talk:Homomorphism Added suggestion about a section on the history and application of the homomorphism concept
24 September 2019
- 18:3618:36, 24 September 2019 diff hist +293 Model complete theory Added an important sufficient condition for completeness of model-complete theories.
- 18:2718:27, 24 September 2019 diff hist +4 Fraïssé's theorem Emphasized the word "Fraisse-limit" when defining it.
- 18:2518:25, 24 September 2019 diff hist +229 Fraïssé's theorem Introduced new terminology (Fraisse-limit, amalgamation). Also formulated a new introductory sentence before stating the formal theorem.
- 18:0818:08, 24 September 2019 diff hist 0 Normed vector space A norm formalizes the notion of a "length" rather than that of a "distance". The latter concept is formalized instead by a metric.
- 17:2417:24, 24 September 2019 diff hist +974 Talk:Saturated model Asking whether there is a small mistake in the motivation section about omega-saturation
2 August 2019
- 17:3217:32, 2 August 2019 diff hist +385 Critical point (set theory) Changed much into LaTeX
- 17:1717:17, 2 August 2019 diff hist +1,174 Talk:Data structure No edit summary
- 16:5816:58, 2 August 2019 diff hist +229 Linear map Split one example into very specific example and the more general version of the example, put the more specific in front of the other.
- 16:5616:56, 2 August 2019 diff hist +80 Talk:Zorn's lemma Added signature.
- 16:5616:56, 2 August 2019 diff hist +110 User talk:Zaunlen →Signature current
- 16:4416:44, 2 August 2019 diff hist +479 Talk:Zorn's lemma →Motivation section
- 16:3816:38, 2 August 2019 diff hist +81 Depth-first search Undid revision 909036106 by Zaunlen (talk) Tag: Undo
- 16:3816:38, 2 August 2019 diff hist −81 Depth-first search Included information that depth-first search is implemented using a stack.
- 16:3716:37, 2 August 2019 diff hist +81 Depth-first search Included information that depth-first search is implemented using a stack.
- 16:3516:35, 2 August 2019 diff hist +73 Queue (abstract data type) Added usage of queues: breadth-first search.
- 16:3316:33, 2 August 2019 diff hist +56 Stack (abstract data type) Added one usage of stacks: depth-first search.
- 16:2916:29, 2 August 2019 diff hist 0 Algorithmic paradigm Capitalized word.
- 16:2816:28, 2 August 2019 diff hist 0 Algorithmic paradigm Capitalized word.
- 16:2716:27, 2 August 2019 diff hist −81 Algorithmic paradigm Created bullet point lists and some headings for better overview.
- 16:0716:07, 2 August 2019 diff hist +4 Ordinal number Added link to order isomorphism wikipedia page.
- 16:0616:06, 2 August 2019 diff hist +256 Ordinal number Added motivation for the definition of Von Neumann ordinals
- 15:4915:49, 2 August 2019 diff hist 0 Zorn's lemma Improved readability by moving informal motivation in front of the formal statement.
- 15:4615:46, 2 August 2019 diff hist +7 Zorn's lemma Formulated the first sentence better: in all situations where Zorn is applicable, the thing one wants to prove is a maximal element in some poset.
- 14:2214:22, 2 August 2019 diff hist +116 Set-builder notation Added definition of enumeration notation of indexed families a_1, ..., a_n.
- 14:1914:19, 2 August 2019 diff hist +4 Zorn's lemma Added link to transfinite induction wikipedia page.
- 14:1614:16, 2 August 2019 diff hist +998 Zorn's lemma Added motivation section.
- 13:5013:50, 2 August 2019 diff hist +386 Topological space Added explanation concerning the definition of topological space being more general than the definition of a metric space, for instance.
- 13:3713:37, 2 August 2019 diff hist +797 Axiomatic foundations of topological spaces Added another characterization similar to the Kuratowski closure axioms but with a binary relation instead of a closure operator
- 13:3213:32, 2 August 2019 diff hist +791 Topological space Added another characterization which may help understanding the concept of a topological space.
- 13:0913:09, 2 August 2019 diff hist +209 Tuple Added a remark that links 0-tuples and the empty function.
- 12:5712:57, 2 August 2019 diff hist −99 Set-builder notation Move a piece of text to a better place, added a link to the page about "empty set".
- 12:5112:51, 2 August 2019 diff hist +4 Set-builder notation Changed "often" to "sometimes", because this is more neutral.
- 12:4912:49, 2 August 2019 diff hist +21 Set notation Rearranged one paragraph to two paragraphs for better readability.
- 00:1700:17, 2 August 2019 diff hist +251 Set-builder notation Added explanation of commas inside predicate.
- 00:1200:12, 2 August 2019 diff hist +466 Set-builder notation Elaborated on the notation \{1, \dots, n\}.
- 00:0500:05, 2 August 2019 diff hist −2 Model theory A proof is not a theorem, corrected the typo.