Further development of spinal cord retreatment dose estimation: including radiotherapy with protons and light ions
Moore, J Woolley, T Hopewell, J Jones, B
Proving the Herman-Protocol Conjecture
Bruna, M Grigore, R Kiefer, S Ouaknine, J Worrell, J (05 Apr 2015)
Skorokhod Embedding
Obłój, J Encyclopedia of Quantitative Finance (26 Feb 2010)
PERFORMANCE OF ROBUST HEDGES FOR DIGITAL DOUBLE BARRIER OPTIONS
OBŁÓJ, J ULMER, F Finance at Fields 521-554 (10 Dec 2012)
Joint Modelling and Calibration of SPX and VIX by Optimal Transport
Guo, I Loeper, G Obłój, J Wang, S (01 Jan 2020)
Incorporating pushing in exclusion process models of cell migration
Yates, C Parker, A Baker, R
A free boundary model of epithelial dynamics
Baker, R Parker, A Simpson, M
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)
Subscribe to