Listado general de proyectos
Listado general de investigadores
Listado general de unidades de investigación

Proyecto

B9128 Ampliado

ELIMINACIÓN DE CUANTIFICADORES DE TEORÍAS DE ANILLOS REAL CERRADOS CON RELACIONES DE DIVISIBILIDAD LOCALES.

Seleccione el proyecto o sus ampliaciones:

  • Unidad responsable: CENTRO DE INVESTIGACIÓN EN MATEMÁTICAS PURAS Y APLICADAS
  • Tipo de investigación: BASICA
  • Estado del proyecto: AMPLIADO
  • Tipo de financiamiento: POR LA U.C.R.
  • Ubicación del proyecto: SAN JOSE, PROVINCIA
  • Tipo de Proyecto: PROYECTO
  • Periodo de vigencia: 2019 - 2022

Objetivos

ESTABLECER LA ELIMINACIÓN DE CUANTIFICADORES DE CIERTAS TEORÍAS DE ANILLOS REAL CERRADOS Y ESTUDIAR SUS CLASIFICACIONES DESDE EL PUNTO DE VISTAS DEL UNIVERSO DE SHELAH.

Ver más

Descriptores

  • 243 - ALGEBRA
  • 4141 - LOGICA MATEMATICA

Disciplinas

  • CIENCIAS

Investigadores

Mostrando 7 investigadores

NOMBRE PARTICIPACIÓN FECHA DE INICIO FECHA DE TÉRMINO
Guier Acosta, Jorge PRINCIPAL 01/01/2020 28/02/2020
Guier Acosta, Jorge PRINCIPAL 01/01/2021 28/02/2021
Guier Acosta, Jorge PRINCIPAL 01/03/2019 31/12/2019
Guier Acosta, Jorge PRINCIPAL 01/03/2020 31/12/2020
Guier Acosta, Jorge PRINCIPAL 01/03/2021 31/12/2021
Guier Acosta, Jorge PRINCIPAL 03/01/2022 28/02/2022
Guier Acosta, Jorge PRINCIPAL 07/01/2019 28/02/2019

Vigencias

VIGENCIA FECHA DE INICIO FECHA DE TÉRMINO
ORIGINAL 07/01/2019 28/02/2022

Publicaciones Kerwá


TÍTULO TIPO AUTOR FECHA
Elimination of quantifiers of a theory of real closed rings.
  • artículo preliminar
  • Guier Acosta, Jorge Ignacio
 2022
Local divisibility and model completeness of a theory of real closed rings
  • comunicación de congreso
  • Guier Acosta, Jorge Ignacio
 2021
Teorías y propiedades universales de una teoría de anillos real cerrados (Informe Final Proyecto B9128)
  • informe científico
  • Guier Acosta, Jorge Ignacio
 2021