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. Idziak | 1 | 78 | 6.51 |
Jerzy Tyszkiewicz | 2 | 198 | 37.49 |