Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
5543 mais...
Item
MW0000879 - 13/06/05 Rencontres, Fougeres: am discussions: FW Lawvere, P Cartier, C McLarty, A MacIntyre, JL Bell re. Grothendieck's program in algebraic geometry, logic, quantity, set theory, topos theory
Item
MW0000880 - 01/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Space-like categories / 1st part of Iekke Moerdijk: Classifying toposes, descent, groupoid representations
Item
MW0000881 - 31/05/05 Topos Theory Summer School, Haute Bodeux: Peter Johnstone: Morphisms of sites / 01/06/05 Steve Awodey: Algebraic set theory part 1
Item
MW0000882 - 31/05/05 Topos Theory Summer School, Haute Bodeux: PJ Freyd: Realizability & independence proofs I - NNOs in topos / Miles Tierney: Homotopy theory in toposes lecture 1
Item
MW0000883 - 30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.
Item
MW0000884 - 30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)
Item
MW0000891 - 07/01/05 Bristol Meeting PM session: Talk 5: Aldo Antonelli: There are no more As than Bs & other non-standard quantifiers
Item
MW0000892 - 07/01/05 Bristol Workshop: Talk 3: James Ladyman: Mathematical Structuralism & the identity of mathematical objects
Item
MW0000893 - 07/01/05 Bristol Workshop day 2: Talk 4: Branden Fitelson: A user-friendly decision procedure for probablity calculus w. applications to Bayesian confirmation theory
2683 mais...
Pesquisar
Relatórios
30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.
Relatórios
Não existem relatórios relevantes para este item
Cancelar