Vera Koponen
Senior Lecturer/Associate Professor at Department of Mathematics; Algebra, Logic and Representation Theory
- Telephone:
- +46 18 471 31 85
- E-mail:
- Vera.Koponen@math.uu.se
- Visiting address:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postal address:
- Box 480
751 06 UPPSALA
More information is available to staff who log in.
Research
I do research in mathematical logic and related areas. Within logic my speciality is model theory which is the study of structures in a quite general sense, but common for it is that formal logical languages play a central role (e.g. for description and classification of structures).
During 2024-2027 I lead the project A model theoretic approach to relational learning in artificial intelligence funded by the Swedish Research Council.
A bit more about my research, including preprints that have not yet been published, is found here: http://www2.math.uu.se/~vera/research/index.html
Publications
Recent publications
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models (2023)
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination (2020)
- Supersimple omega-categorical theories and pregeometries (2019)
- On Constraints And Dividing In Ternary Homogeneous Structures (2018)
- Binary simple homogeneous structures (2018)
All publications
Articles
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models (2023)
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination (2020)
- Supersimple omega-categorical theories and pregeometries (2019)
- On Constraints And Dividing In Ternary Homogeneous Structures (2018)
- Binary simple homogeneous structures (2018)
- Random l-colourable structures with a pregeometry (2017)
- Homogeneous 1-based structures and interpretability in random structures (2017)
- Binary primitive homogeneous simple structures (2017)
- Binary simple homogeneous structures are supersimple with finite rank (2016)
- On sets with rank one in simple homogeneous structures (2015)
- Limit laws and automorphism groups of random nonrigid structures (2015)
- Typical automorphism groups of finite nonrigid structures (2015)
- On compactness of logics that can express properties of symmetry or connectivity (2015)
- A limit law of almost l-partite graphs (2013)
- Asymptotic probabilities of extension properties and random l-colourable structures (2012)
- Random graphs with bounded maximum degree (2012)
- Independence and the finite submodel property (2009)
- Entropy of formulas (2009)
- Gregory Cherlin and Ehud Hrushovski. Finite structures with few types. Annals of Mathematics Studies. Princeton University Press, 2003, vi + 196pp. (2008)
- The finite submodel property and ω-categorical expansions of pregeometries (2006)
- Finite satisfiability and N-0-categorical structures with trivial dependence (2006)
- A note on orthogonality and stable embeddedness (2005)
- On first-order sentences without finite models (2004)
- Finite variable logic, stability and finite models (2001)