8 citations · 24 across the 16 of their papers we have counts for
17 papers · 1 filter
A characterization of the finite model property for -categorical theories
Vera Koponen
A first-order theory has the {\em finite model property} if every first-order sentence that is implied by has a finite model. We give a characterization of when a complete…
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
Vera Koponen, Felix Weitkämper
We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination…
Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination
Vera Koponen
We introduce a formal logical language, called conditional probability logic (CPL), which extends first-order logic and which can express probabilities, conditional probabilities a…
Supersimple omega-categorical theories and pregeometries
Vera Koponen
We prove that if is an -categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals wh…
On constraints and dividing in ternary homogeneous structures
Vera Koponen
Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is -trivial for some and…
Binary simple homogeneous structures
Vera Koponen
We describe all binary simple homogeneous structures M in terms of 0-definable equivalence relations on M, which "coordinatize" M and control dividing, and extension properties tha…