0-1 laws for recursive structures
From MaRDI portal
Publication:1127833
zbMath0921.03042MaRDI QIDQ1127833
Publication date: 10 September 1998
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
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)
This page was built for publication: 0-1 laws for recursive structures