User contributions for KBlott
Jump to navigation
Jump to search
1 March 2012
- 00:3100:31, 1 March 2012 diff hist 0 User:KBlott/Proofs/Semilattice with Identity is an Idempotent Commutative Monoid →Examples and some non-examples current
- 00:2700:27, 1 March 2012 diff hist +148 m User:KBlott/Proofs/Semilattice with Identity is an Idempotent Commutative Monoid →Examples and some non-examples
- 00:2200:22, 1 March 2012 diff hist −6 m User:KBlott/Proofs/Semilattice with Identity is an Idempotent Commutative Monoid →Examples and some non-examples
- 00:1800:18, 1 March 2012 diff hist −210 m User:KBlott/Proofs/Semilattice with Identity is an Idempotent Commutative Monoid No edit summary
- 00:1400:14, 1 March 2012 diff hist +1,897 N User:KBlott/Proofs/Semilattice with Identity is an Idempotent Commutative Monoid Created page with "An algebra $(S, \cdot)$ is a semilattice with identity $e \in S$ iff $(S, \cdot, e)$ is an idempotent commutative monoid. === Proof === $(S, \cdot)$ is a semilattice with i..."
- 00:1200:12, 1 March 2012 diff hist +86 m User:KBlott/Proofs No edit summary current
30 January 2012
- 21:5821:58, 30 January 2012 diff hist +104 m Successor of Omega More ";" related edits.
- 20:5920:59, 30 January 2012 diff hist −1 m Successor of Omega →Theorem
- 20:5920:59, 30 January 2012 diff hist −1 m Successor of Omega →Proof: Removing the ";". Copi wouldn't like this but hey, what the hell?
- 16:2816:28, 30 January 2012 diff hist +15 Successor of Omega →Sources
29 January 2012
- 19:2519:25, 29 January 2012 diff hist +605 N Successor of Omega Created page with "== Theorem == $\mathbb N + 1 = \lbrace 0, 1, 2, ...;\mathbb N \rbrace$. == Proof == {{begin-eqn}} {{eqn | l=\mathbb N + 1 | r=\mathbb N \cup \lbrace \mathbb N \rbrac..."
- 19:2219:22, 29 January 2012 diff hist +151 m User:KBlott/Proofs No edit summary
- 17:3317:33, 29 January 2012 diff hist +1 m User:KBlott/Proofs No edit summary
- 17:3317:33, 29 January 2012 diff hist −2 m User:KBlott/Proofs No edit summary
- 17:3217:32, 29 January 2012 diff hist −365 m User:KBlott/Proofs No edit summary
- 17:3217:32, 29 January 2012 diff hist +363 N User:KBlott/Proofs/Max and Min Created page with "Max and Min are Semigroups. <br/> The Max and Min Semigroups are Commutative. <br/> The Max and Min Semigroups are Idempotent. <br/> The [[Max and Min Semigroups a..."
- 17:3117:31, 29 January 2012 diff hist +36 m User:KBlott/Proofs No edit summary
28 January 2012
- 04:0804:08, 28 January 2012 diff hist +194 User talk:KBlott →Considering editing
- 04:0004:00, 28 January 2012 diff hist +48 m Upper Semilattice on Classical Set is Semilattice →Proof
- 03:5603:56, 28 January 2012 diff hist +236 N Definition:Upper Semilattice on Classical Set Created page with "Let $(S, \le)$ be a poset with the property that: :$\forall x, y \in S$: ::$\sup\{x,y\}$ exists. Then $(S,\vee)$ is called an '''upper semilattice''' whe..."
- 03:5403:54, 28 January 2012 diff hist +1,417 N Upper Semilattice on Classical Set is Semilattice Created page with "== Theorem == Let $(S, \le)$ be an upper semilattice on a classical set $S$. Then :$\exists \vee: S \times S \to S$: ::..."
- 03:5203:52, 28 January 2012 diff hist +1 User:KBlott/Proofs No edit summary
- 03:5103:51, 28 January 2012 diff hist +69 m User:KBlott/Proofs No edit summary
- 00:3000:30, 28 January 2012 diff hist +20 m User talk:KBlott →Considering editing
27 January 2012
- 23:2123:21, 27 January 2012 diff hist +1 m User talk:Lord Farin →A poset is an upper semilattice if every pair of elements has a supremum
- 23:2123:21, 27 January 2012 diff hist +59 User talk:Lord Farin →A poset is an upper semilattice if every pair of elements has a supremum
- 23:1223:12, 27 January 2012 diff hist +211 User talk:Lord Farin →A poset is an upper semilattice if every pair of elements has a supremum: new section
- 23:1023:10, 27 January 2012 diff hist +354 User talk:KBlott →Considering editing
- 20:0820:08, 27 January 2012 diff hist −2 m User talk:KBlott →Considering editing
- 20:0720:07, 27 January 2012 diff hist +153 User talk:KBlott →Considering editing
- 15:0315:03, 27 January 2012 diff hist +90 m Definition:Partially Ordered Set →Sources: see Definition 1.4 on page 8
- 15:0015:00, 27 January 2012 diff hist +131 Definition:Partially Ordered Set →Definition: I assume this is a major change.
25 January 2012
- 02:0602:06, 25 January 2012 diff hist +8 Definition:Equality of Functions of Sets No edit summary
- 02:0102:01, 25 January 2012 diff hist +1,087 N Definition:Equality of Functions of Sets Created page with "== Definition == Let $U$ be a universe. Let $X_1, X_2, Y_1, Y_2 \in U$ be sets. Let $f_1 \in Y_1^{\ X_1}$ and $f_2 \in Y_2^..."
- 01:4201:42, 25 January 2012 diff hist +50 Max Operation Yields Supremum of Parameters →Comment
- 01:0901:09, 25 January 2012 diff hist +1 Definition:Equality of Sets No edit summary
- 01:0801:08, 25 January 2012 diff hist +17 Definition:Equality of Sets No edit summary
- 01:0701:07, 25 January 2012 diff hist +10 Definition:Equality of Sets →Definition
- 01:0601:06, 25 January 2012 diff hist +53 Definition:Equality of Sets →Definition
- 01:0501:05, 25 January 2012 diff hist +2 Definition:Equality of Sets No edit summary
- 01:0301:03, 25 January 2012 diff hist +32 Definition:Equality of Sets →Definition
- 01:0201:02, 25 January 2012 diff hist +15 Definition:Equality of Sets →Definition
- 01:0101:01, 25 January 2012 diff hist +27 Definition:Equality of Sets No edit summary
- 00:5900:59, 25 January 2012 diff hist +307 N Definition:Equality of Sets Created page with "== Definition == Let $U$ be a universe. Let $X, Y \in U$ be two sets. The two sets are said to be equal iff: :$\forall u \in X \cup Y$, ::$u \in X \iff u \in Y$ ..."
- 00:3800:38, 25 January 2012 diff hist +64 Max Operation Yields Supremum of Parameters →Case 2: $y \preceq x$
- 00:3400:34, 25 January 2012 diff hist +33 Max Operation Yields Supremum of Parameters →Theorem
- 00:2500:25, 25 January 2012 diff hist +33 Max Operation Yields Supremum of Parameters →Case 2: $y \preceq x$
- 00:2000:20, 25 January 2012 diff hist +19 Max Operation Yields Supremum of Parameters →Theorem
- 00:1700:17, 25 January 2012 diff hist +28 Max Operation Yields Supremum of Parameters →Case 2: $y \preceq x$
- 00:1400:14, 25 January 2012 diff hist +28 Max Operation Yields Supremum of Parameters →Case 1: $x \preceq y$