A user with 247 edits. Account created on 31 October 2005.
6 November 2007
- 07:13 07:13, 6 November 2007 diff hist +3 Laws of Form →Sentential logic: supply link for Meguire (2003); simplify last para.
- 07:06 07:06, 6 November 2007 diff hist +54 Laws of Form →Propositional calculus: style edits; clarify tediousness of truth tables
- 05:47 05:47, 6 November 2007 diff hist 0 m Laws of Form →Relation to groupoids: fix typo in link
- 05:46 05:46, 6 November 2007 diff hist +237 Laws of Form →Related work: minor edits except for last para.
- 05:31 05:31, 6 November 2007 diff hist −377 Laws of Form →The primary algebra (Chapter 6): this prose jumps the narrative gun and is also redundant
- 05:29 05:29, 6 November 2007 diff hist +32 Laws of Form →The form (Chapter 1): typographical repairs; add links
5 November 2007
- 21:47 21:47, 5 November 2007 diff hist −23 Cornell Woolrich style edits
- 21:41 21:41, 5 November 2007 diff hist +122 Cornell Woolrich →Biography: many style edits, clarifications
- 21:09 21:09, 5 November 2007 diff hist +99 Cornell Woolrich →External links: reference Nevins biography
- 19:42 19:42, 5 November 2007 diff hist +40 Tarski's axioms →The axioms: revise language of Continuity; increase capitalization
- 19:09 19:09, 5 November 2007 diff hist +2 Tarski's axioms →The axioms: reformat 2nd para
- 18:17 18:17, 5 November 2007 diff hist +65 Tarski's axioms →Discussion: style edits, especially math typography
- 17:44 17:44, 5 November 2007 diff hist +99 Alfred Tarski revise intro; style edits to next 3 paras.
- 17:07 17:07, 5 November 2007 diff hist +10 Outline of algebraic structures →Field-like structures: add links, fix typos
- 17:02 17:02, 5 November 2007 diff hist +14 Outline of algebraic structures →Field-like structures: multiplication has a zero element
- 16:41 16:41, 5 November 2007 diff hist +121 Outline of algebraic structures →Field-like structures: revise ordered field
- 16:08 16:08, 5 November 2007 diff hist +27 Outline of algebraic structures →Field-like structures: revise algebraically closed field; introduce S-{0} notation
4 November 2007
- 19:17 19:17, 4 November 2007 diff hist +36 Russell's paradox style edits; reorder topics
- 06:07 06:07, 4 November 2007 diff hist −128 Jacques Maritain →External links: reformat
- 04:41 04:41, 4 November 2007 diff hist −166 Equivalence relation move congruence relations to section 4; edit and reorder first 3 paras of Algebraic Characterizations
3 November 2007
- 11:27 11:27, 3 November 2007 diff hist +244 Equivalence relation →Algebraic characterizations: Congruence relations
- 11:14 11:14, 3 November 2007 diff hist −5 m Equivalence relation →Algebraic characterizations: typos
- 11:11 11:11, 3 November 2007 diff hist +928 Equivalence relation →Algebraic characterizations: flesh out first section on lattices and monoids
- 10:51 10:51, 3 November 2007 diff hist +94 Equivalence relation →From order to equivalence via symmetry: reorganise, add partial equivalence relations
- 10:30 10:30, 3 November 2007 diff hist +100 m Outline of algebraic structures →External links: qualify map
- 10:23 10:23, 3 November 2007 diff hist −48 m Outline of algebraic structures →Lattices: equivalence relations form a modular lattice
2 November 2007
- 10:32 10:32, 2 November 2007 diff hist −29 Strategic Air Command (film) rewrite intro, revise para 2
- 10:25 10:25, 2 November 2007 diff hist +41 Strategic Air Command (film) B-36 depicted in poster
- 10:18 10:18, 2 November 2007 diff hist +292 Strategic Air Command (film) extensive editing to paras 7,8
30 October 2007
- 10:21 10:21, 30 October 2007 diff hist +284 Wolfram's 2-state 3-symbol Turing machine describe 2,3 Turing machine using a state mapping table
- 09:56 09:56, 30 October 2007 diff hist +42 Wolfram's 2-state 3-symbol Turing machine style edits
29 October 2007
- 19:01 19:01, 29 October 2007 diff hist +555 Outline of algebraic structures →Lattices: add first four bullet points
- 08:53 08:53, 29 October 2007 diff hist 0 m Outline of algebraic structures →Group-like structures
- 08:50 08:50, 29 October 2007 diff hist +6 m Outline of algebraic structures →Categories
- 08:47 08:47, 29 October 2007 diff hist +461 Outline of algebraic structures →Group-like structures: reorder bands to highlight connection to lattices. Change first several paras.
- 06:49 06:49, 29 October 2007 diff hist +414 Outline of algebraic structures →Lattices: revise first 10-odd lines of this section, mainly to introduce the notion of lattice-like structures having but one binary operation.
28 October 2007
- 23:30 23:30, 28 October 2007 diff hist +391 Outline of algebraic structures →Lattices: complete definition of polyadic algebras; elaborate definition of lattice
- 19:05 19:05, 28 October 2007 diff hist +92 Outline of algebraic structures →Arithmetics: clarify heading
- 19:00 19:00, 28 October 2007 diff hist +70 Outline of algebraic structures →Structures that are not varieties: style edits to paras 2,3; refine definition of category
- 09:48 09:48, 28 October 2007 diff hist +630 Outline of algebraic structures →Lattices: flesh out polyadic algebras
27 October 2007
- 09:23 09:23, 27 October 2007 diff hist +312 Outline of algebraic structures →Group-like structures: add bol and Bruck loops
26 October 2007
- 22:23 22:23, 26 October 2007 diff hist +56 Zipf's law correct formatting and style problems in section 2
- 22:19 22:19, 26 October 2007 diff hist −18 Zipf's law →Motivation
- 22:16 22:16, 26 October 2007 diff hist +59 Zipf's law wikify, rewrite and drastically shorten intro, move text into body, many style edits; reformat references
- 19:11 19:11, 26 October 2007 diff hist −42 Quasigroup →References: reformat
- 19:05 19:05, 26 October 2007 diff hist +296 Quasigroup →Definitions: refine mathematical typography, universal algebra definition; many style edits
- 18:27 18:27, 26 October 2007 diff hist +476 Outline of algebraic structures →Group-like structures: reorganize and expand first paragraph of this section; link to entry Steiner system
25 October 2007
- 17:05 17:05, 25 October 2007 diff hist +473 Outline of algebraic structures →Lattices that are not varieties: modify Kleene lattice; add information algebra, cylindric algebra, and polyadic algebra
- 17:00 17:00, 25 October 2007 diff hist −23 Cylindric algebra →References: reformat
- 08:50 08:50, 25 October 2007 diff hist +47 Outline of algebraic structures →Simple structures: bipointed sets
A user with 247 edits. Account created on 31 October 2005.
6 November 2007
- 07:13 07:13, 6 November 2007 diff hist +3 Laws of Form →Sentential logic: supply link for Meguire (2003); simplify last para.
- 07:06 07:06, 6 November 2007 diff hist +54 Laws of Form →Propositional calculus: style edits; clarify tediousness of truth tables
- 05:47 05:47, 6 November 2007 diff hist 0 m Laws of Form →Relation to groupoids: fix typo in link
- 05:46 05:46, 6 November 2007 diff hist +237 Laws of Form →Related work: minor edits except for last para.
- 05:31 05:31, 6 November 2007 diff hist −377 Laws of Form →The primary algebra (Chapter 6): this prose jumps the narrative gun and is also redundant
- 05:29 05:29, 6 November 2007 diff hist +32 Laws of Form →The form (Chapter 1): typographical repairs; add links
5 November 2007
- 21:47 21:47, 5 November 2007 diff hist −23 Cornell Woolrich style edits
- 21:41 21:41, 5 November 2007 diff hist +122 Cornell Woolrich →Biography: many style edits, clarifications
- 21:09 21:09, 5 November 2007 diff hist +99 Cornell Woolrich →External links: reference Nevins biography
- 19:42 19:42, 5 November 2007 diff hist +40 Tarski's axioms →The axioms: revise language of Continuity; increase capitalization
- 19:09 19:09, 5 November 2007 diff hist +2 Tarski's axioms →The axioms: reformat 2nd para
- 18:17 18:17, 5 November 2007 diff hist +65 Tarski's axioms →Discussion: style edits, especially math typography
- 17:44 17:44, 5 November 2007 diff hist +99 Alfred Tarski revise intro; style edits to next 3 paras.
- 17:07 17:07, 5 November 2007 diff hist +10 Outline of algebraic structures →Field-like structures: add links, fix typos
- 17:02 17:02, 5 November 2007 diff hist +14 Outline of algebraic structures →Field-like structures: multiplication has a zero element
- 16:41 16:41, 5 November 2007 diff hist +121 Outline of algebraic structures →Field-like structures: revise ordered field
- 16:08 16:08, 5 November 2007 diff hist +27 Outline of algebraic structures →Field-like structures: revise algebraically closed field; introduce S-{0} notation
4 November 2007
- 19:17 19:17, 4 November 2007 diff hist +36 Russell's paradox style edits; reorder topics
- 06:07 06:07, 4 November 2007 diff hist −128 Jacques Maritain →External links: reformat
- 04:41 04:41, 4 November 2007 diff hist −166 Equivalence relation move congruence relations to section 4; edit and reorder first 3 paras of Algebraic Characterizations
3 November 2007
- 11:27 11:27, 3 November 2007 diff hist +244 Equivalence relation →Algebraic characterizations: Congruence relations
- 11:14 11:14, 3 November 2007 diff hist −5 m Equivalence relation →Algebraic characterizations: typos
- 11:11 11:11, 3 November 2007 diff hist +928 Equivalence relation →Algebraic characterizations: flesh out first section on lattices and monoids
- 10:51 10:51, 3 November 2007 diff hist +94 Equivalence relation →From order to equivalence via symmetry: reorganise, add partial equivalence relations
- 10:30 10:30, 3 November 2007 diff hist +100 m Outline of algebraic structures →External links: qualify map
- 10:23 10:23, 3 November 2007 diff hist −48 m Outline of algebraic structures →Lattices: equivalence relations form a modular lattice
2 November 2007
- 10:32 10:32, 2 November 2007 diff hist −29 Strategic Air Command (film) rewrite intro, revise para 2
- 10:25 10:25, 2 November 2007 diff hist +41 Strategic Air Command (film) B-36 depicted in poster
- 10:18 10:18, 2 November 2007 diff hist +292 Strategic Air Command (film) extensive editing to paras 7,8
30 October 2007
- 10:21 10:21, 30 October 2007 diff hist +284 Wolfram's 2-state 3-symbol Turing machine describe 2,3 Turing machine using a state mapping table
- 09:56 09:56, 30 October 2007 diff hist +42 Wolfram's 2-state 3-symbol Turing machine style edits
29 October 2007
- 19:01 19:01, 29 October 2007 diff hist +555 Outline of algebraic structures →Lattices: add first four bullet points
- 08:53 08:53, 29 October 2007 diff hist 0 m Outline of algebraic structures →Group-like structures
- 08:50 08:50, 29 October 2007 diff hist +6 m Outline of algebraic structures →Categories
- 08:47 08:47, 29 October 2007 diff hist +461 Outline of algebraic structures →Group-like structures: reorder bands to highlight connection to lattices. Change first several paras.
- 06:49 06:49, 29 October 2007 diff hist +414 Outline of algebraic structures →Lattices: revise first 10-odd lines of this section, mainly to introduce the notion of lattice-like structures having but one binary operation.
28 October 2007
- 23:30 23:30, 28 October 2007 diff hist +391 Outline of algebraic structures →Lattices: complete definition of polyadic algebras; elaborate definition of lattice
- 19:05 19:05, 28 October 2007 diff hist +92 Outline of algebraic structures →Arithmetics: clarify heading
- 19:00 19:00, 28 October 2007 diff hist +70 Outline of algebraic structures →Structures that are not varieties: style edits to paras 2,3; refine definition of category
- 09:48 09:48, 28 October 2007 diff hist +630 Outline of algebraic structures →Lattices: flesh out polyadic algebras
27 October 2007
- 09:23 09:23, 27 October 2007 diff hist +312 Outline of algebraic structures →Group-like structures: add bol and Bruck loops
26 October 2007
- 22:23 22:23, 26 October 2007 diff hist +56 Zipf's law correct formatting and style problems in section 2
- 22:19 22:19, 26 October 2007 diff hist −18 Zipf's law →Motivation
- 22:16 22:16, 26 October 2007 diff hist +59 Zipf's law wikify, rewrite and drastically shorten intro, move text into body, many style edits; reformat references
- 19:11 19:11, 26 October 2007 diff hist −42 Quasigroup →References: reformat
- 19:05 19:05, 26 October 2007 diff hist +296 Quasigroup →Definitions: refine mathematical typography, universal algebra definition; many style edits
- 18:27 18:27, 26 October 2007 diff hist +476 Outline of algebraic structures →Group-like structures: reorganize and expand first paragraph of this section; link to entry Steiner system
25 October 2007
- 17:05 17:05, 25 October 2007 diff hist +473 Outline of algebraic structures →Lattices that are not varieties: modify Kleene lattice; add information algebra, cylindric algebra, and polyadic algebra
- 17:00 17:00, 25 October 2007 diff hist −23 Cylindric algebra →References: reformat
- 08:50 08:50, 25 October 2007 diff hist +47 Outline of algebraic structures →Simple structures: bipointed sets