skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
This feature requires javascript
Primo Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Search For:
Clear Search Box
Search in:
Busca Geral
Or hit Enter to replace search target
Or select another collection:
Search in:
Busca Geral
Busca Avançada
Busca por Índices
This feature requires javascript
This feature requires javascript
About Goodmanʼs Theorem
Coquand, Thierry
Annals of pure and applied logic, 2013-04, Vol.164 (4), p.437-442
[Periódico revisado por pares]
Elsevier B.V
Texto completo disponível
Citações
Citado por
Exibir Online
Detalhes
Resenhas & Tags
Mais Opções
Nº de Citações
This feature requires javascript
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
Título:
About Goodmanʼs Theorem
Autor:
Coquand, Thierry
Assuntos:
Computer and Information Science
;
Data- och informationsvetenskap
;
Forcing and realizability
;
Formal topology
;
Goodman's Theorem
;
Goodmanʼs Theorem
É parte de:
Annals of pure and applied logic, 2013-04, Vol.164 (4), p.437-442
Descrição:
We present a proof of Goodmanʼs Theorem, which is a variation of the proof of Renaldel de Lavalette (1990) [9]. This proof uses in an essential way possibly divergent computations for proving a result which mentions systems involving only terminating computations. Our proof is carried out in a constructive metalanguage. This involves implicitly a covering relation over arbitrary posets in formal topology, which occurs in forcing in set theory in a classical framework, but can also be defined constructively.
Editor:
Elsevier B.V
Idioma:
Inglês
Links
View record from Swedish Publication Index
View record from Swedish Publication Index
This feature requires javascript
This feature requires javascript
Voltar para lista de resultados
Anterior
Resultado
8
Avançar
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript