Timeline for Mitchell, Steel. FSIT. Lemma 2.8: Is $k$-solidity actually needed?
Current License: CC BY-SA 3.0
13 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
Dec 4, 2016 at 15:36 | vote | accept | Stefan Mesken | ||
Dec 4, 2016 at 13:55 | answer | added | Stefan Mesken | timeline score: 2 | |
Dec 4, 2016 at 0:07 | comment | added | Dan Saattrup Nielsen | @Stefan As I'm working with slightly different definitions, it's probably easier for you to just copy your proof onto here - so be my guest :) | |
Dec 3, 2016 at 14:33 | comment | added | Stefan Mesken | Thanks @Dan. I suspected as much, spelled out the entire proof earlier today and figured out the same. Unless you want to post your proof as an answer, I'll answer my own question later today. | |
Dec 3, 2016 at 14:22 | comment | added | Dan Saattrup Nielsen | It doesn't need solidity. I also did a write-up of that lemma in my master's thesis, if you're interested. It's Lemma 2.20 in dansnielsen.files.wordpress.com/2016/09/thesis_v2_240816.pdf. | |
Dec 2, 2016 at 21:41 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
edited title
|
Dec 2, 2016 at 21:34 | history | edited | Stefan Mesken |
added two tags
|
|
Dec 2, 2016 at 15:45 | history | edited | Stefan Mesken | CC BY-SA 3.0 |
typo
|
Dec 2, 2016 at 15:27 | comment | added | Asaf Karagila♦ | Seriously? You've never posted anything here before? (And also, "grad-level" questions of this nature are fine on MathOverflow. Especially when it's clear that it's not trying to have someone do your homework for you. You can find discussions on this topic on the MathOverflow Meta site.) | |
Dec 2, 2016 at 15:21 | history | edited | Stefan Mesken | CC BY-SA 3.0 |
deleted 5 characters in body
|
Dec 2, 2016 at 15:16 | review | First posts | |||
Dec 2, 2016 at 15:18 | |||||
Dec 2, 2016 at 15:15 | history | asked | Stefan Mesken | CC BY-SA 3.0 |