Timeline for What logic can express this sentence?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 17, 2015 at 18:18 | comment | added | cody | @user84230: that's an interesting question! Note that infinitary logic as usually described is not decidable, or is it even clear how to finitely represent a formula without further restrictions. | |
| Dec 17, 2015 at 4:02 | comment | added | user84230 | Wondering if there is a theory for quantifier elimination on infinitary 1st order logic, as there is one finitary 1st order logic over real closed field due to Tarski. | |
| Dec 17, 2015 at 4:00 | comment | added | user84230 | Thanks, that's quite helpful, and I will look into suggested reference. | |
| Dec 17, 2015 at 3:38 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 289 characters in body
|
| Dec 17, 2015 at 3:32 | history | answered | Noah Schweber | CC BY-SA 3.0 |