User contributions for Qedetc
Jump to navigation
Jump to search
17 February 2012
- 21:0621:06, 17 February 2012 diff hist +3,784 Zorn's Lemma Undo revision 80583 by DRMacIver (talk) See the talk page.
3 August 2011
13 July 2011
- 02:5102:51, 13 July 2011 diff hist +1,195 N Tarski's Undefinability Theorem Created page with "== Theorem == Let $\mathcal{Z}$ be the standard structure $(\mathbb Z, +, \cdot, s, <, 0)$ for the language of arithmetic. Let $\mathrm{Th..."
- 02:2902:29, 13 July 2011 diff hist +7 m Diagonal Lemma No edit summary
- 02:2802:28, 13 July 2011 diff hist +2,490 N Diagonal Lemma Created page with "== Theorem == Let $T$ be the set of theorems of some Definition:Theory (Logic) in the [[Definition:Language of Arithmetic|language of arithmetic..."
- 01:4701:47, 13 July 2011 diff hist +1,815 N Set of Gödel Numbers of Arithmetic Theorems Not Definable in Arithmetic Created page with "== Theorem == Let $T$ be the set of theorems of some consistent theory in the [[Definition:Language of Arithmetic|language..."
- 01:2301:23, 13 July 2011 diff hist +1,119 N Undecidability Theorem Created page with "== Theorem == Let $T$ be the set of theorems of some consistent theory in the [[Definition:Language of Arithmetic|language..."
- 01:1601:16, 13 July 2011 diff hist +183 Definition:Definable No edit summary
- 01:0701:07, 13 July 2011 diff hist +9 m Definition:Minimal Arithmetic →Note
- 01:0601:06, 13 July 2011 diff hist +897 N Definition:Language of Arithmetic Created page with "== Definition == The '''language of arithmetic''' is the first-order signature consisting of: *the binary function symbols $+$, $\cdot$ *the una..."
- 01:0601:06, 13 July 2011 diff hist +878 N Definition:Minimal Arithmetic Created page with "== Definition == '''Minimal arithmetic''' is the set $Q$ of theorems of the recursive set of [[Definition:Sentence|sent..."
- 01:0601:06, 13 July 2011 diff hist +965 N Gödel's Incompleteness Theorems/First Created page with "== Theorem == Let $T$ be the set of theorems of some recursive set of sentences in the [[Defini..."
6 July 2011
- 20:2920:29, 6 July 2011 diff hist +874 N Definition:Word Metric Created page with "== Definition == Let $G$ be a group, and let $S$ be a generating set for $G$ which is closed under inverses (that is, $x^{-1} \in S..."
5 July 2011
- 18:0218:02, 5 July 2011 diff hist +2,863 N Big Implies Saturated Created page with "== Theorem == Let $\mathcal{M}$ be an $\mathcal{L}$-structure. Let $\kappa$ be a cardinal. If $\mathcal{M}$ is $\kapp..."
- 17:3117:31, 5 July 2011 diff hist +1,429 N Definition:Big Model Created page with "== Definition == Let $\mathcal{M}$ be an $\mathcal{L}$-structure with universe $M$. Let $\kappa$ be a cardinal. $\mat..."
30 June 2011
- 23:1323:13, 30 June 2011 diff hist −108 m Definition:Definable →Alternative Definition
- 23:1323:13, 30 June 2011 diff hist +97 m Definition:Algebraic (Model Theory) →Equivalent Definition
- 23:1223:12, 30 June 2011 diff hist +210 m Definition:Definable No edit summary
29 June 2011
- 04:5504:55, 29 June 2011 diff hist +287 Definition:Age (Model Theory) →Definition
- 03:2303:23, 29 June 2011 diff hist 0 m Definition:Age (Model Theory) moved Age to Definition:Age: forgot namespace
- 03:2303:23, 29 June 2011 diff hist +643 N Definition:Age (Model Theory) Created page with "== Definition == Let $\mathcal{M}$ be an $\mathcal{L}$-structure. An '''age''' of $\mathcal{M}$ is a class $J$ of $\mathc..."
28 June 2011
- 07:1207:12, 28 June 2011 diff hist +58 m User:Qedetc →Stuff I've made or noticed linked but not written in logic / model theory current
- 07:1207:12, 28 June 2011 diff hist +2,989 N Extension Realizing All Types Created page with "== Theorem == Let $\mathcal{M}$ be an $\mathcal{L}$-structure, and let $M$ be its universe. There is an [[Definition:Elementary Extension|elem..."
27 June 2011
- 21:3221:32, 27 June 2011 diff hist −41 User:Qedetc No edit summary
- 21:3021:30, 27 June 2011 diff hist +6,947 N Elementary Amalgamation Theorem Created page with "== Theorem == Let $\mathcal{M}$ and $\mathcal{N}$ be $\mathcal{L}$-structures. Let $B$ be a subset of the universe of $\m..."
24 June 2011
- 19:2519:25, 24 June 2011 diff hist 0 m Russell's Paradox fixed misspelling
- 17:4817:48, 24 June 2011 diff hist +467 ProofWiki:Current events No edit summary
- 08:3208:32, 24 June 2011 diff hist +342 Russell's Paradox →Comment
23 June 2011
- 04:0704:07, 23 June 2011 diff hist +568 User:Qedetc No edit summary
- 03:5903:59, 23 June 2011 diff hist +1 m Saturated Models of same Cardinality are Isomorphic No edit summary
- 03:5803:58, 23 June 2011 diff hist +1 m Definition:Categorical (Model Theory) →Definition
- 03:4303:43, 23 June 2011 diff hist +1,074 N Definition:Definable Created page with "== Definition == Let $\mathcal{M}$ be an $\mathcal{L}$-structure with universe $M$. Let $A$ be a subset of $M$. and let ..."
- 03:3903:39, 23 June 2011 diff hist +1,190 N Definition:Algebraic (Model Theory) Created page with "== Definition == Let $\mathcal{M}$ be an $\mathcal{L}$-structure with universe $M$. Let $A$ be a subset of $M$. and let ..."
20 June 2011
- 00:4200:42, 20 June 2011 diff hist +478 Definition:Embedding (Model Theory) No edit summary
- 00:3400:34, 20 June 2011 diff hist −24 m Statements Equivalent to Non-Dividing Type No edit summary
- 00:3200:32, 20 June 2011 diff hist −8 m Definition:Homogeneous (Model Theory) No edit summary
- 00:2900:29, 20 June 2011 diff hist −10 m Definition:Elementary Embedding No edit summary
- 00:2900:29, 20 June 2011 diff hist +67 N Definition:Partial Embedding (Model Theory) Redirected page to Definition:Embedding (Model Theory)#Partial Embedding
- 00:2700:27, 20 June 2011 diff hist +74 N Definition:Partial Elementary Embedding Redirected page to Definition:Elementary Embedding#Partial Elementary Embedding
- 00:2700:27, 20 June 2011 diff hist −1 m Definition:Elementary Embedding No edit summary
- 00:2500:25, 20 June 2011 diff hist +1,069 Definition:Embedding (Model Theory) No edit summary
- 00:2400:24, 20 June 2011 diff hist +1,587 N Definition:Elementary Embedding Created page with "== Definition == Let $\mathcal{M}$ and $\mathcal{N}$ be $\mathcal{L}$-structures with universes $M$ and $N$ respectively. An [[Definition:Em..."
19 June 2011
- 19:5319:53, 19 June 2011 diff hist +1,678 N Definition:Homogeneous (Model Theory) Created page with "== Definition == Let $T$ be an $\mathcal{L}$-theory. Let $\kappa$ be an infinite cardinal. A [[D..."
- 19:3419:34, 19 June 2011 diff hist +2 m Definition:Saturated Model No edit summary
- 19:1519:15, 19 June 2011 diff hist +62 N Definition:Automorphism (Model Theory) Redirected page to Definition:Embedding (Model Theory)#Automorphism
- 19:0719:07, 19 June 2011 diff hist +61 N Definition:Isomorphism (Model Theory) Redirected page to Definition:Embedding (Model Theory)#Isomorphism current
- 19:0619:06, 19 June 2011 diff hist +1,170 N Definition:Embedding (Model Theory) Created page with "== Definition == Let $\mathcal{M}$ and $\mathcal{N}$ be $\mathcal{L}$-structures with universes $M$ and $N$ respectively. $j:\mathcal{M}\to\mat..."
- 18:3218:32, 19 June 2011 diff hist 0 m Statements Equivalent to Non-Dividing Type matpso maps to mapsto
- 18:3118:31, 19 June 2011 diff hist +177 Statements Equivalent to Non-Dividing Type →Proof
- 17:0617:06, 19 June 2011 diff hist +163 User talk:Qedetc →Title naming convention