Knowledge

User:Markus Krötzsch

Source 📝

119:
Currently, I am most concerned with mathematical topics (very specific, isn't it? ;-). The whole subset of articles in this area evolves very well, but there are still huge amounts of knowledge to be added. The problem is, of course, that one needs to address different levels of background
124:
compiles some good proposals on how to approximate this goal. Many articles will be happy about any extension, but bigger ones are sometimes rather lacking readability and an easy to follow structure. I also constantly complain about the absence of literature references in articles that state
139:
The following list may be of interest when you are looking for someone to complain about the contents of a particular article -- if its name appears on the list I will be happy to find your comments on my talk page. Some of my more relevant contributions include (in no particular order):
335:
The number of * indicates the amount of contribution found in each article (usually this means that I completely (re-)wrote the article and that it is not a stub now...). The main purpose of this is to motivate me for extending articles further even when they are already listed ;-)
120:
knowledge. So in an ideal world, every math article should have a readable intro (with some intuition) and an easy to find section "Formal defnition", followed by interesting stuff of increasing difficulty. The
357: 396: 391: 100:. Please be aware that other contributors might not do the same, so if you want to use my contributions under the Creative Commons terms, please check the 32:), which I started back in 2005 and to which many people since have contributed. For current information, see my homepage 121: 71:
Please do not use this page or its talk page to contact me, since I will not see this. Try sending an email instead.
101: 199: 227: 60: 299: 207: 324: 169: 105: 251: 161: 283: 219: 215: 243: 187: 78:
Multi-licensed with the Creative Commons Attribution Share-Alike License versions 1.0 and 2.0
45: 16:
As of 2017, I am professor for Knowledge-Based Systems at the Faculty of Computer Science at
303: 267: 211: 85: 8: 153:
Note: I am not watching this page, so feel free to drop me a line if the state changes...
203: 160:, where I restructured part of the material and updated some of the related pages like 136:
will be extended as soon as the important basic notions of order theory are available.
25: 368: 320: 279: 195: 307: 271: 255: 148: 89: 97: 93: 291: 263: 259: 223: 191: 179: 165: 157: 55: 84:
I agree to multi-license my text contributions, unless otherwise stated, under
50: 147:, which still needs quite some improvements to be acceptable. Any volunteers? 385: 313: 295: 183: 133: 65: 353: 275: 175: 144: 129: 343: 287: 231: 151:* and the related links are probably my main contribution in this area. 114: 17: 328: 247: 235: 21: 348: 239: 29: 363: 40: 33: 115:
Historic editing notes (unchanged since around 2005)
20:. Important projects I have contributed to include 383: 339:Other non-mathematical articles I edited are: 397:Wikipedians contributing under CC BY-SA 2.0 392:Wikipedians contributing under CC BY-SA 1.0 132:, which really has increased quite a bit. 384: 51:Personal information and contact data 125:nontrivial results without a proof. 13: 14: 408: 92:Attribution Share-Alike license 200:limit preserving (order theory) 1: 228:distributivity (order theory) 128:My current TODO (if any) is 7: 358:image:squirrel_on_fence.jpg 300:Boolean prime ideal theorem 208:completeness (order theory) 86:Knowledge's copyright terms 41:Homepage of Markus Krötzsch 10: 413: 325:Stone-Weierstrass theorem 170:equivalence of categories 83: 252:complete Heyting algebra 61:my user page on Wikidata 162:limit (category theory) 122:WikiProject Mathematics 284:interval (mathematics) 220:duality (order theory) 216:complete partial order 56:Wikidata item about me 46:Homepage at TU Dresden 30:semantic-mediawiki.org 244:partially ordered set 188:order theory glossary 304:distributive lattice 268:list of order topics 212:specialization order 204:monotonic function 34:http://korrekt.org 26:Semantic MediaWiki 373:Brazilian cuisine 369:Cuisine of Brazil 321:Ultrametric space 280:order isomorphism 196:Galois connection 112: 111: 404: 308:complete lattice 272:bounded complete 256:greatest element 149:Sequent calculus 90:Creative Commons 74: 73: 24:, and of course 412: 411: 407: 406: 405: 403: 402: 401: 382: 381: 292:order embedding 264:compact element 260:maximal element 224:Boolean algebra 192:Heyting algebra 166:adjoint functor 158:Category theory 117: 106:Multi-licensing 102:CC dual-license 12: 11: 5: 410: 400: 399: 394: 380: 379: 376: 366: 361: 351: 346: 333: 332: 317: 311: 173: 155: 116: 113: 110: 109: 81: 80: 69: 68: 63: 58: 53: 48: 43: 9: 6: 4: 3: 2: 409: 398: 395: 393: 390: 389: 387: 377: 374: 371:(merged with 370: 367: 365: 362: 359: 355: 352: 350: 347: 345: 342: 341: 340: 337: 330: 326: 322: 318: 315: 314:Stone duality 312: 309: 305: 301: 297: 296:Hasse diagram 293: 289: 285: 281: 277: 273: 269: 265: 261: 257: 253: 249: 245: 241: 237: 233: 229: 225: 221: 217: 213: 209: 205: 201: 197: 193: 189: 185: 184:domain theory 181: 177: 174: 171: 167: 163: 159: 156: 154: 150: 146: 143: 142: 141: 137: 135: 134:Domain theory 131: 126: 123: 107: 103: 99: 95: 91: 87: 82: 79: 76: 75: 72: 67: 64: 62: 59: 57: 54: 52: 49: 47: 44: 42: 39: 38: 37: 35: 31: 27: 23: 19: 372: 354:Fox squirrel 338: 334: 276:Scott domain 176:Order theory 152: 145:Proof theory 138: 130:order theory 127: 118: 77: 70: 66:Publications 15: 344:Open access 288:semilattice 232:upper bound 98:version 2.0 94:version 1.0 386:Categories 18:TU Dresden 329:Tesseract 248:preorder 236:supremum 108:guides. 88:and the 22:Wikidata 349:Hamster 319:Other: 240:infimum 180:lattice 364:Cashew 28:(see 186:**, 178:**: 104:and 96:and 378:... 323:*, 316:**. 306:*, 294:*, 290:*, 278:*, 274:*, 266:*, 262:*, 258:*, 254:*, 246:*, 230:*, 222:*, 218:*, 214:*, 210:*, 202:*, 190:*, 182:*, 388:: 327:, 310:*. 302:, 298:, 286:, 282:, 270:, 250:, 242:, 238:, 234:, 226:, 206:, 198:, 194:, 172:*. 168:, 164:, 36:. 375:) 360:) 356:( 331:.

Index

TU Dresden
Wikidata
Semantic MediaWiki
semantic-mediawiki.org
http://korrekt.org
Homepage of Markus Krötzsch
Homepage at TU Dresden
Personal information and contact data
Wikidata item about me
my user page on Wikidata
Publications
Knowledge's copyright terms
Creative Commons
version 1.0
version 2.0
CC dual-license
Multi-licensing
WikiProject Mathematics
order theory
Domain theory
Proof theory
Sequent calculus
Category theory
limit (category theory)
adjoint functor
equivalence of categories
Order theory
lattice
domain theory
order theory glossary

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.