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

Apresentação dos trabalhos desenvolvidos no âmbito do programa Estágios de Verão CEAUL - Sê Investigador.

Logótipo do EVM 2024

Por Giosuè Muratore (DM Ciências ULisboa e CMAFcIO).

Título do programa, sobre mosaico de fotografias de jovens cientistas

As candidaturas encontram-se encerradas. Obrigada aos quase 80 candidatos/as!

Logótipo do EVM 2024

Por Pedro Duarte (DM Ciências ULisboa, CMAFcIO).

Seminário do Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, por Baptiste Claustre (aluno ENS Lyon, estagiário CMAFcIO).

Fotografia de ilha

Seminários Doutorais no âmbito da disciplina de Projeto de Investigação (Doutoramento em Ciências do Mar).

Logótipo do EVM 2024

Por Maria Manuel Torres (DM Ciências ULisboa e CMAFcIO).

Titulo e data do evento, com imagem de ponte sobre o tejo

Um evento organizado no âmbito da Ação COST EURO-MIC, de cujo Comitê de Gestão Elisabete Silva, líder do Bioactive and Multifunctional Materials Lab do BioISI, faz parte.

Logótipo do EVM 2024

Por: Jorge Buescu (DM Ciências ULisboa e CMAFcIO).

Logótipo do EVM 2024

Por Jean-Baptiste Casteras (DM Ciências ULisboa e CMAFcIO).

Chegou a hora: os participantes do Programa Ser Cientista vão apresentar os projetos que desenvolveram ao longo de uma semana, acompanhados por docentes e investigadores de CIÊNCIAS. E todos podem assistir!

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.