Timeline for Extend Lowenheim's decidability result to fragment of second-order logic
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 21, 2013 at 13:22 | comment | added | Colin McLarty | Several sources on line describe it briefly, saying it is proved by quantifier elimination. For anyone who wants to look into this, the article is Behmann "Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem" Mathematische Annalen 86 (1922): 163-229. gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002268752 | |
Jun 4, 2013 at 8:09 | history | asked | Infinity | CC BY-SA 3.0 |