Thu, 07 Mar 2024

11:00 - 12:00
C3

Model theory of Booleanizations, products and sheaves of structures

Jamshid Derakhshan
(University of Oxford)
Abstract

I will talk about some model-theoretic properties of Booleanizations of theories, subdirect products of structures, and sheaves of structures. I will discuss a result of Macintyre from 1973 on model-completeness, and more recent results jointly with Ehud Hrushovski and with Angus Macintyre.

Developmental Biology: Mathematical Modelling of Development
Maini, P Baker, R Encyclopedia of Life Sciences (16 Apr 2012)
Turing’s Theory of Morphogenesis: Where We Started, Where We Are and Where We Want to Go
Woolley, T Baker, R Maini, P The Incomputable 219-235 (06 May 2017)
The evolution of tumour composition during fractionated radiotherapy: implications for outcome
Lewin, T Maini, P Moros, E Enderling, H Byrne, H
The importance of geometry in the corneal micropocket angiogenesis assay
Grogan, J Connor, A Pitt-Francis, J Maini, P Byrne, H
Abnormal morphology biases haematocrit distribution in tumour vasculature and contributes to heterogeneity in tissue oxygenation
Bernabeu, M Köry, J Grogan, J Markelc, B Beardo, A d’Avezac, M Enjalbert, R Kaeppler, J Daly, N Hetherington, J Krüger, T Maini, P Pitt-Francis, J Muschel, R Alarcón, T Byrne, H
Pattern Formation and Development
Baker, R Maini, P Encyclopedia of Applied and Computational Mathematics 1145-1149 (21 Nov 2015)
Enhanced perfusion following exposure to radiotherapy: a theoretical investigation
Köry, J Narain, V Stolz, B Kaeppler, J Markelc, B Muschel, R Maini, P Pitt-Francis, J Byrne, H
A mathematical dissection of the adaptation of cell populations to fluctuating oxygen levels
Ardaševa, A Gatenby, R Anderson, A Byrne, H Maini, P Lorenzi, T
Subscribe to