Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales

Búsqueda

Búsqueda global

Búsqueda avanzada

Portapapeles
- Portapapeles
- Borrar selección
- Ir al portapapeles
- Cargar portapapeles
- Save clipboard
Idioma
- Idioma
- English
- Français
- Español
- Nederlands
- Português
Enlaces rápidos
- Enlaces rápidos
- Inicio
- Acerca
- Privacy Policy
- Ayuda

¿Estás registrado?

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
5546 más...
Unidad documental simpleMW0000882 - 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 simpleMW0000883 - 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 simpleMW0000884 - 30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)
Unidad documental simpleMW0000891 - 07/01/05 Bristol Meeting PM session: Talk 5: Aldo Antonelli: There are no more As than Bs & other non-standard quantifiers
Unidad documental simpleMW0000892 - 07/01/05 Bristol Workshop: Talk 3: James Ladyman: Mathematical Structuralism & the identity of mathematical objects
Unidad documental simpleMW0000893 - 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
Unidad documental simpleMW0000894 - 07/01/05 Bristol: 2nd talk: Karl-Georg Niebergall: Weak theories & consistency proofs
Unidad documental simpleMW0000895 - 08/01/05 Bristol day 3 (last of 9 talks) Hannes Leitgeb: Risen from the dead? Carnap's "Logischer Aufbau" resurrected
Unidad documental simpleMW0000896 - 08/01/05 Bristol day 3 talk 1: Michael Glanzberg: Contextes & unrestricted quantification
2680 más...

Informes

07/01/05 Bristol Workshop: Talk 3: James Ladyman: Mathematical Structuralism & the identity of mathematical objects

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-19