scientific article
From MaRDI portal
Publication:3964551
zbMath0499.03030MaRDI QIDQ3964551
Publication date: 1982
Full work available at URL: https://eudml.org/doc/62136
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitydecidabilityfirst order theorycomplete extensions of the theory of Boolean algebras with one distinguished ideal
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Boolean algebras (Boolean rings) (06E99)
Related Items (1)
This page was built for publication:
