Benutzerbeiträge von „EmilJ“
Für EmilJ Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher globales Sperr-Logbuch globales Konto Bearbeitungsfilter-Logbuch
Der Benutzer hat 6 Bearbeitungen. Das Konto wurde am 4. Juni 2008 erstellt.
24. Juli 2012
- 18:0018:00, 24. Jul. 2012 Unterschied Versionen +4 K Kazimierz Władysław Wóycicki IPA correction
13. Juli 2012
- 19:2219:22, 13. Jul. 2012 Unterschied Versionen +1 K Benutzer:Tino Cannst/Minkowski'schen Fragezeichenfunktion →Self-symmetry: fix link
6. Juli 2012
- 13:5513:55, 6. Jul. 2012 Unterschied Versionen +12 K Robinson-Arithmetik →Metamathematics: make it end-extension for more clarity
2. Dezember 2010
- 21:2221:22, 2. Dez. 2010 Unterschied Versionen −206 Robinson-Arithmetik rm non-notable draft lecture notes that give hardly anything relevant besides the definition of Robinson arithmetic
- 21:1621:16, 2. Dez. 2010 Unterschied Versionen +305 K Robinson-Arithmetik better ref; fmt
- 15:5215:52, 2. Dez. 2010 Unterschied Versionen +461 Robinson-Arithmetik →Metamathematics: Discuss 2nd incompleteness thm explicitly, with a reference. "Precisely" is unwarranted.
- 14:0614:06, 2. Dez. 2010 Unterschied Versionen −220 Robinson-Arithmetik Undid revision 399996479 by Grudeu (talk) No, Gödel's second incompleteness is perfectly applicable to Q.
4. August 2010
- 13:3713:37, 4. Aug. 2010 Unterschied Versionen −5 Robinson-Arithmetik fix links and an error
6. Mai 2010
- 12:1912:19, 6. Mai 2010 Unterschied Versionen +22 Arithmetische Hierarchie →The arithmetical hierarchy of formulas: It may a bit confusing, include one more quantifier for clarity.
- 12:1912:19, 6. Mai 2010 Unterschied Versionen +22 Arithmetische Hierarchie →The arithmetical hierarchy of formulas: It may a bit confusing, include one more quantifier for clarity.
24. November 2009
- 16:2016:20, 24. Nov. 2009 Unterschied Versionen −25 GNU-Lizenz für freie Dokumentation Änderung 67203483 von JAnDbot wurde rückgängig gemacht. ro:Wikipedia:GNU FDL is interwiki for WP:GFDL, not for this article
29. Mai 2009
- 12:0412:04, 29. Mai 2009 Unterschied Versionen +23 AC0 correction
22. Mai 2009
- 15:5115:51, 22. Mai 2009 Unterschied Versionen +1 K Komplexitätsklasse →Einteilung der Komplexitätsklassen: spelling
- 15:5115:51, 22. Mai 2009 Unterschied Versionen +1 K NSPACE spelling
- 15:4915:49, 22. Mai 2009 Unterschied Versionen +1 K Satz von Immerman und Szelepcseny fix double redirect aktuell
- 15:4815:48, 22. Mai 2009 Unterschied Versionen 0 K Satz von Immerman und Szelepcsényi hat „Satz von Immerman und Szelepcsény“ nach „Satz von Immerman und Szelepcsényi“ verschoben: proper spelling of the name
24. April 2009
- 12:4412:44, 24. Apr. 2009 Unterschied Versionen −28 AC0 that's trivial consequence of the previous sentence
9. März 2009
- 17:5217:52, 9. Mär. 2009 Unterschied Versionen −26 K Hausdorffs Maximalkettensatz cs:Princip maximality ist Lemma von Zorn, nicht Hausdorffs Maximalkettensatz
12. Februar 2009
- 17:1117:11, 12. Feb. 2009 Unterschied Versionen +6.906 K Be Like Others Undid revision 270185315 by John Cho (talk)
8. Januar 2009
- 12:5112:51, 8. Jan. 2009 Unterschied Versionen −150 K Presburger-Arithmetik Undid revision 262695987 by 76.1.136.117 The bound is triply exponential, and the added sentence is nonsense.
10. Dezember 2008
- 14:3114:31, 10. Dez. 2008 Unterschied Versionen +26 K Robinson-Arithmetik →Variant axiomatizations: fmt
- 14:2814:28, 10. Dez. 2008 Unterschied Versionen −211 K Robinson-Arithmetik Undid revision 257003356 by 123.255.63.80 (talk) The original formating is better.
5. Dezember 2008
- 16:3916:39, 5. Dez. 2008 Unterschied Versionen +49 Robinson-Arithmetik →Metamathematics: better
- 16:3216:32, 5. Dez. 2008 Unterschied Versionen −241 Robinson-Arithmetik →Metamathematics: fix a bunch of nonsense
28. November 2008
- 13:0013:00, 28. Nov. 2008 Unterschied Versionen −4 K Presburger-Arithmetik →Applications: WP:MOSLINK
3. November 2008
- 15:0315:03, 3. Nov. 2008 Unterschied Versionen 0 K Presburger-Arithmetik fix
- 15:0315:03, 3. Nov. 2008 Unterschied Versionen −22 K Presburger-Arithmetik Undid revision 249162403 by DWIII (talk)
14. Oktober 2008
- 16:0016:00, 14. Okt. 2008 Unterschied Versionen +1 K Armigerous Clan →List of recognised armigerous clans and families: that's no Latin
5. August 2008
- 11:4311:43, 5. Aug. 2008 Unterschied Versionen −49 K Presburger-Arithmetik →External links: rm ancestors of other included categories
3. Juni 2008
- 15:4515:45, 3. Jun. 2008 Unterschied Versionen −1 K Presburger-Arithmetik →External links: English
27. Mai 2008
- 17:3617:36, 27. Mai 2008 Unterschied Versionen +16 K Presburger-Arithmetik →Overview: split section
- 17:3517:35, 27. Mai 2008 Unterschied Versionen +80 K Presburger-Arithmetik move, fmt
30. April 2008
- 18:2618:26, 30. Apr. 2008 Unterschied Versionen −84 K Presburger-Arithmetik →References: one link is enough
8. April 2008
- 14:3614:36, 8. Apr. 2008 Unterschied Versionen +40 K Presburger-Arithmetik →Overview: more language
15. Januar 2008
- 12:3512:35, 15. Jan. 2008 Unterschied Versionen +13 K Presburger-Arithmetik →Overview: fix the induction axiom
15. Januar 2007
- 12:5812:58, 15. Jan. 2007 Unterschied Versionen +13 K Kummer-Theorie fix and fmt
5. Januar 2007
- 13:0413:04, 5. Jan. 2007 Unterschied Versionen 0 K Arithmetische Hierarchie fix typo
18. Juli 2006
- 22:5122:51, 18. Jul. 2006 Unterschied Versionen 0 K Arithmetische Hierarchie →The arithmetical hierarchy of formulas: bypass redirect
19. August 2004
- 14:2514:25, 19. Aug. 2004 Unterschied Versionen +398 N Normale Modallogik new page