Skip to main content

Timeline for Complexity of $L[\mathrm{cf}]$

Current License: CC BY-SA 3.0

9 events
when toggle format what by license comment
Sep 15, 2017 at 9:03 comment added Ralf Schindler Oh, I found a note on it: ivv5hpp.uni-muenster.de/u/rds/note_on_Cstar.pdf . And, yes, your additional details to the proof look okay to me.
Sep 15, 2017 at 8:46 comment added Ralf Schindler See newton.ac.uk/files/preprints/ni16006.pdf . The above result is mentioned on p.38. If you want, I could try to write down some details here.
Sep 15, 2017 at 8:31 comment added Dmytro Taranovsky Thank you. I added more details; let me know whether the argument works. Can you include a link to the paper(s) about C* ?
Sep 15, 2017 at 7:47 history undeleted Ralf Schindler
Sep 15, 2017 at 7:47 history deleted Ralf Schindler via Vote
Sep 15, 2017 at 7:44 comment added Ralf Schindler Too late. Next time.
Sep 15, 2017 at 7:42 history edited Ralf Schindler CC BY-SA 3.0
added 941 characters in body
Sep 15, 2017 at 7:38 comment added Asaf Karagila That should probably go in the comments, not the answers. There's an "Add a comment" below the body of the question, clicking on that would let you add a comment. Also, you can use LaTeX syntax with dollar symbols to get $\aleph_\alpha$.
Sep 15, 2017 at 6:43 history answered Ralf Schindler CC BY-SA 3.0