8 citations · 24 across the 16 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.LO2013
Typical automorphism groups of finite nonrigid structures
Vera Koponen
We work with a finite relational vocabulary with at least one relation symbol with arity at least 2. Fix any integer . For almost all finite structures (labelled or unlabell…
math.LO2013★ 3 cited
Limit laws and automorphism groups of random nonrigid structures
Ove Ahlman, Vera Koponen
A systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known resul…
math.LO2013
On compactness of logics that can express properties of symmetry or connectivity
Vera Koponen, Tapani Hyttinen
A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails…