[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] structures

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: Re: [mizar] structures
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Thu, 10 Oct 2002 00:59:29 +0200 (CEST)

On Wed, 9 Oct 2002, Andrzej Trybulec wrote:

> Not at all. You have to be certain that the fixed set is theta. If we chose the
> empty set for the fixed set, as Grzegorz proposed, then the non empty set must be
> something different, mustn't it?


Sure, now I get it.

Josef

References:
- Re: [mizar] structures
  - From: Andrzej Trybulec <trybulec@cs.shinshu-u.ac.jp>

Prev by Date: Re: [mizar] structures
Next by Date: Re: [mizar] structures
Index(es):
- Chronological
- Thread