scientific article; zbMATH DE number 2007857
From MaRDI portal
Publication:4436288
zbMATH Open1029.03023MaRDI QIDQ4436288
Publication date: 24 November 2003
Full work available at URL: https://eudml.org/doc/123145
Title of this publication is not available (Why is that?)
Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
On strict strong constructibility with a compass alone ⋮ The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436288)