Timeline for Lowenheim numbers for ordinary language quantifiers
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 17, 2018 at 12:56 | comment | added | Emil Jeřábek | No, this does not make much sense to me. | |
| Jul 16, 2018 at 11:35 | comment | added | Turbo | Not sure if it is right to post here and ask. Is it correct to say 'the quantifier-free fragment of first order theory of real numbers' is feasibility Linear Programming, 'the quantifier-free fragment of first order theory of integers' (fragment of Presburger arithmetic) is feasibility Integer Linear Programming and 'the quantifier-free fragment of first order theory of real numbers with integers as a distinguished subset' is feasibility Mixed Integer Linear Programming and with single $\exists$ quantifier these become optimization versions of LP, ILP and MILP respectively? | |
| Sep 8, 2016 at 13:02 | vote | accept | Sagi | ||
| Sep 7, 2016 at 18:45 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |