User contributions for DerSpezialist
A user with 198 edits. Account created on 12 September 2010.
17 May 2024
- 18:4418:44, 17 May 2024 diff hist +241 Talk:List of Avatar: The Last Airbender characters →Princess Ursa?: new section current Tag: New topic
14 May 2024
- 15:5815:58, 14 May 2024 diff hist −15 m Hexomino Remove redundant Polyforms template (was there twice) current
30 April 2024
- 12:3412:34, 30 April 2024 diff hist +8 Non-well-founded set theory →Details: Link-Fix: Aczel's anti-foundation axiom contains no info on Scott's anti-foundation axiom
- 12:3312:33, 30 April 2024 diff hist 0 SAFA Anti-Foundation Axiom redirects to Aczel's anti-foundation axiom, which contains no info on Scott's anti-foundation axiom current
- 12:2512:25, 30 April 2024 diff hist −6 m Arrow (symbol) →Unicode: Use uppercase for Unicode code points
24 April 2024
- 07:2607:26, 24 April 2024 diff hist −3 m Von Neumann universe →Finite and low cardinality stages of the hierarchy: Typography
12 April 2024
- 16:4516:45, 12 April 2024 diff hist +121 Hyphen →Nonbreaking hyphens: Mention the usage of a non-breaking hyphen for n-th (element, digit, etc.) in maths
- 11:2711:27, 12 April 2024 diff hist −5 m Chain-of-responsibility pattern →Overview: Typography and location of references current
11 April 2024
- 16:2816:28, 11 April 2024 diff hist +4 m Measurable cardinal →Weak inaccessibility of real-valued measurable cardinals: Typography
- 15:5715:57, 11 April 2024 diff hist −50 m Axiom of countable choice →Use: Typography; style of sequences; use mathematical style instead of wordy description of C_{n+1}
- 15:5015:50, 11 April 2024 diff hist −32 m Axiom of countable choice →Overview: Typography
10 April 2024
- 16:3816:38, 10 April 2024 diff hist +8 m Measurable cardinal →Weak inaccessibility of real-valued measurable cardinals: Typo
- 16:3316:33, 10 April 2024 diff hist +4 m Measurable cardinal →Properties: Typo
9 April 2024
- 16:1316:13, 9 April 2024 diff hist +109 m Measurable cardinal Typography: Use HTML markup as <math> is unnecessary
- 14:1914:19, 9 April 2024 diff hist +2,143 m Axiom of determinacy Typography: Use HTML markup as <math> is unnecessary (no complicated formulas); also some other minor changes Tag: nowiki added
- 12:4412:44, 9 April 2024 diff hist −125 m Standard model (set theory) Typography: Use HTML markup as <math> is unnecessary
- 12:3912:39, 9 April 2024 diff hist +20 m Inner model →Definition: Link; typography
- 12:3212:32, 9 April 2024 diff hist −1 m Inner model →Definition: Typo
- 12:3112:31, 9 April 2024 diff hist −200 m Inner model Typography: Use HTML markup instead of HTML markup and <math> inconsistently; also improved a two sentences
- 12:1112:11, 9 April 2024 diff hist +151 m Aleph number Undid revision 1217956967 by Mazewaxie (talk) Makes the consistent markaup inconsistent; only the lang → language edits and some other minor stuff were actually valuable, which I kept
8 April 2024
- 16:3916:39, 8 April 2024 diff hist −15 m Inner model →Related ideas: The denotation of the constructible universe is irrelevant here
- 16:3816:38, 8 April 2024 diff hist −18 m Inner model →Related ideas: Improve phrasing
- 16:2216:22, 8 April 2024 diff hist +651 Aleph number Consistently use HTML for formulas instead of a mix of HTML, templates, and <math>. Consistent italics (variables are italic, other stuff isn’t). Also changed some formulations for ease of understanding and some sentences to be clearer to parse.
- 14:1614:16, 8 April 2024 diff hist +29 m Suslin's problem Typography
- 13:4413:44, 8 April 2024 diff hist +1 m Percentage in point Typo current
- 11:2611:26, 8 April 2024 diff hist +12 m Turn (angle) →"N" in the ISQ and SI units: Typography
- 11:2311:23, 8 April 2024 diff hist +53 m Proper forcing axiom Typography current
- 11:1711:17, 8 April 2024 diff hist +78 m AD+ Typography
- 11:0311:03, 8 April 2024 diff hist +9 m L(R) Typography current
- 10:3310:33, 8 April 2024 diff hist +301 m Martin's axiom Typography
- 10:0010:00, 8 April 2024 diff hist +388 m Rasiowa–Sikorski lemma Typography
5 April 2024
- 17:3317:33, 5 April 2024 diff hist +148 m Fields Medal →Medal: Typography and style
3 April 2024
- 15:0415:04, 3 April 2024 diff hist +22 m Gratis versus libre →Uses in open-access academic publishing: Typography: Disable wrapping between icon and closing parenthesis current
26 March 2024
- 11:5911:59, 26 March 2024 diff hist +2 m Turn (angle) →Proposals for a single letter to represent {{math|2π}}: Typography
25 March 2024
- 16:3716:37, 25 March 2024 diff hist −101 List of Michelin 3-star restaurants →Japan: Sushi Yoshitake is only 2-star, it was 3-star in 2012
- 13:0813:08, 25 March 2024 diff hist +8 m List of Michelin 3-star restaurants →Spain: Link chefs individually
- 13:0513:05, 25 March 2024 diff hist +100 m List of Michelin 3-star restaurants →Summary: Provide links to sections
13 March 2024
- 14:1114:11, 13 March 2024 diff hist −10 m Chinese character strokes Remove spaces before footnotes
- 14:0814:08, 13 March 2024 diff hist −3 m Chinese character strokes →Number of strokes: Remove spaces before footnotes
12 March 2024
- 13:1213:12, 12 March 2024 diff hist +4 m P versus NP problem →P = NP: Typography
- 12:5412:54, 12 March 2024 diff hist +20 P versus NP problem →Problems in NP not known to be in P or NP-complete: Link complexity class UP
- 10:3610:36, 12 March 2024 diff hist +9 m Idempotence →Computer science examples: Use "inspect" as it’s clearer; read usually means read from somewhere and write the variable current
- 10:0410:04, 12 March 2024 diff hist +37 m Idempotence Use math consistently, with the exception of footnotes/references
- 09:5409:54, 12 March 2024 diff hist +6 m Quantale →Overview: Use <math> consistently
- 09:4109:41, 12 March 2024 diff hist +203 Talk:Linear logic →What does ?Γ mean?: new section current Tag: New topic
- 09:3709:37, 12 March 2024 diff hist +26 m Linear logic →Exponentials: Typography
11 March 2024
- 15:5715:57, 11 March 2024 diff hist 0 m Dependency hell →Problems: Typo
21 February 2024
- 12:3612:36, 21 February 2024 diff hist +7 m Child marriage →European Union: Use "unclear" instead of an asterisk
- 12:3212:32, 21 February 2024 diff hist +806 Child marriage →European Union: Include the BVerfG ruling that the total ban of child marriage of 2017 is at last in parts unconstitutional
- 12:2512:25, 21 February 2024 diff hist +163 m Child marriage →European Union: Improve sorting by minimum age