skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logicism, Intuitionism, and Formalism
Material Type:
Livro
Adicionar ao Meu Espaço

Logicism, Intuitionism, and Formalism

Sten Lindström Vincent F Hendricks; Erik Palmgren; Krister Segerberg; Viggo Stoltenberg-Hansen; John Symons

Springer Netherlands 2009

Acesso online

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Proof-relevance of families of setoids and identity in type theory

Palmgren, Erik

Archive for Mathematical Logic, 2012, Vol.51(1), pp.35-47 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructions of categories of setoids from proof-irrelevant families

Palmgren, Erik

Archive for Mathematical Logic, 2017, Vol.56(1), pp.51-66 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets

Palmgren, Erik

Annals of Pure and Applied Logic, October 2012, Vol.163(10), pp.1384-1399 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis

Erik Palmgren

Journal of Logic and Analysis, 01 January 2012, Vol.4 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

A Constructive Examination of a Russell-style Ramified Type Theory

Palmgren, Erik

Bulletin of Symbolic Logic, 2018, Vol.24(1), pp.90-106 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

On equality of objects in categories in constructive type theory

Palmgren, Erik

23rd International Conference on Types for Proofs and Programs (TYPES 2017), pp.1-7 [Periódico revisado por pares]

2018

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Yet another category of setoids with equality on objects

Palmgren, Erik

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets

Palmgren, Erik

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Categories with families and first-order logic with dependent sorts

Palmgren, Erik

Annals of Pure and Applied Logic, 2019, Vol.170(12) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (75)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (78)
  2. Book Chapters  (20)
  3. Dissertações  (6)
  4. Livros  (5)
  5. Outros  (4)
  6. Recursos Textuais  (3)
  7. Resenhas  (2)
  8. Anais de Congresso  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1997  (6)
  2. 1997Até2001  (17)
  3. 2002Até2007  (15)
  4. 2008Até2013  (54)
  5. Após 2013  (24)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (112)
  2. Sueco  (7)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Palmgren, Erik
  2. Palmgren, E.
  3. Stoltenberg-Hansen, Viggo
  4. Lindström, Sten
  5. Segerberg, Krister

Buscando em bases de dados remotas. Favor aguardar.