Por André Souto (Universidade de Lisboa).

Por Fernando Ferreira (Universidade de Lisboa).

Por Clarence Protin (Independent Scholar).

Abstract: Pawel Urzyczyn has shown how to obtain a syntactic proof of the undecidability of type inhabitation for systems $F$ and $F_\omega$ by a reduction involving the codification of a certain undecidable $\forall,\rightarrow$- fragment of intutitionistic predicate calculus and the use of the Curry-Howard isomorphism. We show how this technique can be simplified and used to prove the undecidability of type inhabitation for atomic polymorphism.

Por Clarence Protin (Independent Scholar).

Abstract: Pawel Urzyczyn has shown how to obtain a syntactic proof of the undecidability of type inhabitation for systems $F$ and $F_\omega$ by a reduction involving the codification of a certain undecidable $\forall,\rightarrow$- fragment of intutitionistic predicate calculus and the use of the Curry-Howard isomorphism. We show how this technique can be simplified and used to prove the undecidability of type inhabitation for atomic polymorphism.

Por Pedro Pinto (Universidade de Lisboa).

Por Pedro Pinto (Universidade de Lisboa).

Por Paolo Pistone (Università Roma Tre).

Por Luca Viganò (King´s College London).

Por Angus Macintyre (Queen Mary, University of London) (Emeritus).

Abstract: To each number field K there is attached a locally compact ring A_K, the ring of adeles over K. This ring is built from the completions of K at equivalence classes of absolute values. These can be either p-adic or real, or complex. Harmonic analysis on the adeles is a fundamental technique in number theory (since the famous thesis of John Tate) .

Por Paola d'Aquino (Università Degli Study Della Campania).

Abstract: I will discuss the nature of the set of solutions of certain exponential polynomials over the complex field. This has connections with a conjecture due to Zilber on the axiomatization of the complex exponential field.