Vera Koponen

activity

20242026

collaborators

Showing cs.LOShow all

2 papers · 1 filter

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…

cs.LO2024

Random expansions of trees with bounded height

Vera Koponen, Yasmin Tousinejad

We consider a sequence $T = (T_{n} : n \in N^{+})$ of trees $T_{n}$ where, for some $Δ \in N^{+}$ every $T_{n}$ has height at most $Δ$ …