[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: TLA+ theory blog post series + new subreddit
From
: fl <
freder...@xxxxxxxxxxx
>
Date
: Thu, 1 Jun 2017 06:37:02 -0700 (PDT)
References
: <
e94e6084-b49c-4a75-93dd-cbd941bb2d5b@googlegroups.com
> <
bbb39abb-6686-4feb-9719-21a706334762@googlegroups.com
>
> In a
second-order logic
(or SOL), a variable can either represent an element of the universe or a set of elements
Said like that it's wrong. In FOL +ZFC a variable *can* represent a set.
--
FL
Follow-Ups
:
Re: TLA+ theory blog post series + new subreddit
From:
fl
References
:
TLA+ theory blog post series + new subreddit
From:
Ron Pressler
Re: TLA+ theory blog post series + new subreddit
From:
Ron Pressler
Prev by Date:
Re: TLA+ theory blog post series + new subreddit
Next by Date:
Re: TLA+ community meeting at FLOC 2018?
Previous by thread:
Re: TLA+ theory blog post series + new subreddit
Next by thread:
Re: TLA+ theory blog post series + new subreddit
Index(es):
Date
Thread