Item 014 - 14. Cauchy completeness in elementary logic.

Área de identificação

Código de referência

BR SPSIARQ AMA SETTE_PC_014

Título

14. Cauchy completeness in elementary logic.

Data(s)

s.d (Produção)

Nível de descrição

Item

Dimensão e suporte

2f.

Área de contextualização

Nome do produtor

Diretoria Geral de Recursos Humanos

(1963-)

História 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.

Entidade custodiadora

Arquivo Central do Sistema de Arquivos-UNICAMP

História do arquivo

Fonte imediata de aquisição ou transferência

Diretoria Geral de Recursos Humanos

Área de conteúdo e estrutura

Âmbito e conteúdo

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."

Avaliação, seleção e eliminação

Incorporações

Sistema de arranjo

Área de condições de acesso e uso

Condições de acesso

Livre

Condiçoes de reprodução

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

Idioma do material

inglês

Script do material

Notas ao idioma e script

Características físicas e requisitos técnicos

Instrumentos de descrição

Área de materiais associados

Existência e localização de originais

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

Existência e localização de cópias

Unidades de descrição relacionadas

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

Descrições relacionadas

Área de notas

Nota

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) alternativos

Pontos de acesso

Pontos de acesso de assunto

Pontos de acesso local

[s.l.]

Ponto de acesso nome

Pontos de acesso de gênero

Área de controle da descrição

Identificador da descrição

Identificador da entidade custodiadora

Regras ou convenções utilizadas

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.