Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales
Búsqueda
Search options
Búsqueda global
Búsqueda avanzada
Search in browse page
Portapapeles
Portapapeles
Portapapeles
Borrar selección
Ir al portapapeles
Cargar portapapeles
Save clipboard
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Enlaces rápidos
Enlaces rápidos
Enlaces rápidos
Inicio
Acerca
Privacy Policy
Ayuda
Iniciar sesión
¿Estás registrado?
Correo electrónico
*
This field is required.
Contraseña
*
This field is required.
Iniciar sesión
Fondos
Búsqueda rápida
Fondo
Michael Wright Collection
5543 más...
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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
Unidad documental simple
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.
Unidad documental simple
MW0000884 - 30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)
Unidad documental simple
MW0000891 - 07/01/05 Bristol Meeting PM session: Talk 5: Aldo Antonelli: There are no more As than Bs & other non-standard quantifiers
Unidad documental simple
MW0000892 - 07/01/05 Bristol Workshop: Talk 3: James Ladyman: Mathematical Structuralism & the identity of mathematical objects
Unidad documental simple
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 más...
Búsqueda
Informes
30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.
Informes
No hay informes relevantes para este ítem
Cancelar