30okt14:00

Representaties en modeltheorie van vrije Heyting-algebra’s

Name: Representaties en modeltheorie van vrije Heyting-algebra’s
Start: 2026-10-30T14:00:00+01:00
End: 2026-10-30T15:30:00+01:00
Location: Aula - Oude Lutherse kerk

Aula - Oude Lutherse kerk · Amsterdam

Rodrigo Da Cruz Silva Pina De Almeida promoveert op het proefschrift: 'Representations and model theory of free Heyting algebras'.

Universiteit van Amsterdam

Meer informatie bij de universiteitRoute