0-1 laws for recursive structures

zbMath0921.03042MaRDI QIDQ1127833

Erich Grädel, A. Malmström

Publication date: 10 September 1998

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

random structures0-1 lawsrecursive structuresrecursive martingalesresource bounded measures

Mathematics Subject Classification ID

Properties of classes of models (03C52) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other connections with logic and set theory (28E15) Model theory of denumerable and separable structures (03C15)

Related Items (1)

Metafinite model theory

This page was built for publication: 0-1 laws for recursive structures