User contributions for CBM
A user with 55,390 edits. Account created on 19 March 2006.
16 June 2006
- 04:3204:32, 16 June 2006 diff hist +955 Talk:Chaitin's constant On the probability interpretation
- 04:1704:17, 16 June 2006 diff hist +1,205 Talk:Kolmogorov complexity Some issues
- 04:1104:11, 16 June 2006 diff hist −1,027 Talk:Kolmogorov complexity Move my previos edit to Algorithmic Information Complexity
- 04:0804:08, 16 June 2006 diff hist +1,027 Talk:Kolmogorov complexity Some issues
14 June 2006
- 14:1414:14, 14 June 2006 diff hist +45 List of first-order theories second order arithmetic is categorical in second order logic
13 June 2006
- 20:0620:06, 13 June 2006 diff hist +781 Talk:Definable real number Still more problems
- 18:4418:44, 13 June 2006 diff hist +882 Talk:Turing degree plans for clean up
- 15:3915:39, 13 June 2006 diff hist +272 Second-order arithmetic clarify second-order logic makes second-order arithmetic categorical
- 15:2515:25, 13 June 2006 diff hist +53 m Talk:Second-order logic changes needed
- 15:2415:24, 13 June 2006 diff hist +520 Talk:Second-order logic changes needed to beginning part
- 15:1715:17, 13 June 2006 diff hist +203 User talk:Trovatore experiment with analytical hierarchy
- 15:0015:00, 13 June 2006 diff hist +600 Talk:Analytical hierarchy edit on 2006-6-13
- 14:5114:51, 13 June 2006 diff hist +2,845 Analytical hierarchy clean up
- 13:5913:59, 13 June 2006 diff hist +342 N Talk:Borel hierarchy Plans
- 13:5713:57, 13 June 2006 diff hist +599 User talk:Trovatore my concern; arithmetical versus lightface Borel; where to put it?
- 13:3113:31, 13 June 2006 diff hist +749 Reverse mathematics Clean up example of reverse math proof
- 12:5912:59, 13 June 2006 diff hist +277 User talk:Trovatore Arithmetical and Borel hierarchies
- 12:5312:53, 13 June 2006 diff hist +16 m Arithmetical hierarchy Spelling and formatting
- 12:4812:48, 13 June 2006 diff hist +485 Talk:Arithmetical hierarchy Major edit 2006-6-13
- 12:4212:42, 13 June 2006 diff hist +3,227 Arithmetical hierarchy Major edit (see talk page)
- 02:2802:28, 13 June 2006 diff hist +20 m Borel hierarchy make it a stub
- 01:5101:51, 13 June 2006 diff hist +604 N Borel hierarchy An introduction to the article. I will expand soon into a full article.
25 May 2006
- 14:3614:36, 25 May 2006 diff hist +1,591 Talk:Zermelo–Fraenkel set theory on the attribution to Montague
- 12:0012:00, 25 May 2006 diff hist +174 Talk:Zermelo–Fraenkel set theory on my edit of the article today
- 11:5711:57, 25 May 2006 diff hist +12 Zermelo–Fraenkel set theory Correct two errors
- 11:4011:40, 25 May 2006 diff hist +209 Talk:Zermelo–Fraenkel set theory Reply about finite axiomitizations
28 April 2006
- 11:3711:37, 28 April 2006 diff hist +77 Talk:Zermelo–Fraenkel set theory →Distinctness condition missing in formal statement of Axiom of Choice?
26 April 2006
- 22:3722:37, 26 April 2006 diff hist +537 Talk:Zermelo–Fraenkel set theory The silly consistency comment
- 11:3711:37, 26 April 2006 diff hist +281 Talk:Second-order logic Semantics
- 11:3511:35, 26 April 2006 diff hist +1,813 Second-order logic Clarified definition at top; added examples
- 10:2210:22, 26 April 2006 diff hist +411 Peano axioms Add sentence on nonstandard models of second-order PA
12 April 2006
- 20:2420:24, 12 April 2006 diff hist +77 Talk:Gödel's completeness theorem No edit summary
- 20:2320:23, 12 April 2006 diff hist +104 Talk:Gödel's completeness theorem No edit summary
- 15:5115:51, 12 April 2006 diff hist +331 Talk:Gödel's completeness theorem Equivalence to ultrafilter lemma
- 15:4815:48, 12 April 2006 diff hist +96 Gödel's completeness theorem No edit summary
1 April 2006
- 23:3723:37, 1 April 2006 diff hist +619 Gödel's completeness theorem Clarified things, added the more general statement
22 March 2006
- 18:4518:45, 22 March 2006 diff hist 0 m Reverse mathematics Fix a math typo
21 March 2006
- 02:5502:55, 21 March 2006 diff hist +1,190 Talk:Second-order arithmetic →Changes as of 2006-3-20
- 02:4102:41, 21 March 2006 diff hist +494 Reverse mathematics Changed section titles and added para. on terminology
20 March 2006
- 02:2402:24, 20 March 2006 diff hist +15 Talk:Computable function No edit summary
- 02:2102:21, 20 March 2006 diff hist +424 Talk:Computable function →Merge
- 02:1402:14, 20 March 2006 diff hist +282 Talk:Computable function →Circularity of Definitions
- 02:1002:10, 20 March 2006 diff hist +152 Talk:Reverse mathematics Changes on 2006-3-20
- 02:0802:08, 20 March 2006 diff hist +1,662 Talk:Second-order arithmetic Changes as of 2006-3-20
- 01:5301:53, 20 March 2006 diff hist −29 Reverse mathematics No edit summary
- 01:5101:51, 20 March 2006 diff hist −12 Reverse mathematics No edit summary
- 01:5001:50, 20 March 2006 diff hist +710 Reverse mathematics No edit summary
- 01:2501:25, 20 March 2006 diff hist +81 Reverse mathematics No edit summary
19 March 2006
- 16:2016:20, 19 March 2006 diff hist +3,012 Second-order arithmetic No edit summary
- 14:4714:47, 19 March 2006 diff hist +12 Wikipedia:Introduction (historical) No edit summary
