Dr Ivan Tomasic
Reader in Pure Mathematics
School of Mathematical Sciences
Queen Mary University of London
Queen Mary University of London
Research
Model theory, Categorical logic, Topos theory, Algebraic geometry, Difference algebra, Differential algebra
Interests
I study the interactions of Logic (both Model Theory and Categorical Logic) and Algebraic Geometry through a long-term research programme of developing Relative Algebraic Geometry over a base topos, with a particular emphasis on applications of Topos Theory and Category Theory in Difference and Differential Algebra.Publications
Publications of specific relevance to the Centre for Combinatorics, Algebra and Number Theory2022
Tomašić I and Wibmer M (2022). Difference Galois theory and dynamics. Advances in Mathematics, Elsevier BV vol. 402, 108328-108328. 22-03-2022
Džamonja M and Tomašić I (2022). Graphons arising from graphs definable over finite fields. Colloquium Mathematicum, Institute of Mathematics, Polish Academy of Sciences vol. 169 (2), 269-305. 01-01-2022
2018
TOMASIC I and Wibmer M (2018). Strongly étale difference algebras and Babbitt’s decomposition. Journal of Algebra, Elsevier 26-02-2018
Tomašić I (2018). Direct twisted Galois stratification. Annals of Pure and Applied Logic, Elsevier BV vol. 169 (1), 21-53. 01-01-2018
2016
TOMAŠIĆ I (2016). TWISTED GALOIS STRATIFICATION. Nagoya Mathematical Journal, Cambridge University Press (CUP) vol. 222 (1), 1-60. 13-05-2016
Tomašić I (2016). Model Theory. Algebra, Logic and Combinatorics 139-175. 20-04-2016
2015
2013
TOMASIC I (2013). A twisted theorem of Chebotarev. Proc. London Math. Soc., Oxford Journals vol. 2013 01-01-2013
2011
TOMASIC I and Majid S (2011). On braided zeta functions. Bull. Math. Sci. vol. 1 (2), 379-396. 01-01-2011
2009
Tomasic I (2009). Fields with measure and automorphism. B LOND MATH SOC vol. 41, 429-440. 01-06-2009
2006
Tomasic I (2006). Independence, measure and pseudofinite fields. SEL MATH-NEW SER vol. 12 (2), 271-306. 01-01-2006
2005
Ryten M and Tomasic I (2005). ACFA and measurability. SEL MATH-NEW SER vol. 11 (3-4), 523-537. 01-01-2005
2004
Tomasic I (2004). Exponential sums in pseudofinite fields and applications. ILLINOIS J MATH vol. 48 (4), 1235-1257. 01-01-2004
Ben-Yaacov I, Tomasic I and Wagner F (2004). Constructing an almost hyperdefinable group. Journal of Mathematical Logic vol. 4 (2), 181-212. 01-01-2004
2003
TOMASIC I and Wagner FO (2003). Applications of the group configuration theorem in simple theories. Journal of Mathematical Logic vol. 3, 239-255. 01-11-2003
Grossberg R, Kolesnikov A, Tomasic I and Van Dieren M (2003). The equality S1=D=R. MATH LOGIC QUART vol. 49 (2), 115-128. 01-01-2003
2002
Ben-Yaacov I, Tomasic I and Wagner FO (2002). The group configuration in simple theories and its applications. B SYMB LOG vol. 8 (2), 283-298. 01-06-2002
Grants
Grants of specific relevance to the Centre for Combinatorics, Algebra and Number TheoryToward a cohomology of theoriesIvan Tomasic
£80,860 EPSRC Engineering and Physical Sciences Research Council (01-09-2024 - 31-08-2025)
Model theoretic and topos theoretic view of difference algebra and applications to dynamicsIvan Tomasic and Behrang Noohi
£473,594 EPSRC Engineering and Physical Sciences Research Council (01-01-2022 - 30-09-2025)
EPSRC small grant - Stability in Model Theory and Category TheoryIvan Tomasic
£80,612 EPSRC Engineering and Physical Sciences Research Council (01-04-2023 - 31-03-2024)