Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Acta Cientifica Venezolana, Vol. 52, Suplemento No. 2: 24, 2001 METODOS DEL ANALISIS NO-STANDAR EN LA TEORIA DE
 

Summary: MATEMATICA
Acta Cient´ifica Venezolana, Vol. 52, Suplemento No. 2: 2­4, 2001
METODOS DEL ANALISIS NO-STANDAR EN LA TEORIA DE
MODELOS FINITOS
Argimiro Arratia½
y Carlos E. Ortiz¾
½
Departamento de Matem ´aticas, Universidad Sim ´on Bol´ivar
Apartado 89000, Caracas 1080-A, Venezuela
arratia@ldc.usb.ve
¾
Department of Mathematics and Computer Science Beaver College
450 S. Easton Road,Glenside, PA 19038-3295 U.S.A.
ortiz@beaver.edu
RESUMEN: Se expone un plan para demostrar, utilizando An ´alisis No-estandar, si la clase de conjuntos cuya cardinalidad
se descompone en un n´umero par de factores primos distintos, no es definible en la l ´ogica de primer orden con predicados
para el orden lineal, las operaciones de adici ´on multiplicaci ´on y exoneraci´on en base 2, restringiendonos a modelos finitos.
Palabras clave: An ´alisis No-estandar, Teor´ia de Modelos Finitos, definibilidad.
NON-STANDAR ANALYSIS METHODS IN FINITE MODEL THEORY
ABSTRACT: We outline a plan to show, using Non-estandar Anlysis, that the equery "Is the number of distint prime factors

  

Source: Arratia, Argimiro A. - Departamento de Matemática Aplicada, Universidad de Valladolid

 

Collections: Mathematics