[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Mon, 29 Apr 2024 12:41:07 +0200*References*: <81197891-9342-4c88-867b-b47d47ad1068n@googlegroups.com>

I presume that should be E_i(s)? But then, I don’t understand the quantifiers, and the bound variables k and j appear nowhere in your definition? Stephan
-- On 29 Apr 2024, at 10:09, marta zhango <martazhango@xxxxxxxxx> wrote:
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1E5092FD-8B29-472A-9746-4B30B1512D4F%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] Defining State_I as the state at energy level \epsilon(I)***From:*marta zhango

**References**:**Re: [tlaplus] Defining State_I as the state at energy level \epsilon(I)***From:*marta zhango

- Prev by Date:
**Re: [tlaplus] Defining State_I as the state at energy level \epsilon(I)** - Next by Date:
**Re: [tlaplus] Defining State_I as the state at energy level \epsilon(I)** - Previous by thread:
**Re: [tlaplus] Defining State_I as the state at energy level \epsilon(I)** - Next by thread:
**Re: [tlaplus] Defining State_I as the state at energy level \epsilon(I)** - Index(es):