User contributions for Rzach
Appearance
A user with 135 edits. Account created on 8 June 2003.
23 January 2024
- 16:2116:21, 23 January 2024 diff hist +549 Talk:Logical disjunction Notation addition proposal
18 February 2023
- 13:3513:35, 18 February 2023 diff hist +370 Sheffer stroke →History: add reference to Stamm
23 February 2022
- 20:0420:04, 23 February 2022 diff hist +1,191 Logical NOR Correct historical info in first section
9 May 2021
- 20:5820:58, 9 May 2021 diff hist +6 m Richard Zach update website link
8 May 2021
- 17:2617:26, 8 May 2021 diff hist +70 m Connected relation Fix reference to Principia mathematica
23 April 2021
- 19:0319:03, 23 April 2021 diff hist −9 User:Rzach No edit summary current
- 18:2318:23, 23 April 2021 diff hist +182 Talk:Total order →Meaning of "chain"
- 18:2118:21, 23 April 2021 diff hist +710 Talk:Total order →Meaning of "chain"
- 15:3515:35, 23 April 2021 diff hist +6 m Antisymmetric relation relation on X implies homogeneous
- 15:3315:33, 23 April 2021 diff hist −28 m Reflexive relation binary relation on X implies homogeneous
- 15:1715:17, 23 April 2021 diff hist −2,272 Total order Simplified & clarified definitions; removed superfluous discussion that applies to partially ordered sets; added reference to Rosenstein's classic book
- 14:0514:05, 23 April 2021 diff hist +6 m Template:Binary relations Connex -> connected
21 April 2021
- 20:2620:26, 21 April 2021 diff hist +202 Connected relation →Terminology: Trichotomy clarification
- 20:2220:22, 21 April 2021 diff hist −4 m Law of trichotomy No edit summary
- 18:2018:20, 21 April 2021 diff hist +33 m Serial relation add "total" as common name for this property
- 17:4917:49, 21 April 2021 diff hist −189 Serial relation Claim about Playfair's axiom is wrong. a) parallel is reflexive so automatically serial, regardless of Playfair's axiom. b) Playfair's axiom requires exactly one parallel line
- 17:1917:19, 21 April 2021 diff hist +23 m Binary relation →Special types of binary relations
- 17:1017:10, 21 April 2021 diff hist +10 m Connected relation →Terminology
- 17:0917:09, 21 April 2021 diff hist −25 m Connected relation →Terminology
- 17:0717:07, 21 April 2021 diff hist +203 Talk:Total relation →Challenge
- 17:0517:05, 21 April 2021 diff hist +215 Total relation Change to disambiguation page Tag: Removed redirect
- 16:5716:57, 21 April 2021 diff hist +280 m Connected relation →Terminology: reference for "total"
- 16:4816:48, 21 April 2021 diff hist +110 m Total →Mathematics: add connected relation
- 16:2416:24, 21 April 2021 diff hist +6 m Prewellordering No edit summary
- 16:2016:20, 21 April 2021 diff hist −13 m Euclidean relation Change connex to connected as per https://en.wikipedia.org/wiki/Talk:Connected_relation
- 16:1716:17, 21 April 2021 diff hist −153 m Weak ordering Reference to "connex" nonstandard, not necessary see https://en.wikipedia.org/wiki/Talk:Connected_relation
- 16:0916:09, 21 April 2021 diff hist +1 m Order theory As per discussion at https://en.wikipedia.org/wiki/Connected_relation, "connex" is not the most common terminology; and naming the comparability property here is not necessary
- 16:0016:00, 21 April 2021 diff hist −46 Binary relation Changed "connex" to "connected" as per discussion & changes at https://en.wikipedia.org/wiki/Connected_relation
- 15:5115:51, 21 April 2021 diff hist +3 Connexity ←Changed redirect target from Connex relation to Connected relation current Tag: Redirect target changed
- 15:5015:50, 21 April 2021 diff hist +3 Complete relation ←Changed redirect target from Connex relation to Connected relation current Tag: Redirect target changed
- 15:5015:50, 21 April 2021 diff hist −17 Semiconnex relation ←Changed redirect target from Connex relation#Semiconnex relation to Connected relation current Tag: Redirect target changed
- 15:4915:49, 21 April 2021 diff hist −34 Semi-connex relation ←Changed redirect target from Connex relation#Semiconnex relation to Connected relation current Tag: Redirect target changed
- 15:4715:47, 21 April 2021 diff hist +84 N Talk:Connex relation Rzach moved page Talk:Connex relation to Talk:Connected relation: changed to more common terminology current Tag: New redirect
- 15:4715:47, 21 April 2021 diff hist 0 m Talk:Connected relation Rzach moved page Talk:Connex relation to Talk:Connected relation: changed to more common terminology
- 15:4715:47, 21 April 2021 diff hist +79 N Connex relation Rzach moved page Connex relation to Connected relation: changed to more common terminology current Tag: New redirect
- 15:4715:47, 21 April 2021 diff hist 0 m Connected relation Rzach moved page Connex relation to Connected relation: changed to more common terminology
- 15:4615:46, 21 April 2021 diff hist +3,166 Connected relation Rewrote to reflect common terminology as per discussion on talk page
- 15:3815:38, 21 April 2021 diff hist +541 User:Rzach/sandbox No edit summary
- 13:2213:22, 21 April 2021 diff hist +316 User:Rzach/sandbox Undid revision 1019088723 by Rzach (talk) Tag: Undo
- 13:1513:15, 21 April 2021 diff hist −316 User:Rzach/sandbox No edit summary Tag: Reverted
- 00:0200:02, 21 April 2021 diff hist +369 Talk:Connected relation Disambiguation for total?
20 April 2021
- 13:3513:35, 20 April 2021 diff hist +170 Talk:Connected relation →Non-standard terminology
- 13:1713:17, 20 April 2021 diff hist +979 Talk:Connected relation →Non-standard terminology
- 02:0102:01, 20 April 2021 diff hist −56 User:Rzach/sandbox →Characterizations
- 01:4701:47, 20 April 2021 diff hist +97 User:Rzach/sandbox →Properties
- 01:2201:22, 20 April 2021 diff hist +209 User:Rzach/sandbox No edit summary
- 01:1901:19, 20 April 2021 diff hist +15 User:Rzach/sandbox No edit summary
19 April 2021
- 21:3721:37, 19 April 2021 diff hist +9 User:Rzach/sandbox →Connectedness and total orders
- 21:3421:34, 19 April 2021 diff hist −633 User:Rzach/sandbox →Terminology
- 21:2921:29, 19 April 2021 diff hist −1 User:Rzach/sandbox →Properties