Vera Koponen

activity

20242026

most citedRandom expansions of trees with bounded height

4 citations · 4 across the 8 of their papers we have counts for

collaborators

Showing 2025Show all

3 papers · 1 filter

math.LO2025

Notions of rank and independence in countably categorical theories

Vera Koponen

For an $ω$ -categorical theory $T$ and model $M$ of $T$ we define a hierarchy of ranks, the $n$ -ranks for $n < ω$ which only care about imaginary elements ``up to level $n…

cs.AI2025

Domain size asymptotics for Markov logic networks

Vera Koponen

A Markov logic network (MLN) $M$ determines a probability distribution $P_{n}^{M}$ on the set $W_{n}$ of structures, or ``possible worlds'', with doma…

cs.LO2025

A convergence law for continuous logic and continuous structures with finite domains

Vera Koponen

We consider continuous relational structures with finite domain $[n] := {1, \dots, n}$ and a many valued logic, $C L A$ , with values in the unit interval and which uses continuous…