Vera Koponen
Universitetslektor vid Matematiska institutionen; Akademisk personal
- Telefon:
- 018-471 31 85
- E-post:
- vera.koponen@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postadress:
- Box 480
751 06 UPPSALA
Ladda ned kontaktuppgifter för Vera Koponen vid Matematiska institutionen; Akademisk personal
Universitetslektor vid Matematiska institutionen; Algebra, logik och representationsteori
- Telefon:
- 018-471 31 85
- E-post:
- Vera.Koponen@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postadress:
- Box 480
751 06 UPPSALA
- Akademiska meriter:
- FD, docent
Forskning
Jag forskar inom matematisk logik och relaterade områden. Inom logiken är mitt specialområde modellteori som är studiet av strukturer i mycket vid mening, men gemensamt för modellteoretiska studier är att formella logiska språk spelar en central roll.
Under 2024-2027 så leder jag projektet En modellteoretisk studie av sambandsinlärning inom artificiell intelligens som finansieras av Vetenskapsrådet.
Lite mer om min forskning, inklusive en lista som innehåller artiklar som inte ännu har publicerats, finner du här http://www2.math.uu.se/~vera/research/index.html.
Publikationer
Senaste publikationer
Random expansions of trees with bounded height
Ingår i Theoretical Computer Science, s. 115201-115201, 2025
On the relative asymptotic expressivity of inference frameworks
Ingår i Logical Methods in Computer Science, 2024
- DOI för On the relative asymptotic expressivity of inference frameworks
- Ladda ner fulltext (pdf) av On the relative asymptotic expressivity of inference frameworks
Asymptotic elimination of partially continuous aggregation functions in directed graphical models
Ingår i Information and Computation, 2023
- DOI för Asymptotic elimination of partially continuous aggregation functions in directed graphical models
- Ladda ner fulltext (pdf) av Asymptotic elimination of partially continuous aggregation functions in directed graphical models
Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
Ingår i Theoretical Computer Science, s. 1-27, 2020
- DOI för Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
- Ladda ner fulltext (pdf) av Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
Supersimple omega-categorical theories and pregeometries
Ingår i Annals of Pure and Applied Logic, 2019
Alla publikationer
Artiklar i tidskrift
Random expansions of trees with bounded height
Ingår i Theoretical Computer Science, s. 115201-115201, 2025
On the relative asymptotic expressivity of inference frameworks
Ingår i Logical Methods in Computer Science, 2024
- DOI för On the relative asymptotic expressivity of inference frameworks
- Ladda ner fulltext (pdf) av On the relative asymptotic expressivity of inference frameworks
Asymptotic elimination of partially continuous aggregation functions in directed graphical models
Ingår i Information and Computation, 2023
- DOI för Asymptotic elimination of partially continuous aggregation functions in directed graphical models
- Ladda ner fulltext (pdf) av Asymptotic elimination of partially continuous aggregation functions in directed graphical models
Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
Ingår i Theoretical Computer Science, s. 1-27, 2020
- DOI för Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
- Ladda ner fulltext (pdf) av Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
Supersimple omega-categorical theories and pregeometries
Ingår i Annals of Pure and Applied Logic, 2019
Binary simple homogeneous structures
Ingår i Annals of Pure and Applied Logic, s. 1335-1368, 2018
On Constraints And Dividing In Ternary Homogeneous Structures
Ingår i Journal of Symbolic Logic (JSL), s. 1691-1721, 2018
Random l-colourable structures with a pregeometry
Ingår i Mathematical logic quarterly, s. 32-58, 2017
Homogeneous 1-based structures and interpretability in random structures
Ingår i Mathematical logic quarterly, s. 6-18, 2017
Binary primitive homogeneous simple structures
Ingår i Journal of Symbolic Logic (JSL), s. 183-207, 2017
Binary simple homogeneous structures are supersimple with finite rank
Ingår i Proceedings of the American Mathematical Society, s. 1745-1759, 2016
Limit laws and automorphism groups of random nonrigid structures
Ingår i Journal of Logic and Analysis, s. 1-53, 2015
- DOI för Limit laws and automorphism groups of random nonrigid structures
- Ladda ner fulltext (pdf) av Limit laws and automorphism groups of random nonrigid structures
On sets with rank one in simple homogeneous structures
Ingår i Fundamenta Mathematicae, s. 223-250, 2015
- DOI för On sets with rank one in simple homogeneous structures
- Ladda ner fulltext (pdf) av On sets with rank one in simple homogeneous structures
Typical automorphism groups of finite nonrigid structures
Ingår i Archive for mathematical logic, s. 571-586, 2015
- DOI för Typical automorphism groups of finite nonrigid structures
- Ladda ner fulltext (pdf) av Typical automorphism groups of finite nonrigid structures
On compactness of logics that can express properties of symmetry or connectivity
Ingår i Studia Logica, s. 1-20, 2015
- DOI för On compactness of logics that can express properties of symmetry or connectivity
- Ladda ner fulltext (pdf) av On compactness of logics that can express properties of symmetry or connectivity
A limit law of almost l-partite graphs
Ingår i Journal of Symbolic Logic (JSL), s. 911-936, 2013
- DOI för A limit law of almost l-partite graphs
- Ladda ner fulltext (pdf) av A limit law of almost l-partite graphs
Random graphs with bounded maximum degree: asymptotic structure and a logical limit law
Ingår i Discrete Mathematics & Theoretical Computer Science, s. 229-254, 2012
Asymptotic probabilities of extension properties and random l-colourable structures
Ingår i Annals of Pure and Applied Logic, s. 391-438, 2012
Independence and the finite submodel property
Ingår i Annals of Pure and Applied Logic, s. 58-79, 2009
Ingår i Archive for mathematical logic, s. 515-522, 2009
The finite submodel property and ω-categorical expansions of pregeometries
Ingår i Annals of Pure and Applied Logic, s. 201-229, 2006
Finite satisfiability and N-0-categorical structures with trivial dependence
Ingår i Journal of Symbolic Logic (JSL), s. 810-830, 2006
A note on orthogonality and stable embeddedness
Ingår i Journal of Symbolic Logic (JSL), s. 1359-1364, 2005
On first-order sentences without finite models
Ingår i Journal of Symbolic Logic (JSL), s. 329-339, 2004
Finite variable logic, stability and finite models
Ingår i Journal of Symbolic Logic (JSL), s. 837-858, 2001
Doktorsavhandlingar, sammanläggning
Kapitel i böcker, delar av antologi
Some connections between finite and infinite model theory
Ingår i Finite and Algorithmic Model Theory, s. 109-139, Cambridge University Press, 2011
Rapporter
Övriga
Ingår i The Bulletin of Symbolic Logic, s. 114-116, 2008