On 27/02/17 18:22, Lawrence Paulson wrote:
>
> Note: I have no suggestions for improving the star notation of
> non-standard analysis, mentioned in the last paragraph.
Can you point to some literature or papers that use the notation in a
canonical form?
Makarius
__
On 24/02/17 14:24, Makarius wrote:
> On 22/02/17 10:14, Lars Hupel wrote:
>>
>> 11:07:25.458 Iptables_Semantics_Examples: theory
>> Analyze_Synology_Diskstation
>> 19:01:48.518 Run out of store - interrupting threads
>>
>> So, nothing happens for a while and then we get an out of memory error.
>> N
As I understand it, the star notation is the standard way of denoting the
injection of an entity from, say, the standard reals to the non-standard reals.
It is normally written as a prefix operator. Maybe we could do something using
our ⋆ character. But we have two other naming conventions in N