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

Re: [tlaplus] Curious oddity

From: fl <freder...@xxxxxxxxxxx>
Date: Sun, 4 Sep 2016 02:27:39 -0700 (PDT)
References: <b4f7d7bf-7fe5-44c3-a034-f8eca4d3a5be@googlegroups.com> <36514f56-6c98-443a-8254-3df839772bb3@googlegroups.com> <06725555-9ECB-45E5-828C-55B38453F3A5@gmail.com> <33fdac88-641b-49cf-806c-9b45b5e6a0cf@googlegroups.com> <3A44953D-5D19-45DF-985C-F38FE63D6A29@gmail.com> <87fffe30-1a6e-4112-bf07-ba6c7ac02813@googlegroups.com>

His system of axioms is p. 6.

--
FL

References:
- Curious oddity
  - From: fl
- Re: Curious oddity
  - From: fl
- Re: [tlaplus] Curious oddity
  - From: Stephan Merz
- Re: [tlaplus] Curious oddity
  - From: fl
- Re: [tlaplus] Curious oddity
  - From: Stephan Merz
- Re: [tlaplus] Curious oddity
  - From: fl

Prev by Date: Re: [tlaplus] Curious oddity
Next by Date: C0 and TLAPLUS
Previous by thread: Re: [tlaplus] Curious oddity
Next by thread: A site
Index(es):
- Date
- Thread