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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Mon, 29 Apr 2024 07:41:28 +0200*References*: <643c7e96-552f-4ae5-ba67-84a2f2c390d3n@googlegroups.com>

TLA+ has bounded set comprehension: { x \in S : P(x) } Unbounded comprehension is disallowed: this helps making the definition of Russell’s “set” illegal. Stephan
-- -- Stephan Merz On 29 Apr 2024, at 03:23, 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/FC2DC271-8B36-4815-835F-501C73993128%40gmail.com. |

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

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

- Prev by Date:
**[tlaplus] Re: 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:
**[tlaplus] Re: 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):