From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1974 Path: news.gmane.org!not-for-mail From: "regivan" Newsgroups: gmane.science.mathematics.categories Subject: Intervals as a Model of Real Type Date: Thu, 24 May 2001 10:13:27 -0300 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018244 1497 80.91.229.2 (29 Apr 2009 15:17:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:24 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Thu May 24 21:36:57 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f4ONgLq12088 for categories-list; Thu, 24 May 2001 20:42:21 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 X-MIME-Autoconverted: from 8bit to quoted-printable by imap.ufrn.br id KAA09256 X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id f4ODD3b08040 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 42 Original-Lines: 20 Xref: news.gmane.org gmane.science.mathematics.categories:1974 Archived-At: What are the desired properties for a model of real type? 1) It must be a field or work like it, etc. I intend to endow intervals with a weak notion of equivalence, what make it works like a field, what will enable us to use intervals an representations of real numbers. What are the desired properties that the resulting structure must satisfy. Some bibliography is welcome. My Best Regards Regivan ------------------------ Prof. Dr. Regivan H. N. Santiago Programa de Mestrado em Sistemas e Computação. Departamento de Informática e Matemática Aplicada - DIMAp Universidade Federal do Rio Grande do Norte - UFRN e-mail: regivan@dimap.ufrn.br