Unidad documental simple 014 - 14. Cauchy completeness in elementary logic.

Área de identidad

Código de referencia

BR SPSIARQ AMA SETTE_PC_014

Título

14. Cauchy completeness in elementary logic.

Fecha(s)

  • s.d (Creación)

Nivel de descripción

Unidad documental simple

Volumen y soporte

2f.

Área de contexto

Nombre del productor

(1963-)

Historia administrativa

Criada pela Portaria GR-121/1983, a Diretoria Geral de Recursos Humanos (DGRH) funcionou inicialmente como Setor de Pessoal da Divisão Administrativa e, posteriormente, como Diretoria de Pessoal, ambos inseridos na estrutura da Diretoria Geral da Administração (DGA). Como órgão central de recursos humanos, a DGRH teria atribuições de planejamento, coordenação, orientação técnica, controle das atividades de pessoal e proposição política de benefícios sociais e vantagens para os servidores. Atualmente ligado ao Gabinete do Reitor (GR), de acordo com a Resolução GR-053/2021, o órgão contribui com a elaboração e execução de políticas de gestão de pessoas, com a missão de promover o desenvolvimento integrado dos servidores para alcançar excelência nos serviços prestados e relações saudáveis de trabalho.

Historia archivística

Origen del ingreso o transferencia

Diretoria Geral de Recursos Humanos

Área de contenido y estructura

Alcance y contenido

No abstract do artigo consta: "Let r be a finite relational type. The space Str(r) of all structures of type r is naturally equipped with a pseudometric, by saying that the distance of two structures is equal to 1/(1+r) iff a sentence of quantifier rank r can separate the two structures, with r minimal. In this self-contained paper, we give a simple prrof of the convergence of every Cauchy sequence structures of type r. The compactness of Str (r) now follows from an elementary topological argument."

Valorización, destrucción y programación

Acumulaciones

Sistema de arreglo

Área de condiciones de acceso y uso

Condiciones de acceso

Livre

Condiciones

Reprodução com autorização, observadas as normas do Arquivo Central

Idioma del material

  • inglés

Escritura del material

    Notas sobre las lenguas y escrituras

    Características físicas y requisitos técnicos

    Instrumentos de descripción

    Área de materiales relacionados

    Existencia y localización de originales

    Localização de originais: null; Localização Física: DGRH/AP CC.INAT.IMECC 16.2

    Existencia y localización de copias

    Unidades de descripción relacionadas

    Fundo Instituto de Matemática, Estatística e Computação Cientifica - IMECC

    Descripciones relacionadas

    Área de notas

    Notas

    O artigo foi acondicionado na pasta DGRH/AP CC.INAT.IMECC 16.2, que refere-se ao processo 01P-2637/68.
    Consta que o artigo foi publicado no Journal of Symbolic Logic.

    Identificador/es alternativo(os)

    Puntos de acceso

    Puntos de acceso por materia

    Puntos de acceso por lugar

    Puntos de acceso por autoridad

    Tipo de puntos de acceso

    Área de control de la descripción

    Identificador de la descripción

    Identificador de la institución

    Reglas y/o convenciones usadas

    Descrição baseada em: CONSELHO INTERNACIONAL DE ARQUIVOS. ISAD (G): Norma geral internacional de descrição arquivística: segunda edição, adotada pelo Comitê de Normas de Descrição,Estocolmo, Suécia, 19-22 de setembro de 1999, versão final pelo CIA - Rio de Janeiro: Arquivo Nacional, 2001.RIBEIRO, Antonia Motta de Castro Memória. AACR2: Anglo-American Cataloguing Rules, 2nd edition: descrição e pontos de acesso. Brasília: CDIT, 1995.

    Estado de elaboración

    Nivel de detalle

    Completo

    Fechas de creación revisión eliminación

    2005/01/13 00:00:00.000

    Idioma(s)

      Escritura(s)

        Fuentes

        Área de Ingreso