From LOJBAN%CUVMB.BITNET@uga.cc.uga.edu Sun Sep 25 07:24:25 1994 Received: from uga.cc.uga.edu by nfs1.digex.net with SMTP id AA26176 (5.67b8/IDA-1.5 for ); Sun, 25 Sep 1994 07:24:22 -0400 Message-Id: <199409251124.AA26176@nfs1.digex.net> Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 2419; Sun, 25 Sep 94 07:28:50 EDT Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 3745; Sun, 25 Sep 1994 07:28:50 -0400 Date: Sun, 25 Sep 1994 13:26:20 +0200 Reply-To: veion@XIRON.PC.HELSINKI.FI Sender: Lojban list From: Veijo Vilva Subject: Exporting numerical abstractors to the prenex X-To: lojban@cuvmb.cc.columbia.edu To: Bob LeChevalier Status: RO Just to show that it is possible to cope with the interpretation of external quantifiers as a kind of numerical abstractors. mi nitcu re tanxe can be transformed to ny pe li re zo'u mi nitcu vei ny tanxe For n = 2: I need n boxes. and correspondingly mi na nitcu re tanxe naku ny pe li re zo'u mi nitcu vei ny tanxe It is false that for n = 2: I need n boxes. co'o mi'e veion --------------------------------- .i mi du la'o sy. Veijo Vilva sy. ---------------------------------