Course

Geometric Aspects of Model Theory

Sala 6.2.33, FCUL, Lisboa

Por Boris Zilber, University of Oxford

 

I. Principles of geometric stability theory and classication of formal theories
1. dimensions and ranks
2. saturation and homogeneity
3. types: syntactic and Galois
4. beyond first-order languages
5. the landscape of mathematics and the classication grid

II. Algebra/geometry and syntax/semantics dualities
1. the idea of co-ordinatisation in geometry and model theory
2. the trichotomy principle and the special role of fields (ACF, RCF, DCF,...)
3. manifold, varieties, charts and ringed spaces
4. affine algebras and ane varieties: algebraic syntax and geometric semantics
5. principles of non-commutative geometry: quantum algebras and quantum Zariski geometries
6. schemes and varieties in algebraic geometry via syntax and semantics

III. Positive model theory
1. languages and formulas in PMT
2. the generalised Zariski topology
3. morphisms in PMT
4. model completeness

The course will take place on Mondays, from 3:30pm to 5pm in room C6.2.33 of Faculdade de Ciências da Universidade de Lisboa (aprox. 10 hour course). The first session is in October 14. [Please notice that some Mondays may be skipped and other special arrangements can be made. Please get in touch with Mário Edmundo at for extra information.]

15h30 às 17h00

Catarina Sofia Guimarães Teixeira defende a dissertação "Epitranscriptomic deregulation in bladder cancer: implications for tumour aggressiveness".

Diogo Miguel Teixeira Ribeiro defende a dissertação "Critérios mineralógicos e microestruturais aplicados à determinação de pathfinders para prospeção aurífera (Mina de Escádia Grande, Góis)".

Júri das provas:

Luís Paulo Garcia Ferreira defende a dissertação "Evolução de Sistema de Análise de Trajetos com Rosas dos Ventos".

Inês Garcia Martins defende a dissertação "Identificação dos serviços de ecossistemas no meio empresarial: uma ferramenta para a bioeconomia?".

Júri das provas:

Cátia Sofia Pedro Caetano Santos defende a dissertação "Estado atual das populações de berbigão (Cerastoderma spp.) no estuário do Sado".

Júri das provas:

Imagem ilustrativa do evento, acompanhada de várias informações (título, orador, dia, hora, local e entidades participantes)

Por Pedro Machado (IA - Instituto de Astrofísica e Ciências do Espaço / Faculdade de Ciências da Universidade de Lisboa).

Por Martim Duarte Gama Bustorff (Serviço de Mobilidade VIA VERDE BOLEIAS) e Paulo Martins (Ecooltra ScooterSharing Lisboa | City Manager).

Pretende-se com este modelo de formação auxiliar potenciais proponentes de candidaturas a apresentar aos Avisos de 2020 do Programa LIFE a estruturar melhor as suas ideias de projeto e, atempadamente, preparar candidaturas robustas e com maior potencial de aprovação.

Por Khompysh Khonatbek (al-Farabi Kazakh national university).

Paulo Jorge Fernandes Velho defende a tese "Study of ground state properties of halo nuclei via quasi-free scattering reactions".

Imagem ilustrativa do evento, acompanhada de várias informações (título, dias, horas, local e contactos)

Este evento constitui, desde 1988, uma grande festa do Museu e uma marca na vida cultural da cidade. Reúne colecionadores e comerciantes de minerais, gemas e fósseis, oriundos de vários países da Europa, bem como um vasto público, representado por milhares de visitant

Imagem ilustrativa do evento, acompanhada de várias informações (título, dia, local e entidades participantes)

Debater problemáticas relacionadas com a Ciência e os Oceanos constitui o desafio de analisar historicamente atores e práticas científicas, compreendendo processos complexos de institucionalização da ciência, de afirmação de novas espacialidades, de internacionalização e europe

Miguel Alexandre Silva Florindo defende a dissertação "Gestão integrada das rotas de entrega e inventário para um produto".

Orientação: Ana Maria Paias.

Ana Patrícia Martins Gonçalves defende a dissertação "Recommendation systems and other analytic methods".

Orientação: Maria Teresa Alpuim

Catarina Isabel Nogueira Ribeiro defende a dissertação "Obesity genetic risk score".

Orientação: Lisete Ribeiro de Sousa, Miguel Brito (Escola Superior de Tecnologia da Saúde de Lisboa).

Heloísa Gabriela de Castro Vasconcelos Gonçalves Galante defende a dissertação "Resilience: statistical study of psychosocial and biological predictors at the workspace".

Teresa Ventura Vale Fernandes Dias defende a dissertação "Study of non-conventional Aspergilli and Penicillia Ochratoxin A producers".

Maria Inês Castanheira Rolo defende a dissertação "Transfer value: Cálculo para um indivíduo do Reino Unido".

Ana Catarina Piedade Miranda defende a dissertação "Modelo de Propensão à Conversão".

Orientação: Maria Isabel Fraga Alves.

Logótipo EIT Health, sobre um fundo branco

As of 1 October 2019, EIT Health has opened its call for proposed activities to be included in the Business Plan 2021.

Imagem ilustrativa do Doutoramento em Filosofia da Ciência, Tecnologia, Arte e Sociedade

Provas de Doutoramento - Tiago Bruno Borges Rodrigues Mesquita Carvalho.

Tema da tese e alvo de discussão oral: “A medida e as coisas. Virtudes, responsabilidade e tecnologia”.

Júri:

Frase "O que existe no meu mundo?" sobre um fundo azul e amarelo

Em 2019 celebram-se os 150 anos da Tabela Periódica, pelo que a Organização das Nações Unidas (ONU) proclamou este ano como o Ano Internacional da Tabela Periódica dos Elementos Químicos (IYPT 2019).

Vasco Freire Serra defende a dissertação "Pesquisa e Navegação de Filmes e Músicas com Base em Citações e Letras no AS Music By".

Imagem ilustrativa do programa

A Faculdade de Ciências da Universidade de Lisboa, a Universidade Católica Portuguesa, o Fórum Oceano e a Sociedade de Avaliação Estratégica e Risco lançaram em 2015 o consórcio MARE STARTUP destinado a promover o empreendedorismo e inovação empresarial no Mar,

Anabela Barreiro Gomes Vilares Bendada Esteves defende a tese "Genetic study of Toxoplasma gondii strains isolated from humans and animals".

Páginas