Title
Monadic Second Order Probabilities in Algebra. Directly Representable Varieties and Groups
Abstract
. We analyze the question of existence of asymptotic cumulativeprobabilities for monadic second order definable properties of finite algebras.We focus our attention on the directly representable varieties and on the varietyof groups. We prove in a very strong way that some recently provenfirst-order 0--1 laws and limit laws for these varieties cannot be extended tomonadic second order logic. Namely, if the function (n; A) 7! pr n [fAg] assigningprobabilities to structures is...
Year
Venue
Field
1995
Logic and Random Structures
Discrete mathematics,Algebra,Mathematics,Monad (functional programming)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
2
2
Name
Order
Citations
PageRank
Pawel M. Idziak1786.51
Jerzy Tyszkiewicz219837.49